package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

The callgraph itself

module G : Graph.Sig.G with type V.t = Frama_c_kernel.Kernel_function.t with type E.label = Frama_c_kernel.Cil_types.stmt

The underlying graph datastructure

val compute : unit -> unit

Compute the graph

val get : unit -> G.t

Get the graph from the AST.

module Subgraph : sig ... end

Subgraph of get () wrt Options.Roots.get ()

val dump : unit -> unit

Dump the (possibly sub-)graph in the file of the corresponding command line argument.

val is_computed : unit -> bool

Is the graph already built?

val add_hook : (G.t -> unit) -> unit

Call registered hook each time the graph is computed

module Graphviz_attributes : Graph.Graphviz.GraphWithDotAttrs with type t = G.t and type V.t = Frama_c_kernel.Kernel_function.t and type E.t = G.E.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct