[llvm-commits] CVS: llvm-www/pubs/2008-05-ISCE-Calysto.html 2008-05-ISCE-Calysto.pdf pubs.js

Sat Jun 27 12:47:13 PDT 2009

Changes in directory llvm-www/pubs:

2008-05-ISCE-Calysto.html added (r1.1)
2008-05-ISCE-Calysto.pdf added (r1.1)
pubs.js updated: 1.31 -> 1.32
---
Log message:

add "Calysto: Scalable and Precise Extended Static Checking" from ISCE'08


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

 2008-05-ISCE-Calysto.html |   64 ++++++++++++++++++++++++++++++++++++++++++++++
 2008-05-ISCE-Calysto.pdf  |    0 
 pubs.js                   |    7 +++++
 3 files changed, 71 insertions(+)


Index: llvm-www/pubs/2008-05-ISCE-Calysto.html
diff -c /dev/null llvm-www/pubs/2008-05-ISCE-Calysto.html:1.1
*** /dev/null	Sat Jun 27 14:47:03 2009

--- llvm-www/pubs/2008-05-ISCE-Calysto.html	Sat Jun 27 14:46:53 2009
***************
*** 0 ****
--- 1,64 ----
+ <!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>Calysto: Scalable and Precise Extended Static Checking</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Calysto: Scalable and Precise Extended Static Checking
+ </div>
+ <div class="pub_author">
+   Domagoj Babic and Alan J. Hu
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of coverage of program behavior, precision of analysis, and scalability to large code bases. This paper presents the Calysto static checker, which achieves an unprecedented combination of precision and scalability in a completely automatic extended static checker. Calysto is interprocedurally path-sensitive, fully context-sensitive, and bit-accurate in modeling data operations --- comparable coverage and precision to very expensive formal analyses --- yet scales comparably to the leading, less precise, static-analysis-based tool for similar properties. Using Calysto, we have discovered dozens of bugs, completely automatically, in hundreds of thousands of lines of production, open-source applications, with a very low rate of false error reports. This paper presents the design decisions, algorithms, and opti!
 mizations behind Calysto's performance.
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+   "Calysto: Scalable and Precise Extended Static Checking"
+   <br>
+   Domagoj Babic and Alan J. Hu.
+   <br>
+ <i>
+ Proceedings of the 30th international conference on Software engineering (ICSE'08)
+ </i>, Leipzig, Germany, May 2008.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2008-05-ISCE-Calysto.pdf">
+   Calysto: Scalable and Precise Extended Static Checking
+   </a> (PDF)</li>
+ </ul>
+ 
+ <h2>BibTeX Entry:</h2>
+ <pre>
+ @inproceedings{1368118,
+  author = {Babic, Domagoj and Hu, Alan J.},
+  title = {Calysto: scalable and precise extended static checking},
+  booktitle = {ICSE '08: Proceedings of the 30th international conference on Software engineering},
+  year = {2008},
+  isbn = {978-1-60558-079-1},
+  pages = {211--220},
+  location = {Leipzig, Germany},
+  doi = {http://doi.acm.org/10.1145/1368088.1368118},
+  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-05-ISCE-Calysto.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.31 llvm-www/pubs/pubs.js:1.32
--- llvm-www/pubs/pubs.js:1.31	Sat Jun 27 14:30:30 2009
+++ llvm-www/pubs/pubs.js	Sat Jun 27 14:46:53 2009
@@ -274,6 +274,13 @@
    month: 5,
    year: 2008},
 
+  {url: "2008-05-ISCE-Calysto.html",
+   title: "Calysto: Scalable and Precise Extended Static Checking",
+   author: "Domagoj Babic and Alan J. Hu",
+   published: "Proc. of the 30th international conference on Software engineering (ICSE'08)",
+   month: 5,
+   year: 2008},
+
   {url: '2008-03-DATE-TLM_Estimation.html',
    title: 'Cycle-approximate Retargetable Performance Estimation at the Transaction Level',
    author: 'Y. Hwang, S. Abdi, and D. Gajski',




