Release summary

• New queries added for the following rule packages: Preconditions1, Statements
• The following changes have been made for this release:
  • CON51-CPP -EnsureActivelyHeldLocksAreReleasedOnExceptionalConditions.ql:
    • Exclude RAII-style locks from query results, as they cannot be leaked, and are recommended to avoid alerts in this rule.
  • M0-1-3 -UnusedLocalVariable.ql:
    • Improved performance of the unused local variable analysis by moving constant expression value extraction to a separate pass, eliminating certain expensive joins.

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 version2.20.7 in conjunction with a copy of the CodeQL standard library for C++ (github/codeql) set to the tagcodeql-cli/v2.20.7.
  • Using the CodeQL Action or CodeQL runner with thecodeql-bundle-v2.20.7.

Appendix: MISRA-C++-2023 new queries

New queries added to cover the following rules:

• RULE-8-2-9 -PolymorphicClassTypeExpressionInTypeid.ql
• RULE-9-4-2 -AppropriateStructureOfSwitchStatement.ql
• RULE-9-5-1 -LegacyForStatementsShouldBeSimple.ql
• RULE-9-5-2 -ForRangeInitializerAtMostOneFunctionCall.ql