Callgraph.Services
The graph of services built on top of the callgraph
module G :
Graph.Sig.G
with type V.t =
Frama_c_kernel.Kernel_function.t Frama_c_kernel.Service_graph.vertex
with type E.label = Frama_c_kernel.Service_graph.edge
The underlying graph datastructure
module Subgraph : sig ... end
Subgraph of get ()
wrt Options.Roots.get ()
Dump the (possibly sub-)graph in the file of the corresponding command line argument.
val self : Frama_c_kernel.State.t
val is_root : Frama_c_kernel.Kernel_function.t -> bool