researchers with a paper here
collaborating institutions

1 paper

cs.PL2012

PAGAI: a path sensitive static analyzer

Julien Henry, David Monniaux, Matthieu Moy

We describe the design and the implementation of PAGAI, a new static analyzer working over the LLVM compiler infrastructure, which computes inductive invariants on the numerical va…