diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index e1198bc8278..a66a51f957e 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -456,6 +456,22 @@ recompilation of larger parts of the compiler chain.

+ +
+SAFECode Compiler +
+ +
+

+SAFECode is a memory safe C +compiler built using LLVM. It takes standard, unannotated 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. +

+
+ +
What's New in LLVM 2.7?