diff options
| author | John Criswell <criswell@uiuc.edu> | 2010-04-06 14:52:14 +0000 |
|---|---|---|
| committer | John Criswell <criswell@uiuc.edu> | 2010-04-06 14:52:14 +0000 |
| commit | f77cdabb58eaf05dbec3f663c8b33d8ba1eed2db (patch) | |
| tree | 6fc84172f8b6867354721f44f52ee773095fd871 | |
| parent | 01f0e8561d8e95b1de94d3971b8ad0aa29c20951 (diff) | |
Adding SAFECode to the list of projects that work with LLVM 2.7.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100525 91177308-0d34-0410-b5e6-96231b3b80d8
| -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> |