diff options
author | Hans Wennborg <hans@hanshq.net> | 2019-08-28 08:12:39 +0000 |
---|---|---|
committer | Hans Wennborg <hans@hanshq.net> | 2019-08-28 08:12:39 +0000 |
commit | ed322ad6d71521e3392e0f35cc12876462264594 (patch) | |
tree | dd9ddcd57ca55829809feff9404ced41432d4a1a | |
parent | 26bc32c96eff6988ba7f1889b64a310c7557b93e (diff) |
[analyzer] Add 9.0.0. release notes.
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
-rw-r--r-- | docs/ClangStaticAnalyzer.rst | 2 | ||||
-rw-r--r-- | docs/ReleaseNotes.rst | 49 |
2 files changed, 50 insertions, 1 deletions
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 <clang-static-analyzer-docs>`. + - 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: |