Index of modules
A
Access_path
Analysis
[
Derefs
]
Analysis
[
Outputs
]
Analysis
[
Inputs
]
B
Build
[
Kf_state
]
C
Computer
[
Operational_inputs
]
Context
[
Kf_state
]
Build an internal state for inout context.
Cumulative_analysis
Implementation of a simple meta-analysis on top of the results of the value analysis.
D
Derefs
E
Externals
[
Derefs
]
Externals
[
Outputs
]
Externals
[
Inputs
]
Externals
[
Operational_inputs
]
Externals_With_Formals
[
Operational_inputs
]
F
ForceAccessPath
[
Inout_parameters
]
undocumented
ForceDeref
[
Inout_parameters
]
ForceExternalOut
[
Inout_parameters
]
ForceInout
[
Inout_parameters
]
ForceInoutExternalWithFormals
[
Inout_parameters
]
ForceInput
[
Inout_parameters
]
ForceInputWithFormals
[
Inout_parameters
]
ForceOut
[
Inout_parameters
]
I
Inout_parameters
undocumented
Inout_type
Inputs
Internals
[
Operational_inputs
]
K
Kf_state
Build an internal state for inputs, outputs and derefs.
M
Make
[
Cumulative_analysis
]
Make
[
Kf_state
]
Build an internal state for inputs, outputs and derefs.
Memo
[
Cumulative_analysis.Make
]
Module that contains the memoized results
O
Operational_inputs
Outputs
R
Register
S
StmtStartData
[
Operational_inputs.Computer
]
W
With_formals
[
Inputs
]