Inout plugin


Directory plugins

Section Inout (in plugins/inout)


Cumulative_analysis
Implementation of a simple meta-analysis on top of the results of the value analysis.
Derefs
Inout
Inputs-outputs computations.
Inout_parameters
Inputs
Operational_inputs
Outputs
Register

Section Value_types (in plugins/value_types)


Inout_type
Pretty-print the fields over_inputs_if_termination, over_inputs and under_outputs_if_termination