Callgraph plugin.
Callgraph API
Journalize the API of a callgraph
Register the plugin in the Frama-C kernel.
Subgraph from a given vertex