Index of types


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