Index: index.html
===================================================================
--- index.html	(revision 138435)
+++ index.html	(working copy)
@@ -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 at run-time.  It
+    can be used to provide protection against security attacks for production
+    software and can, with debug options, be used as a replacement for tools
+    like Valgrind.</p></li>
+
 </ol>
 
 <p>In addition to official subprojects of LLVM, there are a broad variety of
