Pagai

Pagai is a research prototype for static analysis by abstract interpretation.

It is developed Julien Henry, with contributions by David Monniaux, Matthieu Moy and Rahul Nanda.

It implements several analysis algorithms, mixing abstract interpretation using the APRON library with SMT-solving. It takes as input LLVM bitcode files.

The source code of the tool is available.