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