Index of modules
A
AllocatedContextValid
[
Value_parameters
]
ArrayPrecisionLevel
[
Value_parameters
]
AutomaticContextMaxDepth
[
Value_parameters
]
AutomaticContextMaxWidth
[
Value_parameters
]
C
Callers
[
Kf_state
]
Computer
[
Eval
]
D
DegeneratedHighlighted
[
Register_gui
]
Dynamic_Alloc_Table
[
Eval
]
E
Eval
Analysis for values and pointers
F
ForceValues
[
Value_parameters
]
G
Got_Imprecise_Value
[
Eval
]
I
Is_Called
[
Kf_state
]
K
KeepOnlyLastRun
[
Value_parameters
]
Keep only last run of value analysis.
KernelFunctionMap
[
Kf_state
]
Kf_state
Is called
Kinstr
No function is directly exported.
L
Leaf_Table
[
Eval
]
Associates
kernel_function
to a fresh base for the address returned by the
kernel_function
.
Loc_hashtbl
[
Eval
]
Location_list
[
Eval
]
M
MemExecAll
[
Value_parameters
]
MemFunctions
[
Value_parameters
]
Mem_Exec
[
Eval
]
Mem_Exec_Datatype
[
Eval
]
MemoryFootprint
[
Value_parameters
]
N
Never_Terminates
[
Kf_state
]
Non_linear_assignments
[
Eval
]
P
PropagateTop
[
Value_parameters
]
PtrRelational
[
Eval
]
R
Register
Register_gui
Extension of the GUI in order to support the value analysis.
S
SemanticUnrollingLevel
[
Value_parameters
]
StmtStartData
[
Eval.Computer
]
U
UseRelations
[
Eval
]
V
V_Offsetmap_option
[
Eval.Mem_Exec_Datatype
]
Value_parameters
Warns for unspecified sequences containing at least one writes
W
WarnUnspecifiedOrder
[
Value_parameters
]
Warns for unspecified sequences containing at least one writes
WideningLevel
[
Value_parameters
]