/NYU-Spr19-Abstract-Interpretation

This is an optional project for static analyzer via different abstract domains.

Primary LanguageOCaml

NYU-Sp19-Abstract-Interpretation

This is the optional project for Abstract Interpretation applied to Verification and Static Analysis course

Objective

  • To understand how an abstract interpreter works based on different abstract domains.
  • How to build a static analyzer.

Domain Specification

  • 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.

Ref