[llvm-commits] [llvm] r100525 - /llvm/trunk/docs/ReleaseNotes.html

[John Criswell]

Author: criswell
Date: Tue Apr  6 09:52:14 2010
New Revision: 100525

URL: http://llvm.org/viewvc/llvm-project?rev=100525&view=rev
Log:
Adding SAFECode to the list of projects that work with LLVM 2.7.

Modified:
    llvm/trunk/docs/ReleaseNotes.html

Modified: llvm/trunk/docs/ReleaseNotes.html
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/ReleaseNotes.html?rev=100525&r1=100524&r2=100525&view=diff
==============================================================================
--- llvm/trunk/docs/ReleaseNotes.html (original)
+++ llvm/trunk/docs/ReleaseNotes.html Tue Apr  6 09:52:14 2010
@@ -456,6 +456,22 @@
 
 </div>
 
+<!--=========================================================================-->
+<div class="doc_subsection">
+<a name="safecode">SAFECode Compiler</a>
+</div>
+
+<div class="doc_text">
+<p>
+<a href="http://safecode.cs.illinois.edu">SAFECode</a> is a memory safe C
+compiler built using LLVM.  It takes standard, unannotated C code, analyzes the
+code to ensure that memory accesses and array indexing operations are safe, and
+instruments the code with run-time checks when safety cannot be proven
+statically.
+</p>
+</div>
+
+
 <!-- *********************************************************************** -->
 <div class="doc_section">
   <a name="whatsnew">What's New in LLVM 2.7?</a>