Index of modules

C
Callgraph

Callgraph plugin.

Callgraph_api

Callgraph API

Cg
Cg [Callgraph]

The callgraph itself

F
Filename [Options]
Filename [Callgraph.Options]
Function_pointers [Options]
G
G [Callgraph_api.Graph]

The underlying graph datastructure

Graphviz_attributes [Services]
Graphviz_attributes [Cg]
J
Journalize

Journalize the API of a callgraph

M
Make [Subgraph]
Make [Journalize]
O
Options
Options [Callgraph]
R
Register

Register the plugin in the Frama-C kernel.

Roots [Options]
S
Service_roots [Options]
Service_roots [Callgraph.Options]
Services
Services [Options]
Services [Callgraph]

The graph of services built on top of the callgraph

Services [Callgraph.Options]
Subgraph [Callgraph_api.Graph]

Subgraph of get () wrt Options.Roots.get ()

Subgraph

Subgraph from a given vertex

U
Uncalled [Options]
Uncalled [Callgraph.Options]
Uncalled_leaf [Options]
Uncalled_leaf [Callgraph.Options]
Uses
Uses [Callgraph]

Several useful functions over the callgraph