Pagai
Revision as of 22:47, 25 October 2012 by David Monniaux (talk | contribs) (Created page with "'''Pagai''' is a research prototype for static analysis by abstract interpretation, mostly implemented by [http://www-verimag.imag.fr/~jhenry Julien Henry]. It implements seve...")
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.
