| Syntax |
Syntax of programs
|
| Parse |
Parsing a program
|
Pretty print utilities
|
| Lattice |
The lattice signature
|
| Abstraction |
The interfaces of abstractions
|
| Cfg |
Control flow graph generation and manipulation
|
| Analyse |
Generic abstract interpreter
|
| EnvAbstractionNotRelational |
Generic functor to build a point-wise abstraction of environments from any numeric abstraction
|
| EnvLattice |
The lattice of abstract environment ordered with a point-wise partial order
|
| NumAbstractionInterval |
Numeric abstraction by intervals
|
| NumAbstractionSign |
Numeric abstraction by signs
|
| Main |
Generate an executable
analyse
|