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 8cb60bb..d119e5a 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -357,6 +357,21 @@
</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>
<div>