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 |