D | |
| Dict [Region_analysis_sig.Node] | |
| DomTree [Region_analysis_sig.Node] | |
E | |
| Edge_Dict [Region_analysis_sig.Node] | |
G | |
| Graph [Region_analysis_sig.Node] | |
L | |
| LoopAnalysis | Loop Analysis plugin. |
| Loop_Max_Iteration [Loop_analysis] | |
| Loop_analysis | |
| Loop_analysis [LoopAnalysis] |
|
M | |
| Make [Region_analysis] | |
| MakeNode [Region_analysis_stmt] | |
O | |
| Options | |
R | |
| Region_analysis | |
| Region_analysis_sig | |
| Region_analysis_stmt | |
| Register | Register the plugin in the Frama-C kernel. |
| Run [Options] | |
S | |
| Set [Region_analysis_sig.Node] |