diff options
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> |