Main file of the program.
Analyse a program statically with abstract interpretation
Module which simplifies print of debug
Module which is used to raise or handle non-fatal exceptions
Static interpretation methods which are not dependant to the abstraction domain chosen.
Module which contains the options given as parameter to the program
Module to store the special variables which are used to store registers in contexts
Methods which depend of the abstract domain.
Types used during the analysis
Utilitary function in order to achieve static interpretation