From ed322ad6d71521e3392e0f35cc12876462264594 Mon Sep 17 00:00:00 2001 From: Hans Wennborg Date: Wed, 28 Aug 2019 08:12:39 +0000 Subject: [PATCH] [analyzer] Add 9.0.0. release notes. MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit By Kristóf Umann! Differential revision: https://reviews.llvm.org/D66765 git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/release_90@370166 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/ClangStaticAnalyzer.rst | 2 ++ docs/ReleaseNotes.rst | 49 +++++++++++++++++++++++++++++++++++- 2 files changed, 50 insertions(+), 1 deletion(-) diff --git a/docs/ClangStaticAnalyzer.rst b/docs/ClangStaticAnalyzer.rst index 7a309dc4ac..3a4f332e57 100644 --- a/docs/ClangStaticAnalyzer.rst +++ b/docs/ClangStaticAnalyzer.rst @@ -2,6 +2,8 @@ Clang Static Analyzer ===================== +.. _clang-static-analyzer-docs: + The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. It implements *path-sensitive*, *inter-procedural analysis* based on *symbolic execution* technique. diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst index 646844355c..8fec01d3e1 100644 --- a/docs/ReleaseNotes.rst +++ b/docs/ReleaseNotes.rst @@ -325,10 +325,57 @@ libclang Static Analyzer --------------- +- Fixed a bug where an incorrect checker name would be displayed for a bug + report.` + +- New checker: 'security.insecureAPI.DeprecatedOrUnsafeBufferHandling' to detect + uses of unsafe/deprecated buffer handling functions for C code using the C11 + standard or newer. + +- New checker: 'osx.MIGChecker' to find violations of the Mach Interface + Generator calling convention + +- New checker: 'optin.osx.OSObjectCStyleCast' to find C-style casts of of XNU + libkern OSObjects + +- New package: 'apiModeling.llvm' contains modeling checkers to improve the + accuracy of reports on LLVM's own codebase. + +- The Static Analyzer received a + :ref:`developer documentation `. + - The UninitializedObject checker is now considered as stable. (moved from the 'alpha.cplusplus' to the 'optin.cplusplus' package) -... +- New frontend flags: The list of available checkers are now split into 3 + different frontend flags: + + - ``-analyzer-checker-help``: The list of user-facing, stable checkers. + + - ``-analyzer-checker-help-alpha``: The list of in-development + checkers not yet advised to be turned on. + + - ``-analyzer-checker-help-developer``: Checkers never meant to be + enabled/disabled by hand + development checkers. + +- New frontend flags: While they have always been around, for the first time, + checker and package options are listable: + + - ``-analyzer-checker-option-help``: The list of user-facing, stable checker + and package options. + + - ``-analyzer-checker-option-help-alpha``: The list of in-development checker + options not yet advised to be used. + + - ``-analyzer-checker-option-help-developer``: Options never meant to be + enabled/disabled by hand + development options. + +- New frontend flag: ``-analyzer-werror`` to turn analyzer warnings into errors. + +- Numerous fixes to increase the stability of the experimental cross translation + unit analysis (CTU). + +- CTU now handles virtual functions as well. .. _release-notes-ubsan: -- 2.40.0