From 1377a4643925b7a56bc4ab3c0d66ee3ebd54d7c5 Mon Sep 17 00:00:00 2001 From: Ted Kremenek <kremenek@apple.com> Date: Fri, 26 Apr 2013 00:01:34 +0000 Subject: [PATCH] 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 --- docs/ReleaseNotes.rst | 23 +++++++++++++++++------ 1 file changed, 17 insertions(+), 6 deletions(-) diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst index 7ced21e632a..34810c24f43 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 ---------------------- -- GitLab