Index: index.html
===================================================================
--- index.html
+++ index.html
@@ -97,13 +97,6 @@
     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>
-
 <li><p>The <b><a href="http://lld.llvm.org/">LLD</a></b> project is a new
     linker. That is a drop-in replacement for system linkers
     and runs much faster.</p></li>