Index of modules
A
AllRoundingModes
[
Value_parameters
]
AllocatedContextValid
[
Value_parameters
]
ArrayPrecisionLevel
[
Value_parameters
]
AutomaticContextMaxDepth
[
Value_parameters
]
AutomaticContextMaxWidth
[
Value_parameters
]
B
Builtins
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
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
.
Library_functions
Loc_hashtbl
[
Eval
]
Location_list
[
Eval
]
M
Mark_noresults
MemExecAll
[
Value_parameters
]
MemFunctions
[
Value_parameters
]
Mem_Exec
[
Eval
]
Mem_Exec_Datatype
[
Eval
]
MemoryFootprint
[
Value_parameters
]
N
Never_Terminates
[
Kf_state
]
NoResultsAll
[
Value_parameters
]
NoResultsFunctions
[
Value_parameters
]
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.
Retres
[
Library_functions
]
S
SemanticUnrollingLevel
[
Value_parameters
]
SignedOverflow
[
Value_parameters
]
SlevelFunction
[
Value_parameters
]
Status
[
Eval
]
StmtStartData
[
Eval.Computer
]
Subdivide_float_in_expr
[
Value_parameters
]
U
UseRelations
[
Eval
]
V
Value_parameters
Value_util
W
WideningLevel
[
Value_parameters
]