10 citations · 19 across the 5 of their papers we have counts for
Showing 2012 · cs.PLShow all
2 papers · 2 filters
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…
cs.PL2012★ 10 cited
Succinct Representations for Abstract Interpretation
Julien Henry, David Monniaux, Matthieu Moy
Abstract interpretation techniques can be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. SMT-solving techniques and spar…