PyAbsInt

An lightweight abstract interpreter implemented in Python.

Supported Abstract Domains

1. Boxes (Implementation from APRON)
2. Octagon (Implementation from ELINA)
3. Zones (Implementation from ELINA)

Installation

1. Run

pip install requirements.txt

2. Install and build:
   • APRON (for Boxes domain)
   • ELINA (for Octagon domain)
   • My fork of ELINA (ELINA does not expose Zones as python interface as of now, so I added them it in my fork of ELINA)