Callgraph
Callgraph plugin.
module Options : sig ... end
module Cg : module type of Cg
The callgraph itself
module Services : module type of Services
The graph of services built on top of the callgraph
module Uses : module type of Uses
Several useful functions over the callgraph
Frama-C