This is the optional project for Abstract Interpretation applied to Verification and Static Analysis course
- To understand how an abstract interpreter works based on different abstract domains.
- How to build a static analyzer.
- Intervals abstract domain: Self-defined.
- Parity abstract domain: Self-defined.
- Constancy abstract domain: Self-defined.
- Congruence abstract domain: Self-defined.
- Octagon abstract domain: Apron library.