Callgraph.ServicesSourceThe 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.edgeThe underlying graph datastructure
Compute the graph
Dump the (possibly sub-)graph in the file of the corresponding command line argument.
Is the graph already built?
module Graphviz_attributes :
Graph.Graphviz.GraphWithDotAttrs
with type t = G.t
and type V.t =
Frama_c_kernel.Kernel_function.t Frama_c_kernel.Service_graph.vertex
and type E.t = G.E.t