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