module type S =Graph
with type G.V.t = Kernel_function.t and type G.E.label = Cil_types.stmt
Signature for a callgraph. Each edge is labeled by the callsite. Its source is the caller, while the destination is the callee.
module G:Graph.Sig.G
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 self : State.t