From 7d5b621f77c2fe9fe82d195acd4bad6b4240ba5f Mon Sep 17 00:00:00 2001 From: Bill Wendling Date: Tue, 25 Oct 2011 20:40:26 +0000 Subject: [PATCH] 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 --- docs/ReleaseNotes.html | 15 +++++++++++++++ 1 file changed, 15 insertions(+) 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.

+ +

SAFECode

+ +
+ +

SAFECode 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.

+ +
+

TTA-based Co-design Environment (TCE)

-- 2.34.1