[llvm-commits] CVS: llvm-www/devmtg/2009-10/index.html

[Tanya Lattner]

Changes in directory llvm-www/devmtg/2009-10:

index.html updated: 1.4 -> 1.5
---
Log message:

Fix title.


---
Diffs of the changes:  (+2 -2)

 index.html |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)


Index: llvm-www/devmtg/2009-10/index.html
diff -u llvm-www/devmtg/2009-10/index.html:1.4 llvm-www/devmtg/2009-10/index.html:1.5
--- llvm-www/devmtg/2009-10/index.html:1.4	Mon Oct 12 16:57:09 2009
+++ llvm-www/devmtg/2009-10/index.html	Mon Oct 12 17:03:46 2009
@@ -207,7 +207,7 @@
       [<a href="Nagarakatte_SoftBound.pptm">PPT Slides</a>]
     </td>
     <td>Santosh Nagarakatte<br><i>University of Pennsylvania</i></td>
-    <td><b>ftBound: Highly Compatible and Complete Spatial Memory Safety for C</b> - 
+    <td><b>SoftBound: Highly Compatible and Complete Spatial Memory Safety for C</b> - 
     The serious bugs and security vulnerabilities facilitated by C/C++’s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C’s arbitrary pointer arithmetic, conflation of pointers and arrays, and programmer-visible memory layout make retrofitting C/C++ with spatial safety guarantees extremely challenging. Existing approaches suffer from incompleteness, have high runtime overhead, or require non-trivial changes to the C source code. Thus far, these deficiencies have prevented widespread adoption of such techniques. In this talk, I will present SoftBound, a compile-time transformation for enforcing spatial safety of C. SoftBound records base and bound information for every pointer as disjoint metadata. This decoupling enables SoftBound to provide spatial safety without requiring changes to C source code. SoftBound is a software-only approach and performs metadata manipulation only when loading or storing pointer values. I will !
 also provide a brief description of the formal proof and llvm implementation. SoftBound’s full checking mode provides complete spatial violation detection with 67% runtime overhead on average. To further reduce overheads, SoftBound has a store-only checking mode that successfully detects all the security vulnerabilities in a test suite at the cost of only 22% runtime overhead on average.
     </td>
   </tr>
@@ -249,7 +249,7 @@
   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>
-<br>Last modified: $Date: 2009/10/12 21:57:09 $
+<br>Last modified: $Date: 2009/10/12 22:03:46 $
 </address>
 
 <!--#include virtual="../../footer.incl" -->