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
|