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]