Release summary
- New queries added for the following rule packages: Contracts
- The following changes have been made for this release:
M0-3-2
- the alert messages now include the name of the called function.
A3-1-5
-TrivialOrTemplateFunctionDefinedOutsideClassDefinition.ql
:- Query deleted - rule was never intended to cover this case (see https://forum.misra.org.uk/archive/index.php?thread-1588.html).
A3-1-5
-NonTrivialNonTemplateFunctionDefinedInsideClassDefinition.ql
:- Removed false positives caused by flagging member functions in template instantiations
STR34-C
-CastCharBeforeConvertingToLargerSizes.ql
:- Fixes #576. Do not consider integer type aliases in templates.
A3-9-1
-VariableWidthIntegerTypesUsed.ql
:- Reduce false positives by not considering variables from template instantiations.
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.18.4
in conjunction with a copy of the CodeQL standard library for C++ (github/codeql
) set to the tagcodeql-cli/v2.18.4
. - Using the CodeQL Action or CodeQL runner with the codeql-bundle-v2.18.4.
- Using the CodeQL CLI version
Appendix: MISRA-C-2012 new queries
New queries added to cover the following rules:
- DIR-4-7 -
FunctionErrorInformationUntested.ql
- DIR-4-11 -
CheckMathLibraryFunctionParameters.ql
Appendix: CERT-C new queries
New queries added to cover the following rules:
- MSC40-C -
DoNotViolateInLineLinkageConstraints.ql