| 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 |
| Inout_type |
Pretty-print the fields
over_inputs_if_termination, over_inputs and
under_outputs_if_termination
|