Revision as of 23:02, 25 October 2012 by David Monniaux (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.