[llvm-commits] CVS: llvm-www/safecode/menagerie/memsafety.html

[John Criswell]

Changes in directory llvm-www/safecode/menagerie:

memsafety.html updated: 1.7 -> 1.8
---
Log message:

Added papers on run-time type checking.
Added the Valgrind bounds-checking paper.
Corrected capitalization of the CCured paper title.


---
Diffs of the changes:  (+48 -6)

 memsafety.html |   54 ++++++++++++++++++++++++++++++++++++++++++++++++------
 1 file changed, 48 insertions(+), 6 deletions(-)


Index: llvm-www/safecode/menagerie/memsafety.html
diff -u llvm-www/safecode/menagerie/memsafety.html:1.7 llvm-www/safecode/menagerie/memsafety.html:1.8
--- llvm-www/safecode/menagerie/memsafety.html:1.7	Fri Jun 25 12:18:16 2010
+++ llvm-www/safecode/menagerie/memsafety.html	Fri Jul  2 14:16:34 2010
@@ -192,7 +192,7 @@
 
         <li>
         <a href="http://portal.acm.org/citation.cfm?id=1065892"><b>
-        CCured: type-safe retrofitting of legacy software
+        CCured: Type-safe Retrofitting of Legacy Software
         </b></a>
         <br>
         George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, and
@@ -235,7 +235,6 @@
 
         <br>
 
-
         <li>
         <a href="http://www.isoc.org/isoc/conferences/ndss/04/proceedings/Papers/Ruwase.pdf"><b>
         A Practical Dynamic Buffer Overflow Detector
@@ -250,6 +249,20 @@
         <br>
 
         <li>
+        <a href="http://valgrind.org/docs/bounds-checking2004.ps"><b>
+        Bounds-Checking Entire Programs Without Recompiling
+        </b></a>
+        <br>
+         Nicholas Nethercote and Jeremy Fitzhardinge.
+        <br>
+        <i> Informal Proceedings of the Second Workshop on Semantics, Program
+        Analysis, and Computing Environments for Memory Management
+        (SPACE 2004)</i>, Venice, Italy, January 2004.
+        </li>
+
+        <br>
+
+        <li>
         <a href="http://llvm.org/pubs/2003-05-05-LCTES03-CodeSafety.html"><b>
         Memory Safety without Runtime Checks or Garbage Collection for Embedded
         Systems
@@ -257,7 +270,22 @@
         <br>
         Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner.
         <br>
-        <i>Languages Compilers and Tools for Embedded Systems (LCTES 2003)</i>, June 2003.
+        <i>Languages Compilers and Tools for Embedded Systems (LCTES 2003)</i>,
+        June 2003.
+        </li>
+
+        <br>
+
+        <li>
+        <a href="http://www.springerlink.com/content/60ml9qpl3u2lag4x/"><b>
+        Run-Time Type Checking for Binary Programs
+        </b></a>
+        <br>
+        Michael Burrows, Stephen N. Freund, and Janet L. Wiener.
+        <br>
+        <i>Proceedings of the Twelfth International Conference on Compiler
+        Construction</i>,
+        Warsaw, Poland, April 2003.
         </li>
 
         <br>
@@ -270,8 +298,22 @@
         <br>
         Sumant Kowshik, Dinakar Dhurjati, Vikram Adve.
         <br>
-        International Conference on Compilers, Architecture and Synthesis for
-        Embedded Systems (CASES), October 2002.
+        <i>International Conference on Compilers, Architecture and Synthesis for
+        Embedded Systems (CASES)</i>, October 2002.
+        </li>
+
+        <br>
+
+        <li>
+        <a href="http://www.springerlink.com/content/tldy4a7y5l22bc1m/"><b>
+        Debugging via Run-Time Type Checking
+        </b></a>
+        <br>
+        Alexey Loginov, Suan Hsi Yong, Susan Horwitz, and Thomas W. Reps
+        <br>
+        <i>Proceedings of the Fourth International Conference on Fundamental
+        Approaches to Software Engineering (FASE 2001)</i>,
+        Genova, Italy, April 2001.
         </li>
 
         <br>
@@ -284,7 +326,7 @@
         <br>
         Richard W. M. Jones and Paul H. J. Kelly.
         <br>
-        Third International Workshop on Automated Debugging, May 1997.
+        <i>Third International Workshop on Automated Debugging</i>, May 1997.
         </li>
 
         <br>