v2.10.0

Release summary

• New queries added for the following rule packages: Concurrency5, Contracts3, Declarations3, Language1
• The following changes have been made for this release:
  • M0-1-9 - DeadCode.ql:
    • More compiler generated statements are now excluded from being reported as dead code, including compiler generated statements for static_assert calls.
  • A2-10-5 - IdentifierNameOfANonMemberObjectWithExternalOrInternalLinkageIsReused.ql
    • Reduce false positives by excluding variable template instantiations.
  • M3-2-1 - DeclarationsOfAnObjectShallHaveCompatibleTypes.ql
    • Reduced false positives by excluding non-object variables (for example, member variables).
    • Reduced false positives by excluding variable templates and template instantiations.
    • Improved the reported error message by including the conflicting type names.

Supported versions

• The LGTM pack is not supported on any released version of LGTM without support from GitHub Professional Services.
• The Code Scanning pack is supported when:
  • Using the CodeQL CLI version 2.9.4 in conjunction with a copy of the CodeQL standard library for C++ (github/codeql) set to the tag codeql-cli/v2.9.4.
  • Using the CodeQL Action or CodeQL runner with the codeql-bundle-20220615.

Appendix: MISRA-C-2012 new queries

New queries added to cover the following rules:

• DIR-4-3 - LanguageNotEncapsulatedAndIsolated.ql
• RULE-5-3 - IdentifierHidingC.ql
• RULE-5-5 - IdentifiersNotDistinctFromMacroNames.ql
• RULE-5-6 - TypedefNameNotUnique.ql
• RULE-5-7 - TagNameNotUnique.ql
• RULE-8-1 - ExplicitlyDeclareTypes.ql
• RULE-22-8 - ErrnoSetToZeroPriorToCall.ql
• RULE-22-9 - ErrnoSetToZeroAfterCall.ql
• RULE-22-10 - OnlyTestErrnoRightAfterErrnoSettingFunction.ql

Appendix: CERT-C new queries

New queries added to cover the following rules:

• CON39-C - ThreadWasPreviouslyJoinedOrDetached.ql
• CON40-C - AtomicVariableTwiceInExpression.ql