[llvm-commits] [llvm] r57475 - /llvm/trunk/docs/ReleaseNotes.html

[Ted Kremenek]

Author: kremenek
Date: Tue Oct 14 00:14:21 2008
New Revision: 57475

URL: http://llvm.org/viewvc/llvm-project?rev=57475&view=rev
Log:
Add static analyzer notes.

Modified:
    llvm/trunk/docs/ReleaseNotes.html

Modified: llvm/trunk/docs/ReleaseNotes.html
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/ReleaseNotes.html?rev=57475&r1=57474&r2=57475&view=diff

==============================================================================
--- llvm/trunk/docs/ReleaseNotes.html (original)
+++ llvm/trunk/docs/ReleaseNotes.html Tue Oct 14 00:14:21 2008
@@ -109,11 +109,29 @@
 
 <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>