Update release notes blurb on the static analyzer.
authorTed Kremenek <kremenek@apple.com>
Sun, 11 Oct 2009 03:10:25 +0000 (03:10 +0000)
committerTed Kremenek <kremenek@apple.com>
Sun, 11 Oct 2009 03:10:25 +0000 (03:10 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@83749 91177308-0d34-0410-b5e6-96231b3b80d8

docs/ReleaseNotes-2.6.html

index 31f42ed4797ecc799fb80a2ab2f357b01c1e2c38..8b8b7d69bb2e09ac9577b12f95c019a195db34ba 100644 (file)
@@ -143,12 +143,20 @@ list</a>.</p>
 
 <div class="doc_text">
 
-<p><b>UPDATE!</b> Previously announced in the 2.4 and 2.5 LLVM releases, the Clang project also
+<p>Previously announced in the 2.4 and 2.5 LLVM releases, 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 checks to find
-bugs that occur on a specific path within a program.
-The set of checks performed by the static analyzer continues to expand, and
+bugs that occur on a specific path within a program.</p>
+
+<p>In the LLVM 2.6 time-frame, the analyzer core has undergone several important
+improvements and cleanups and now includes a new <em>Checker</em> interface that
+is intended to eventually serve as a basis for domain-specific checks. Further,
+in addition to generating HTML files for reporting analysis results, the
+analyzer can now also emit bug reports in a structured XML format that is
+intended to be easily readable by other programs.</p>
+
+<p>The set of checks performed by the static analyzer continues to expand, 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