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

[John Criswell]

Changes in directory llvm-www/safecode/menagerie:

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

Added the R. Sekar paper and the Wisconsin (Go Bucky!) Safe C paper.


---
Diffs of the changes:  (+33 -4)

 memsafety.html |   37 +++++++++++++++++++++++++++++++++----
 1 file changed, 33 insertions(+), 4 deletions(-)


Index: llvm-www/safecode/menagerie/memsafety.html
diff -u llvm-www/safecode/menagerie/memsafety.html:1.6 llvm-www/safecode/menagerie/memsafety.html:1.7
--- llvm-www/safecode/menagerie/memsafety.html:1.6	Mon Jun 21 09:54:12 2010
+++ llvm-www/safecode/menagerie/memsafety.html	Fri Jun 25 12:18:16 2010
@@ -219,19 +219,37 @@
         <br>
 
         <li>
+        <a href="http://seclab.cs.sunysb.edu/seclab/pubs/fse04.pdf"><b>
+        An Efficient and Backwards-Compatible Transformation to Ensure Memory
+        Safety of C Programs
+        </b></a>
+        <br>
+        Wei Xu, Daniel DuVarney, and R. Sekar
+        <br>
+        <i>
+        ACM SIGSOFT International Symposium on the Foundations of Software
+        Engineering (FSE 2004)
+        Symposium
+        </i>, November 2004.
+        </li>
+
+        <br>
+
+
+        <li>
         <a href="http://www.isoc.org/isoc/conferences/ndss/04/proceedings/Papers/Ruwase.pdf"><b>
         A Practical Dynamic Buffer Overflow Detector
         </b></a>
         <br>
         Olatunji Ruwase and Monica S. Lam.
         <br>
-         Proceedings of the Network and Distributed System Security (NDSS)
-        Symposium, February 2004.
+        <i>Proceedings of the Network and Distributed System Security (NDSS)
+        Symposium</i>, February 2004.
         </li>
 
         <br>
 
-<li>
+        <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
@@ -239,7 +257,7 @@
         <br>
         Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner.
         <br>
-        Languages Compilers and Tools for Embedded Systems (LCTES), June 2003.
+        <i>Languages Compilers and Tools for Embedded Systems (LCTES 2003)</i>, June 2003.
         </li>
 
         <br>
@@ -269,6 +287,17 @@
         Third International Workshop on Automated Debugging, May 1997.
         </li>
 
+        <br>
+
+        <li>
+        <a href="http://portal.acm.org/citation.cfm?id=773473.178446"><b>
+        Efficient Detection of All Pointer and Array Access Errors
+        </b></a>
+        <br>
+        Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi
+        <br>
+        <i>SIGPLAN Notices</i>, Volume 29, Issue 6, June 1994.
+        </li>
 		</div>
 
     <!--#include virtual="sidebar.incl" -->