Index of modules

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.