C | |
| Cumulative_analysis | |
D | |
| Derefs | |
F | |
| ForceAccessPath [Inout_parameters] | |
| ForceDeref [Inout_parameters] | |
| ForceExternalOut [Inout_parameters] | |
| ForceInout [Inout_parameters] | |
| ForceInoutExternalWithFormals [Inout_parameters] | |
| ForceInput [Inout_parameters] | |
| ForceInputWithFormals [Inout_parameters] | |
| ForceOut [Inout_parameters] | |
I | |
| Inout | Inputs-outputs computations. |
| Inout_parameters | |
| Inout_type | |
| Inputs | |
M | |
| Make [Cumulative_analysis] | |
| Memo [Cumulative_analysis.Make] | Module that contains the memoized results |
O | |
| Operational_inputs | |
| Output [Inout_parameters] | |
| Outputs | |
R | |
| Register | Register the plugin in the Frama-C kernel. |