From: Bill Wendling <isanbard@gmail.com>
Date: Tue, 25 Oct 2011 20:40:26 +0000 (+0000)
Subject: Add mention of SAFECode to external OS projects.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=7d5b621f77c2fe9fe82d195acd4bad6b4240ba5f;p=oota-llvm.git

Add mention of SAFECode to external OS projects.

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

diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index 8cb60bb30ca..d119e5ae737 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -356,6 +356,21 @@ object-oriented programming, operator overloading and strong typing.</p>
 
 </div>
 
+<!--=========================================================================-->
+<h3>SAFECode</h3>
+
+<div>
+
+<p><a href="http://safecode.cs.illinois.edu">SAFECode</a> is a memory safe C/C++
+   compiler built using LLVM.  It takes standard, unannotated C/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.  SAFECode can be used as a debugging aid
+   (like Valgrind) to find and repair memory safety bugs.  It can also be used
+   to protect code from security attacks at run-time.</p>
+
+</div>
+
 <!--=========================================================================-->
 <h3>TTA-based Co-design Environment (TCE)</h3>