Inout plugin

Directory plugins

Section Inout (in plugins/inout)


Cumulative_analysis
Derefs
Inout

Inputs-outputs computations.

Inout_parameters
Inputs
Operational_inputs
Outputs
Register

Register the plugin in the Frama-C kernel.

Section Value_types (in plugins/value_types)


Inout_type