Skip to content

v2.13.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Jan 15:32
v2.13.0
c8189fd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Release summary

  • New queries added for the following rule packages: Contracts5, DeadCode, Declarations4, Declarations5, Declarations6
  • The following changes have been made for this release:
    • M0-1-9: This query previously excluded all results which were affected by a macro expansion. This is because a macro may be expanded multiple times with code that is dead in one expansion but live in another. This query has been modified to exclude results only where the entirety of a statement is generated by a macro. This reduces false negatives where the statements liveness is not affected by the macro expansion.

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:

  • RULE-2-1 - UnreachableCode.ql
  • RULE-2-2 - DeadCode.ql
  • RULE-2-3 - UnusedTypeDeclarations.ql
  • RULE-2-4 - UnusedTagDeclaration.ql
  • RULE-2-5 - UnusedMacroDeclaration.ql
  • RULE-2-6 - UnusedLabelDeclaration.ql
  • RULE-2-7 - UnusedParameter.ql
  • RULE-5-2 - IdentifiersDeclaredInTheSameScopeNotDistinct.ql
  • RULE-5-8 - IdentifiersWithExternalLinkageNotUnique.ql
  • RULE-5-9 - IdentifiersWithInternalLinkageNotUnique.ql
  • RULE-8-2 - FunctionTypesNotInPrototypeForm.ql
  • RULE-8-3 - DeclarationsOfAnObjectSameNameAndType.ql, DeclarationsOfAFunctionSameNameAndType.ql
  • RULE-8-4 - CompatibleDeclarationObjectDefined.ql, CompatibleDeclarationFunctionDefined.ql
  • RULE-8-5 - ExternalObjectOrFunctionNotDeclaredInOneFile.ql
  • RULE-8-6 - IdentifierWithExternalLinkageOneDefinition.ql
  • RULE-8-7 - ShouldNotBeDefinedWithExternalLinkage.ql
  • RULE-8-8 - MissingStaticSpecifierFunctionRedeclarationC.ql, MissingStaticSpecifierObjectRedeclarationC.ql
  • RULE-8-9 - UnnecessaryExposedIdentifierDeclarationC.ql
  • RULE-8-10 - InlineFunctionNotDeclaredStaticStorage.ql
  • RULE-8-11 - ArrayExternalLinkageSizeExplicitlySpecified.ql
  • RULE-17-3 - FunctionDeclaredImplicitly.ql
  • RULE-18-7 - FlexibleArrayMembersDeclared.ql

Appendix: CERT-C new queries

New queries added to cover the following rules:

  • ERR32-C - DoNotRelyOnIndeterminateValuesOfErrno.ql
  • ERR33-C - DetectAndHandleStandardLibraryErrors.ql
Assets 7
Loading