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

[John Criswell]

Changes in directory llvm-www/safecode:

sva.html updated: 1.1 -> 1.2
---
Log message:

Added text about how SVA uses SAFECode and a V-ISA.


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

 sva.html |   19 +++++++++++++++++--
 1 files changed, 17 insertions(+), 2 deletions(-)


Index: llvm-www/safecode/sva.html
diff -u llvm-www/safecode/sva.html:1.1 llvm-www/safecode/sva.html:1.2
--- llvm-www/safecode/sva.html:1.1	Mon May 17 12:25:51 2010
+++ llvm-www/safecode/sva.html	Mon May 17 13:25:18 2010
@@ -60,8 +60,23 @@
         software security and reliability problems, including intrusion
         prevention, intrusion detection and analysis, OS component isolation,
         full system recovery, application data confidentiality, secure
-        application- and system-level information flow, and many others. The
-        SVA research group is funded by grants from the National Science
+        application- and system-level information flow, and many others.
+        </p>
+
+        <p>
+        SVA currently uses techniques employed by the
+        <a href="http://safecode.cs.illinois.edu">SAFECode compiler</a>
+        to provide strong memory safety guarantees to the Linux kernel.  All
+        software in SVA is compiled down to a virtual instruction set; SVA
+        translates code from the virtual instruction set to the native
+        processor's instruction set transparently.  SVA's virtual instruction
+        set is the <a href="http://llvm.org">LLVM IR</a> enhanced with 
+        <a href="http://llvm.org/pubs/2009-08-12-UsenixSecurity-SafeSVAOS.html">additional instructions</a>
+        to provide memory safety for low-level software/hardware interactions.
+        </p>
+
+        <p>
+        The SVA research group is funded by grants from the National Science
         Foundation, Apple Computer, Inc., and the University of Illinois.
         </p>
       </div>