Module Callgraph.CgSource

The callgraph itself

Sourcemodule 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

Sourceval compute : unit -> unit

Compute the graph

Sourceval get : unit -> G.t

Get the graph from the AST.

Sourcemodule Subgraph : sig ... end

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

Sourceval dump : unit -> unit

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

Sourceval is_computed : unit -> bool

Is the graph already built?

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

Call registered hook each time the graph is computed

Sourcemodule 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