Module: ppl/ppl Branch: master Commit: 50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50a8c521d0fd1...
Author: Patricia Hill patricia.hill@bugseng.com Date: Sat Jan 4 07:09:46 2014 +0000
Reference added.
---
doc/ppl_citations.bib | 27 ++++++++++++++++++++++++++- 1 files changed, 26 insertions(+), 1 deletions(-)
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 4293763..995ce7a 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3064,7 +3064,7 @@ Summarizing: been made available online for demonstration." }
-@Inproceedings{HenryMM12, +@Inproceedings{HenryMM12a, Author = "J. Henry and D. Monniaux and M. Moy", Title = "Succinct Representations for Abstract Interpretation", Booktitle = "Static Analysis: @@ -3098,6 +3098,31 @@ Summarizing: ones, on a variety of open-source packages." }
+@Article{HenryMM12b, + Author = "J. Henry and D. Monniaux and M. Moy", + Title = "{PAGAI}: a path sensitive static analyzer", + Journal = "Electronic Notes in Theoretical Computer Science", + Publisher = "Elsevier Science Publishers B.V. Amsterdam, The Netherlands", + Volume = 289, + Year = 2012, + ISSN = "1571-0661", + Pages = "15--25", + Abstract = "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 variables of the analyzed program. PAGAI + implements various state-of-the-art algorithms combining + abstract interpretation and decision procedures + (SMT-solving), focusing on distinction of paths inside + the control flow graph while avoiding systematic + exponential enumerations. It is parametric in the + abstract domain in use, the iteration algorithm, and the + decision procedure. We compared the time and precision + of various combinations of analysis algorithms and + abstract domains, with extensive experiments both on + personal benchmarks and widely available GNU programs." +} + @Inproceedings{HoweK12, Author = "J. M. Howe and A. King", Title = "Polyhedral Analysis Using Parametric Objectives",