A | |
| abstrContext [Types] |
Context
|
| abstrD [Types] |
Abstract domain
|
| abstrEnvironment [Types] |
Environment
|
| arguments [Types] |
Definition of the arguments of C functions
|
| arithOpArithBin [Types] |
Binary operators which are of type int -> int -> int
|
| arithOpArithUna [Types] |
Unary operators which are of type int -> bool
|
| arith_expr [Types] |
C arithmetic expression
|
| asm_expr [Types] |
ASM expression aka operands of ASM statements
|
B | |
| boolOpArithBin [Types] |
Binary operators which are of type int -> int -> bool
|
| boolOpBoolBin [Types] |
Binary operators which are of type bool -> bool -> bool
|
| boolOpBoolUna [Types] |
Unary operators which are of type bool -> bool
|
| bool_expr [Types] |
C boolean expressions
|
C | |
| callStack [Types] |
Call stack (which is really a stack)
|
E | |
| except [Exceptions] |
The informations which will be stored about an exception
|
| exception_type [Exceptions] |
The possible types of the exceptions
|
F | |
| functionContext [Types] |
Map which associates locations to their C functions (and contexts) associated
|
G | |
| generic_stat_loc [Types] |
Statement with its location associated
|
| global_statement [Types] |
Statements which are globals.
|
L | |
| loc [Types] |
Locations of statements in programs
|
| loc_stat_a [Types] |
Located ASM block
|
| loc_stat_c [Types] |
Located C block
|
M | |
| memoryStack [Types] |
Memory stack
|
N | |
| name_var [Types] |
Name of variables, functions and labels
|
P | |
| program [Types] |
C program with inline assembly
|
| ptr_var [Types] |
Pointer induction to a variable name
|
R | |
| realD [Types] |
Real domain
|
| reg32 [Types] |
Registers actually implemented in the analyser
|
S | |
| stat_a [Types] |
ASM statements
|
| stat_c [Types] |
C statements
|
T | |
| type_c [Types] |
Type of C variables
|