Module type Callgraph_api.S

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