Pagai

From STATOR

Revision as of 22:47, 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, 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.

Retrieved from ‘http://stator.imag.fr/w/index.php?title=Pagai&oldid=50’