[llvm-commits] CVS: llvm-www/pubs/2009-01-PEPM-Parfait.html 2009-01-PEPM-Parfait.pdf pubs.js

Sat Jun 27 00:54:59 PDT 2009

Changes in directory llvm-www/pubs:

2009-01-PEPM-Parfait.html added (r1.1)
2009-01-PEPM-Parfait.pdf added (r1.1)
pubs.js updated: 1.23 -> 1.24
---
Log message:

Add "Program Analysis for Bug Detection using Parfait", from PEPM'09


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

 2009-01-PEPM-Parfait.html |   66 ++++++++++++++++++++++++++++++++++++++++++++++
 2009-01-PEPM-Parfait.pdf  |    0 
 pubs.js                   |    8 +++++
 3 files changed, 74 insertions(+)


Index: llvm-www/pubs/2009-01-PEPM-Parfait.html
diff -c /dev/null llvm-www/pubs/2009-01-PEPM-Parfait.html:1.1
*** /dev/null	Sat Jun 27 02:51:27 2009

--- llvm-www/pubs/2009-01-PEPM-Parfait.html	Sat Jun 27 02:51:15 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>Program analysis for bug detection using Parfait<title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Program analysis for bug detection using Parfait
+ </div>
+ <div class="pub_author">
+ Cristina Cifuentes, Nathan Keynes, Lian Li, and Bernhard Scholz
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program analyses, multiple layers per bug type, to identify bugs in a program more quickly and accurately.<p>
+ 
+ Parfait also aims to identify security bugs, i.e., bugs that may be exploited by a malicious user. To this end, an optional pre-processing step is available to reduce the scope of potential bugs of interest.<p>
+ 
+ To evaluate Parfait's precision and recall, we have developed BegBunch, a bug benchmarking suite that contains existing synthetic benchmarks and samples of bugs ("bug kernels") taken from open source code.<p>
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+ "Program analysis for bug detection using Parfait"<br>
+ Cristina Cifuentes, Nathan Keynes, Lian Li, and Bernhard Scholz.<br>
+ <i>
+ Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM'09)
+ </i>, Savannah, GA, January 2009.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2009-01-PEPM-Parfait.pdf">
+   Program analysis for bug detection using Parfait
+   </a> (PDF)</li>
+ </ul>
+ 
+ <h2>BibTeX Entry:</h2>
+ <pre>
+ @inproceedings{1480947,
+  author = {Cifuentes, Cristina and Keynes, Nathan and Li, Lian and Scholz, Bernhard},
+  title = {Program analysis for bug detection using Parfait},
+  booktitle = {PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation},
+  year = {2009},
+  isbn = {978-1-60558-327-3},
+  pages = {7--8},
+  location = {Savannah, GA, USA},
+  doi = {http://doi.acm.org/10.1145/1480945.1480947},
+  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/2009-01-PEPM-Parfait.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.23 llvm-www/pubs/pubs.js:1.24
--- llvm-www/pubs/pubs.js:1.23	Sat Jun 27 02:28:01 2009
+++ llvm-www/pubs/pubs.js	Sat Jun 27 02:51:15 2009
@@ -109,6 +109,14 @@
     month: 1,
     year: 2009},
 
+   {url: '2009-01-PEPM-Parfait.html',
+    title: 'Program Analysis for Bug Detection using Parfait',
+    author: 'Cristina Cifuentes, Nathan Keynes, Lian Li, and Bernhard Scholz',
+    published: "Proc. of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM'09)",
+    location: 'Savannah, GA, USA',
+    month: 1,
+    year: 2009},
+
    {url: '2009-01-ASP-DAC-Automatic_Instrumentation.html',
     title: 'Automatic Instrumentation of Embedded Software for High Level Hardware/Software Co-Simulation',
     author: 'Aimen Bouchhima, Patrice Gerin, Frederic Petrot',




