v2.58.0

Release summary

• New queries added for the following rule packages: Banned5, Banned6, Banned8, Declarations3, Declarations4, Declarations6, Declarations7, Toolchain2, Representation
• The following changes have been made for this release:
• A9-6-2 - BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.ql:
  • Shorten the name to BitFieldsShouldNotBeDeclaredAutosarCpp, where the name shared query it imports is BitFieldsShouldNotBeDeclared.
  • Tag "portability" is added.
  • Alert message now includes single quotes around union name.
• All queries related to side effects:
  • Compound assignments of pointer parameters (e.g. p += 1) are no longer treated as a modification of the pointed-to object. This was previously only handled for simple assignments (e.g. p = ...).

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

Appendix: AUTOSAR new queries

New queries added to cover the following rules:

• A9-6-2 - BitFieldsShouldNotBeDeclaredAutosarCpp.ql

Appendix: MISRA-C++-2023 new queries

New queries added to cover the following rules:

• RULE-4-1-1 - CompilerLanguageExtensionsUsed.ql
• RULE-6-0-1 - BlockScopeFunctionAmbiguous.ql
• RULE-8-3-2 - BuiltInUnaryPlusOperatorShouldNotBeUsed.ql
• RULE-10-1-1 - PointerOrRefParamNotConst.ql
• RULE-10-1-2 - VolatileQualifierNotUsedAppropriately.ql
• RULE-11-3-1 - VariableDeclaredArrayType.ql
• RULE-11-6-1 - UninitializedVariable.ql
• RULE-12-2-1 - BitFieldsShouldNotBeDeclaredMisraCpp.ql
• RULE-12-3-1 - UnionKeywordUsed.ql