A | |
Analyser |
Main file of the program.
|
Analysis |
Analyse a program statically with abstract interpretation
|
C | |
Context [Types] |
Map with variable names as key
|
D | |
Debug |
Module which simplifies print of debug
|
E | |
Environment [Types] |
Map with id as keys
|
Exceptions |
Module which is used to raise or handle non-fatal exceptions
|
G | |
GenericAbstract |
Static interpretation methods which are not dependant to the abstraction domain chosen.
|
I | |
IdSet [Types] |
Set wich contains ids of variables, used to represent abstact domain of pointers
|
L | |
LocMap [Types] | |
O | |
Options |
Module which contains the options given as parameter to the program
|
S | |
SpecialVariables |
Module to store the special variables which are used to store registers in contexts
|
SpecificAbstract |
Methods which depend of the abstract domain.
|
T | |
Types |
Types used during the analysis
|
U | |
Utils |
Utilitary function in order to achieve static interpretation
|