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]
Current_table

D
DegeneratedHighlighted [Register_gui]
Dynamic_Alloc_Table [Builtins]

E
Eval
Analysis for values and pointers

F
ForceValues [Value_parameters]

G
Got_Imprecise_Value [Eval]

I
IgnoreRecursiveCalls [Value_parameters]
Is_Called [Kf_state]

K
Kf_state
Is called
Ki [Eval]
Ki [Current_table]
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]
MemoryFootprint [Value_parameters]

N
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]
Separate
SeparateStmtOf [Value_parameters]
SeparateStmtStart [Value_parameters]
SeparateStmtWord [Value_parameters]
SignedOverflow [Value_parameters]
SlevelFunction [Value_parameters]
Status [Eval]
StmtStartData [Eval.Computer]
Subdivide_float_in_expr [Value_parameters]

U
UndefinedPointerComparisonPropagateAll [Value_parameters]
UseRelations [Eval]
UsedVarState [Register_gui]

V
Value_parameters
Value_util

W
WideningLevel [Value_parameters]