From: John Criswell <criswell@uiuc.edu>
Date: Tue, 6 Apr 2010 14:52:14 +0000 (+0000)
Subject: Adding SAFECode to the list of projects that work with LLVM 2.7.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f77cdabb58eaf05dbec3f663c8b33d8ba1eed2db;p=oota-llvm.git

Adding SAFECode to the list of projects that work with LLVM 2.7.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100525 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index e1198bc8278..a66a51f957e 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -456,6 +456,22 @@ recompilation of larger parts of the compiler chain.</p>
 
 </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>