[llvm-commits] [www-pubs] r106013 - in /www-pubs/trunk: 2010-06-ISMM-CETS.html pubs.js

Tue Jun 15 11:09:28 PDT 2010

Author: criswell
Date: Tue Jun 15 13:09:27 2010
New Revision: 106013

URL: http://llvm.org/viewvc/llvm-project?rev=106013&view=rev
Log:
Added CETS paper from ISMM 2010.

Added:
    www-pubs/trunk/2010-06-ISMM-CETS.html
Modified:
    www-pubs/trunk/pubs.js

Added: www-pubs/trunk/2010-06-ISMM-CETS.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2010-06-ISMM-CETS.html?rev=106013&view=auto
==============================================================================

--- www-pubs/trunk/2010-06-ISMM-CETS.html (added)
+++ www-pubs/trunk/2010-06-ISMM-CETS.html Tue Jun 15 13:09:27 2010
@@ -0,0 +1,65 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+  <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen">
+  <title>CETS: Compiler Enforced Temporal Safety for C</title>
+</head>
+<body>
+
+<div class="pub_title">
+  CETS: Compiler Enforced Temporal Safety for C
+</div>
+<div class="pub_author">
+  Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin and Steve Zdancewic
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+<p>
+Temporal memory safety errors, such as dangling pointer dereferences and double
+frees, are a prevalent source of software bugs in unmanaged languages such as
+C. Existing schemes that attempt to retrofit temporal safety for such languages
+have high runtime overheads and/or are incomplete, thereby limiting their
+effectiveness as debugging aids. This paper presents CETS, a compile-time
+transformation for detecting all violations of temporal safety in C programs.
+Inspired by existing approaches, CETS maintains a unique identifier with each
+object, associates this metadata with the pointers in a disjoint metadata space
+to retain memory layout compatibility, and checks that the object is still
+allocated on pointer dereferences. A formal proof shows that this is sufficient
+to provide temporal safety even in the presence of arbitrary casts if the
+program contains no spatial safety violations. Our CETS prototype employs both
+temporal check removal optimizations and traditional compiler optimizations to
+achieve a runtime overhead of just 48% on average. When combined with a
+spatial-checking system, the average overall overhead is 116% for complete
+memory safety.
+</p>
+</blockquote>
+
+<h2>Published:</h2>
+<blockquote>
+  "CETS: Compiler Enforced Temporal Safety for C"
+  <br>
+   Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin and Steve Zdancewic.
+  <br>
+<i>
+Proceedings of the International Conference on Memory Management,
+</i> Toronto, Canada, June 2010.
+</blockquote>
+<h2>Download:</h2>
+<h3>Paper:</h3>
+<ul>
+  <li><a href="http://www.seas.upenn.edu/~santoshn/ismm10-cets.pdf">
+  CETS: Compiler Enforced Temporal Safety for C
+  </a> (PDF)</li>
+</ul>
+
+<!-- *********************************************************************** -->
+<hr>
+  <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
+  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>
+
+</body>
+</html>

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=106013&r1=106012&r2=106013&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Tue Jun 15 13:09:27 2010
@@ -1,10 +1,16 @@
 // The array should be sorted reverse-chronologically, and will be displayed on
 // the page in the order listed.
 var PUBS = [
+  {url: "2010-06-ISMM-CETS.html",
+   title: "CETS: Compiler Enforced Temporal Safety for C",
+   published: "International Conference on Memory Management 2010",
+   author: "Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin and Steve Zdancewic",
+   month: 6,
+   year: 2010},
   {url: "2010-05-Oakland-HyperSafe.html",
    title: "HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity",
    published: "IEEE Symposium on Security & Privacy 2010",
-   author: " Zhi Wang and Xuxian Jiang",
+   author: "Zhi Wang and Xuxian Jiang",
    month: 5,
    year: 2010},
   {url: "2010-05-01-ClangBSD.html",



