diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-10-11 03:10:25 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-10-11 03:10:25 +0000 |
| commit | 2840c18cf559f9e3dff1c18490d1dc62153e74a0 (patch) | |
| tree | f10805e7fd08966684c9877450e2622adf93560c /docs | |
| parent | 8c1db67a4c58fc05e41fd530129a7bc5fd8f8b20 (diff) | |
| download | external_llvm-2840c18cf559f9e3dff1c18490d1dc62153e74a0.zip external_llvm-2840c18cf559f9e3dff1c18490d1dc62153e74a0.tar.gz external_llvm-2840c18cf559f9e3dff1c18490d1dc62153e74a0.tar.bz2 | |
Update release notes blurb on the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@83749 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/ReleaseNotes-2.6.html | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/docs/ReleaseNotes-2.6.html b/docs/ReleaseNotes-2.6.html index 31f42ed..8b8b7d6 100644 --- a/docs/ReleaseNotes-2.6.html +++ b/docs/ReleaseNotes-2.6.html @@ -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 |