[llvm-commits] CVS: llvm-www/pubs/2008-06-SAW-Parfait.html 2008-06-SAW-Parfait.pdf pubs.js

Sat Jun 27 12:30:50 PDT 2009

Changes in directory llvm-www/pubs:

2008-06-SAW-Parfait.html added (r1.1)
2008-06-SAW-Parfait.pdf added (r1.1)
pubs.js updated: 1.30 -> 1.31
---
Log message:

Add "Parfait: designing a scalable bug checker" from SAW'08


---
Diffs of the changes:  (+73 -0)

 2008-06-SAW-Parfait.html |   66 +++++++++++++++++++++++++++++++++++++++++++++++
 2008-06-SAW-Parfait.pdf  |    0 
 pubs.js                  |    7 ++++
 3 files changed, 73 insertions(+)


Index: llvm-www/pubs/2008-06-SAW-Parfait.html
diff -c /dev/null llvm-www/pubs/2008-06-SAW-Parfait.html:1.1
*** /dev/null	Sat Jun 27 14:30:40 2009

--- llvm-www/pubs/2008-06-SAW-Parfait.html	Sat Jun 27 14:30:30 2009
***************
*** 0 ****
--- 1,66 ----
+ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+ <html>
+ <head>
+   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+   <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen">
+   <title>Parfait – Designing a Scalable Bug Checker</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Parfait – Designing a Scalable Bug Checker
+ </div>
+ <div class="pub_author">
+   Cristina Cifuentes and Bernhard Scholz
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ We present the design of Parfait, a static layered program analysis framework for bug checking, designed for scalability and precision by improving false positive rates and scale to millions of lines of code. The Parfait framework is inherently parallelizable and makes use of demand driven analyses.<p>
+ 
+ In this paper we provide an example of several layers of analyses for buffer overflow, summarize our initial implementation for C, and provide preliminary results. Results are quantified in terms of correctly-reported, false positive and false negative rates against the NIST SAMATE synthetic benchmarks for C code.
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+   "Parfait – Designing a Scalable Bug Checker"
+   <br>
+   Cristina Cifuentes and Bernhard Scholz.
+   <br>
+ <i>
+ Proceedings of the 2008 workshop on Static analysis (SAW'08)
+ </i>, Tucson, Arizona, June 2008.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2008-06-SAW-Parfait.pdf">
+   Parfait – Designing a Scalable Bug Checker
+   </a> (PDF)</li>
+ </ul>
+ 
+ <h2>BibTeX Entry:</h2>
+ <pre>
+ @inproceedings{1394505,
+  author = {Cifuentes, Cristina and Scholz, Bernhard},
+  title = {Parfait: designing a scalable bug checker},
+  booktitle = {SAW '08: Proceedings of the 2008 workshop on Static analysis},
+  year = {2008},
+  isbn = {978-1-59593-924-1},
+  pages = {4--11},
+  location = {Tucson, Arizona},
+  doi = {http://doi.acm.org/10.1145/1394504.1394505},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  }
+ </pre>
+ 
+ <!-- *********************************************************************** -->
+ <hr>
+   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
+   src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
+   <a href="http://validator.w3.org/check/referer"><img
+   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+ 
+ </body>
+ </html>


Index: llvm-www/pubs/2008-06-SAW-Parfait.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.30 llvm-www/pubs/pubs.js:1.31
--- llvm-www/pubs/pubs.js:1.30	Sat Jun 27 14:19:04 2009
+++ llvm-www/pubs/pubs.js	Sat Jun 27 14:30:30 2009
@@ -252,6 +252,13 @@
    month: 6,
    year: 2008},
 
+  {url: '2008-06-SAW-Parfait.html',
+   title: "Parfait - Designing a Scalable Bug Checker",
+   author: "Cristina Cifuentes and Bernhard Scholz",
+   published: "Proc. of the 2008 workshop on Static analysis (SAW'08)",
+   month: 6,
+   year: 2008},
+
   {url: '2008-05-CoVaC.html',
    title: 'CoVaC: Compiler Validation by Program Analysis of the Cross-Product',
    author: 'Anna Zaks and Amir Pnueli',




