diff options
| -rw-r--r-- | docs/ReleaseNotes.html | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index e1198bc827..a66a51f957 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -456,6 +456,22 @@ recompilation of larger parts of the compiler chain.</p> </div> +<!--=========================================================================--> +<div class="doc_subsection"> +<a name="safecode">SAFECode Compiler</a> +</div> + +<div class="doc_text"> +<p> +<a href="http://safecode.cs.illinois.edu">SAFECode</a> 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. +</p> +</div> + + <!-- *********************************************************************** --> <div class="doc_section"> <a name="whatsnew">What's New in LLVM 2.7?</a> |