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

[John Criswell]

Changes in directory llvm-www/safecode/menagerie:

memsafety.html updated: 1.2 -> 1.3
---
Log message:

Added CETS, Baggy Bounds Checking, and the CCured journal paper.


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

 memsafety.html |   57 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)


Index: llvm-www/safecode/menagerie/memsafety.html
diff -u llvm-www/safecode/menagerie/memsafety.html:1.2 llvm-www/safecode/menagerie/memsafety.html:1.3
--- llvm-www/safecode/menagerie/memsafety.html:1.2	Thu Jun 10 17:32:32 2010
+++ llvm-www/safecode/menagerie/memsafety.html	Thu Jun 10 23:32:43 2010
@@ -71,6 +71,49 @@
 			<h1>Memory Safety Papers</h1>
 
 				<ul>
+        <li>
+        <a href="http://www.cis.upenn.edu/~santoshn/ismm10-cets.pdf">
+        <b>
+        CETS: Compiler Enforced Temporal Safety for C
+        </b></a>
+        <br>
+        Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin and Steve Zdancewic.
+        <br>
+        International Conference on Memory Management (ISMM 2010), June, 2010 
+        </li>
+
+        <br>
+
+        <li>
+        <a href="http://www.usenix.org/event/sec09/tech/full_papers/sec09_memory.pdf">
+        <b>
+        Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense
+        against Out-of-Bounds Errors
+        </b></a>
+        <br>
+        Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand.
+        <br>
+        <i>Proceedings of the Eighteenth USENIX Security Symposium</i>,
+        Montreal, Canada, August 2009.
+        </li>
+
+        <br>
+
+
+        <li>
+        <a href="http://www.cis.upenn.edu/acg/papers/pldi09_softbound.pdf">
+        <b>
+        SoftBound: Highly Compatible and Complete Spatial Memory Safety for C
+        </b></a>
+        <br>
+        Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic.
+        <br>
+        ACM SIGPLAN Conference on Programming Language Design and
+        Implementation (PLDI), 2009
+        </li>
+
+        <br>
+
         <li><a href="http://llvm.org/pubs/2006-DSN-DanglingPointers.html">
         <b>
         Efficiently Detecting All Dangling Pointer Uses in Production Servers
@@ -120,6 +163,20 @@
         <br>
 
         <li>
+        <a href="http://portal.acm.org/citation.cfm?id=1065892"><b>
+        CCured: type-safe retrofitting of legacy software
+        </b></a>
+        <br>
+        George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, and
+        Westley Weimer.
+        <br>
+        <i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>,
+        May 2005.
+        </li>
+
+        <br>
+
+<li>
         <a href="http://llvm.org/pubs/2005-02-TECS-SAFECode.html"><b>
         Memory Safety Without Garbage Collection for Embedded Applications
         </b></a>