[llvm-commits] CVS: llvm-www/safecode/menagerie/memsafety.html
John Criswell
criswell at cs.uiuc.edu
Fri Jul 2 12:16:47 PDT 2010
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>
More information about the llvm-commits
mailing list