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 |
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 |