Szelethus created this revision. Szelethus added reviewers: NoQ, xazax.hun, dcoughlin, Charusso, baloghadamsoftware, a_sidorin, martong, balazske, rnkovacs, dkrupp, whisperity. Szelethus added a project: clang. Herald added subscribers: cfe-commits, gamesh411, donat.nagy, mikhail.ramalho, a.sidorin, szepet. Szelethus added a reviewer: hans. Szelethus added a comment.
Please note that LLVM 9.0.0-final is due on the 28th of August. I wanted to do this a lot sooner, but I guess better now than never. Please chip in, I may have missed some important patches (especially osx or CTU ones). Repository: rG LLVM Github Monorepo https://reviews.llvm.org/D66765 Files: clang/docs/ClangStaticAnalyzer.rst clang/docs/ReleaseNotes.rst Index: clang/docs/ReleaseNotes.rst =================================================================== --- clang/docs/ReleaseNotes.rst +++ clang/docs/ReleaseNotes.rst @@ -222,10 +222,51 @@ 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 OSObjects + +- New package: 'apiModeling.llvm' contains modeling checkers to improve the + accuracy of reports on LLVM's codebase. + +- The Static Analyzer recieved 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 incomplet and inkorrekt + 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 incomplet and inkorrekt + not yet advised to be specified. + + - ``-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. .. _release-notes-ubsan: Index: clang/docs/ClangStaticAnalyzer.rst =================================================================== --- clang/docs/ClangStaticAnalyzer.rst +++ clang/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.
Index: clang/docs/ReleaseNotes.rst =================================================================== --- clang/docs/ReleaseNotes.rst +++ clang/docs/ReleaseNotes.rst @@ -222,10 +222,51 @@ 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 OSObjects + +- New package: 'apiModeling.llvm' contains modeling checkers to improve the + accuracy of reports on LLVM's codebase. + +- The Static Analyzer recieved 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 incomplet and inkorrekt + 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 incomplet and inkorrekt + not yet advised to be specified. + + - ``-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. .. _release-notes-ubsan: Index: clang/docs/ClangStaticAnalyzer.rst =================================================================== --- clang/docs/ClangStaticAnalyzer.rst +++ clang/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.
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
