diff options
| author | Ted Kremenek <kremenek@apple.com> | 2013-04-26 00:01:34 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2013-04-26 00:01:34 +0000 |
| commit | 1377a4643925b7a56bc4ab3c0d66ee3ebd54d7c5 (patch) | |
| tree | dce8a3e79f6593709cd1724e8b1b0e0c54e3cba7 /docs/ReleaseNotes.rst | |
| parent | d247842acdbded335f03f91ba0153bc36e65eb39 (diff) | |
Further wordsmith release notes for the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180585 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/ReleaseNotes.rst')
| -rw-r--r-- | docs/ReleaseNotes.rst | 23 |
1 files changed, 17 insertions, 6 deletions
diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst index 7ced21e632..34810c24f4 100644 --- a/docs/ReleaseNotes.rst +++ b/docs/ReleaseNotes.rst @@ -139,14 +139,25 @@ original behavior. Moreover, this also fixes the issue of an invalid CXCursorSe appearing to contain any CXCursor. Static Analyzer --------- -We've continued the work on improving the core analysis and added several new memory management checks: +--------------- + +The static analyzer (which contains additional code checking beyond compiler +warnings) has improved significantly in both in the core analysis engine and +also in the kinds of issues it can find. + +Core Analysis Improvements +========================== -- Support for reasoning about constructors and destructors -- New false positive suppression mechanisms that reduced the number of null pointer dereference warnings +- Support for interprocedural reasoning about constructors and destructors. +- New false positive suppression mechanisms that reduced the number of false null pointer dereference warnings due to interprocedural analysis. - Major performance enhancements to speed up interprocedural analysis -- New memory error checks such as use-after-free with C++ 'delete', mismatched allocators and deallocators -- Additional checks for misuse of Apple Foundation framework collection APIs + +New Issues Found +================ + +- New memory error checks such as use-after-free with C++ 'delete'. +- Detection of mismatched allocators and deallocators (e.g., using 'new' with 'free()', 'malloc()' with 'delete'). +- Additional checks for misuses of Apple Foundation framework collection APIs. Python Binding Changes ---------------------- |