[llvm-commits] [www] r139366 - /www/trunk/index.html

[John Criswell]

Author: criswell
Date: Fri Sep  9 10:45:15 2011
New Revision: 139366

URL: http://llvm.org/viewvc/llvm-project?rev=139366&view=rev
Log:
Adding SAFECode as an LLVM sub-project.

Modified:
    www/trunk/index.html

Modified: www/trunk/index.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/index.html?rev=139366&r1=139365&r2=139366&view=diff
==============================================================================
--- www/trunk/index.html (original)
+++ www/trunk/index.html Fri Sep  9 10:45:15 2011
@@ -90,6 +90,13 @@
     properties of functions.  A major feature of klee is that it can produce a
     testcase in the event that it detects a bug.</p></li>
 
+<li><p>The <b><a href="http://safecode.cs.illinois.edu">SAFECode</a></b>
+    project is a memory safety compiler for C/C++ programs.  It instruments
+    code with run-time checks to detect memory safety errors (e.g., buffer
+    overflows) at run-time.  It can be used to protect software from
+    security attacks and can also be used as a memory safety error debugging
+    tool like Valgrind.</p></li>
+
 </ol>
 
 <p>In addition to official subprojects of LLVM, there are a broad variety of