diff options
author | Bill Wendling <isanbard@gmail.com> | 2011-10-25 20:40:26 +0000 |
---|---|---|
committer | Bill Wendling <isanbard@gmail.com> | 2011-10-25 20:40:26 +0000 |
commit | 7d5b621f77c2fe9fe82d195acd4bad6b4240ba5f (patch) | |
tree | cba953f12d45adc7e7af443d31e30e43e005eba8 /docs | |
parent | 0bad98c78bc23e76463d76bef71c1fed64330a93 (diff) | |
download | llvm-7d5b621f77c2fe9fe82d195acd4bad6b4240ba5f.tar.gz llvm-7d5b621f77c2fe9fe82d195acd4bad6b4240ba5f.tar.bz2 llvm-7d5b621f77c2fe9fe82d195acd4bad6b4240ba5f.tar.xz |
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
Diffstat (limited to 'docs')
-rw-r--r-- | docs/ReleaseNotes.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 8cb60bb30c..d119e5ae73 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -357,6 +357,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> <div> |