Revision as of 22:47, 25 October 2012 by David Monniaux (talk | contribs)
Jump to navigation Jump to search

Pagai is a research prototype for static analysis by abstract interpretation, mostly implemented by Julien Henry. 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.