Callgraph plugin

Directory plugins

Section Callgraph (in plugins/callgraph)


Callgraph

Callgraph plugin.

Callgraph_api

Callgraph API

Cg
Journalize

Journalize the API of a callgraph

Options
Register

Register the plugin in the Frama-C kernel.

Services
Subgraph

Subgraph from a given vertex

Uses