Index of modules


A
ActiveBehaviors [Eval_logic]
AllRoundingModes [Value_parameters]
AllocatedContextValid [Value_parameters]
AutomaticContextMaxDepth [Value_parameters]
AutomaticContextMaxWidth [Value_parameters]

B
Builtins
BuiltinsOverrides [Value_parameters]
Builtins_nonfree

C
Callers [Kf_state]
Computer [Eval_stmts]
Current_table

D
DegeneratedHighlighted [Register_gui]
DumpFileCounters [Builtins]
Dynamic_Alloc_Table [Builtins]

E
Eval_exprs
Detects if an expression can be considered as a lvalue even though it is hidden by a cast that does not change the lvalue.
Eval_funs
Value analysis of statements
Eval_logic
Truth values for a predicate analyzed by the value analysis
Eval_stmts
Value analysis of statements and functions bodies

F
ForceValues [Value_parameters]

G
Got_Imprecise_Value [Value_util]

H
HashBehaviors [Eval_logic.ActiveBehaviors]

I
IgnoreRecursiveCalls [Value_parameters]
Initial_state
Creation of the initial state for Value
Is_Called [Kf_state]

K
Kf_state
Is called
Ki [Non_linear]

L
Library_functions
Associates kernel_function to a fresh base for the address returned by the kernel_function.
Loc_hashtbl [Non_linear]
Locals_scoping
Value analysis of statements and functions bodies
Location_list [Non_linear]

M
Mark_noresults
MemoryFootprint [Value_parameters]

N
NoResultsAll [Value_parameters]
NoResultsFunctions [Value_parameters]
Non_linear
Non_linear_assignments [Non_linear]

O
ObviouslyTerminatesAll [Value_parameters]
ObviouslyTerminatesFunctions [Value_parameters]

P
PrintCallstacks [Value_parameters]
PropagateTop [Value_parameters]

R
Register
Main function of the value plugin for the kernel
Register_gui
Extension of the GUI in order to support the value analysis.
ResultsAfter [Value_parameters]
Retres [Library_functions]
Returned_Val [Library_functions]
Associates kernel_function to a fresh base for the address returned by the kernel_function.
RmAssert [Value_parameters]

S
SemanticUnrollingLevel [Value_parameters]
Separate
SeparateStmtOf [Value_parameters]
SeparateStmtStart [Value_parameters]
SeparateStmtWord [Value_parameters]
SignedOverflow [Value_parameters]
SlevelFunction [Value_parameters]
StmtCanReachCache [Eval_funs]
StmtStartData [Eval_stmts.Computer]
Subdivide_float_in_expr [Value_parameters]

U
UndefinedPointerComparisonPropagateAll [Value_parameters]
UsePrototype [Value_parameters]
UsedVarState [Register_gui]

V
ValShowProgress [Value_parameters]
Value_parameters
Value_util
Callstacks related types and functions

W
WideningLevel [Value_parameters]