diff options
| author | Patricia Hill <patricia.hill@bugseng.com> | 2014-01-04 07:09:46 +0000 |
|---|---|---|
| committer | Patricia Hill <patricia.hill@bugseng.com> | 2014-01-04 07:10:29 +0000 |
| commit | 50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7 (patch) | |
| tree | f9b8b2659a3ecabe36d126bdc252c1b791767405 | |
| parent | 2b0e2b8b2a72a40a2907a759d91c3896ffdb9e48 (diff) | |
| download | ppl-50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7.tar.gz ppl-50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7.tar.bz2 ppl-50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7.zip | |
Reference added.
| -rw-r--r-- | 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 429376394..995ce7af2 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", |