diff options
-rw-r--r-- | docs/ReleaseNotes.html | 28 |
1 files changed, 23 insertions, 5 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 02974bba84..9722744642 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -109,11 +109,29 @@ front-end work has started to make significant progress.</p> <div class="doc_text"> -<p>The -<a href="http://clang.llvm.org/StaticAnalysis.html">static analysis tool</a> - -[TED] -.</p> +<p>The Clang project also includes an early stage static source code analysis +tool for <a href="http://clang.llvm.org/StaticAnalysis.html">automatically +finding bugs</a> in C and Objective-C programs. The tool performs a growing set +of checks to find bugs that occur on a specific path within a program. Examples +of bugs the tool finds include logic errors such as null dereferences, +violations of various API rules, dead code, and potential memory leaks in +Objective-C programs. Since its public announcement at Apple's WWDC 2008 +conference, the public feedback on the tool has been extremely positive, and +conservative estimates put the number of real bugs it has found in +industrial-quality software on the order of thousands.</p> + +<p>The tool also provides a simple web GUI to inspect potential bugs found by +the tool. While still early in development, the GUI illustrates some of the key +features of Clang: accurate source location information, which is used by the +GUI to highlight specific code expressions that relate to a bug (including those +that span multiple lines) and built-in knowledge of macros, which is used to +perform inline expansion of macros within the GUI itself.</p> + +<p>The set of checks perform by the static analyzer is gradually expanding, and +future plans for the tool include full source-level inter-procedural analysis +and deeper checks such as buffer overrun detection. There are many opportunities +to extend and enhance the static analyzer, and anyone interested in working on +this project is encouraged to get involved!</p> </div> |