Skip to content

Commit 6536606

Browse files
lcarteylcartey
authored
Merge pull request #729 from github/lcartey/misra-update-suites
Add new MISRA query suites and deprecate ambiguously named suites
2 parents de553c1 + 8932310 commit 6536606

File tree

251 files changed

+1009
-482
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

251 files changed

+1009
-482
lines changed

‎c/misra/src/codeql-suites/misra-c-2012-third-edition-with-amendment-2.qls

+13
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
- description: MISRA C 2012 - Third Edition, First Revision including Amendment 2
2+
- qlpack: codeql/misra-c-coding-standards
3+
- include:
4+
kind:
5+
- problem
6+
- path-problem
7+
tags contain:
8+
- external/misra/c/2012/third-edition-first-revision
9+
- external/misra/c/2012/amendment2
10+
- exclude:
11+
tags contain:
12+
- external/misra/audit
13+
- external/misra/default-disabled

‎c/misra/src/codeql-suites/misra-c-advisory.qls

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
- description: MISRA C 2012 (Advisory)
2+
- qlpack: codeql/misra-c-coding-standards
3+
- include:
4+
kind:
5+
- problem
6+
- path-problem
7+
tags contain:
8+
- external/misra/obligation/advisory
9+
- exclude:
10+
tags contain:
11+
- external/misra/audit
12+
- external/misra/default-disabled

‎c/misra/src/codeql-suites/misra-c-default.qls

+10
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
- description: MISRA C 2012 (Default)
2+
- qlpack: codeql/misra-c-coding-standards
3+
- include:
4+
kind:
5+
- problem
6+
- path-problem
7+
- exclude:
8+
tags contain:
9+
- external/misra/audit
10+
- external/misra/default-disabled

‎c/misra/src/codeql-suites/misra-c-mandatory.qls

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
- description: MISRA C 2012 (Advisory)
2+
- qlpack: codeql/misra-c-coding-standards
3+
- include:
4+
kind:
5+
- problem
6+
- path-problem
7+
tags contain:
8+
- external/misra/obligation/mandatory
9+
- exclude:
10+
tags contain:
11+
- external/misra/audit
12+
- external/misra/default-disabled

‎c/misra/src/codeql-suites/misra-c-required.qls

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
- description: MISRA C 2012 (Required)
2+
- qlpack: codeql/misra-c-coding-standards
3+
- include:
4+
kind:
5+
- problem
6+
- path-problem
7+
tags contain:
8+
- external/misra/obligation/required
9+
- exclude:
10+
tags contain:
11+
- external/misra/audit
12+
- external/misra/default-disabled

‎c/misra/src/codeql-suites/misra-default.qls

+2-10
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,2 @@
1-
- description: MISRA C 2012 (Default)
2-
- qlpack: codeql/misra-c-coding-standards
3-
- include:
4-
kind:
5-
- problem
6-
- path-problem
7-
- exclude:
8-
tags contain:
9-
- external/misra/audit
10-
- external/misra/default-disabled
1+
- description: "DEPRECATED - MISRA C 2012 - use misra-c-default.qls instead"
2+
- import: codeql-suites/misra-c-default.qls

‎c/misra/src/qlpack.yml

+1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@ version: 2.36.0-dev
33
description: MISRA C 2012
44
suites: codeql-suites
55
license: MIT
6+
default-suite-file: codeql-suites/misra-c-default.qls
67
dependencies:
78
codeql/common-c-coding-standards: '*'
89
codeql/cpp-all: 0.9.3

‎c/misra/src/rules/DIR-4-10/PrecautionIncludeGuardsNotProvided.ql

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
* correctness
1111
* maintainability
1212
* readability
13+
* external/misra/c/2012/third-edition-first-revision
1314
* external/misra/obligation/required
1415
*/
1516

‎c/misra/src/rules/DIR-4-12/StdLibDynamicMemoryAllocationUsed.ql

+1
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
* security
1212
* correctness
1313
* maintainability
14+
* external/misra/c/2012/third-edition-first-revision
1415
* external/misra/obligation/required
1516
*/
1617

‎c/misra/src/rules/DIR-4-2/UsageOfAssemblyLanguageShouldBeDocumented.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/dir-4-2
99
* maintainability
1010
* readability
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/advisory
1213
*/
1314

‎c/misra/src/rules/DIR-4-3/LanguageNotEncapsulatedAndIsolated.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/dir-4-3
1010
* maintainability
1111
* readability
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

‎c/misra/src/rules/DIR-4-4/SectionsOfCodeShallNotBeCommentedOut.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* maintainability
1010
* readability
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/advisory
1314
*/
1415

‎c/misra/src/rules/DIR-4-5/IdentifiersInTheSameNameSpaceUnambiguous.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/dir-4-5
99
* readability
1010
* maintainability
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/advisory
1213
*/
1314

‎c/misra/src/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.ql

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
* @precision high
88
* @problem.severity error
99
* @tags external/misra/id/dir-4-6
10+
* external/misra/c/2012/third-edition-first-revision
1011
* external/misra/obligation/advisory
1112
*/
1213

‎c/misra/src/rules/DIR-4-8/ObjectWithNoPointerDereferenceShouldBeOpaque.ql

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
* @tags external/misra/id/dir-4-8
1111
* readability
1212
* maintainability
13+
* external/misra/c/2012/third-edition-first-revision
1314
* external/misra/obligation/advisory
1415
*/
1516

‎c/misra/src/rules/DIR-4-9/FunctionOverFunctionLikeMacro.ql

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
* external/misra/audit
1111
* maintainability
1212
* readability
13+
* external/misra/c/2012/third-edition-first-revision
1314
* external/misra/obligation/advisory
1415
*/
1516

‎c/misra/src/rules/RULE-1-2/LanguageExtensionsShouldNotBeUsed.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-1-2
99
* maintainability
1010
* readability
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/advisory
1213
*/
1314

‎c/misra/src/rules/RULE-1-3/OccurrenceOfUndefinedBehavior.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-1-3
99
* maintainability
1010
* readability
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-1-4/EmergentLanguageFeaturesUsed.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-1-4
99
* maintainability
1010
* readability
11+
* external/misra/c/2012/amendment2
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-10-1/OperandsOfAnInappropriateEssentialType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity warning
99
* @tags external/misra/id/rule-10-1
1010
* maintainability
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-10-1/PointerTypeOnLogicalOperator.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity warning
99
* @tags external/misra/id/rule-10-1
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-10-2/AdditionSubtractionOnEssentiallyCharType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-10-2
1010
* maintainability
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

‎c/misra/src/rules/RULE-10-3/AssignmentOfIncompatibleEssentialType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-10-3
1010
* maintainability
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

‎c/misra/src/rules/RULE-10-4/OperandsWithMismatchedEssentialTypeCategory.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-10-4
1010
* maintainability
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

‎c/misra/src/rules/RULE-10-5/InappropriateEssentialTypeCast.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-10-5
1010
* maintainability
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/advisory
1314
*/
1415

‎c/misra/src/rules/RULE-10-6/AssignmentToWiderEssentialType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-10-6
1010
* maintainability
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

‎c/misra/src/rules/RULE-10-7/ImplicitConversionOfCompositeExpression.ql

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
* @tags external/misra/id/rule-10-7
1111
* maintainability
1212
* correctness
13+
* external/misra/c/2012/third-edition-first-revision
1314
* external/misra/obligation/required
1415
*/
1516

‎c/misra/src/rules/RULE-10-8/InappropriateCastOfCompositeExpression.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-10-8
1010
* maintainability
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

‎c/misra/src/rules/RULE-11-1/ConversionBetweenFunctionPointerAndOtherType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-11-1
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-11-2/ConversionBetweenIncompleteTypePointerAndOtherType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-11-2
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-11-3/CastBetweenObjectPointerAndDifferentObjectType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @problem.severity error
1010
* @tags external/misra/id/rule-11-3
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

‎c/misra/src/rules/RULE-11-4/ConversionBetweenPointerToObjectAndIntegerType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-11-4
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/advisory
1213
*/
1314

‎c/misra/src/rules/RULE-11-5/ConversionFromPointerToVoidIntoPointerToObject.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-11-5
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/advisory
1213
*/
1314

‎c/misra/src/rules/RULE-11-6/CastBetweenPointerToVoidAndArithmeticType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-11-6
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-11-7/CastBetweenPointerToObjectAndNonIntArithmeticType.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-11-7
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-11-8/CastRemovesConstOrVolatileQualification.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-11-8
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-11-9/MacroNullNotUsedAsIntegerNullPointerConstant.ql

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
* @problem.severity error
88
* @tags external/misra/id/rule-11-9
99
* readability
10+
* external/misra/c/2012/third-edition-first-revision
1011
* external/misra/obligation/required
1112
*/
1213

‎c/misra/src/rules/RULE-12-1/ImplicitPrecedenceOfOperatorsInExpression.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @problem.severity warning
1010
* @tags external/misra/id/rule-12-1
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/advisory
1314
*/
1415

‎c/misra/src/rules/RULE-12-1/UnenclosedSizeofOperand.ql

+1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @problem.severity warning
1010
* @tags external/misra/id/rule-12-1
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/advisory
1314
*/
1415

‎c/misra/src/rules/RULE-12-2/RightHandOperandOfAShiftRange.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-12-2
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-12-3/CommaOperatorShouldNotBeUsed.ql

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
* @problem.severity recommendation
88
* @tags external/misra/id/rule-12-3
99
* readability
10+
* external/misra/c/2012/third-edition-first-revision
1011
* external/misra/obligation/advisory
1112
*/
1213

‎c/misra/src/rules/RULE-12-4/ConstantUnsignedIntegerExpressionsWrapAround.ql

+1
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@
1414
* @tags external/misra/id/rule-12-4
1515
* correctness
1616
* security
17+
* external/misra/c/2012/third-edition-first-revision
1718
* external/misra/obligation/advisory
1819
*/
1920

‎c/misra/src/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.ql

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
* @precision very-high
88
* @problem.severity error
99
* @tags external/misra/id/rule-12-5
10+
* external/misra/c/2012/third-edition-first-revision
1011
* external/misra/obligation/mandatory
1112
*/
1213

‎c/misra/src/rules/RULE-13-1/InitializerListsContainPersistentSideEffects.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-13-1
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-13-2/UnsequencedSideEffects.ql

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-13-2
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

‎c/misra/src/rules/RULE-13-3/SideEffectAndCrementInFullExpression.ql

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
* @tags external/misra/id/rule-13-3
1111
* readability
1212
* correctness
13+
* external/misra/c/2012/third-edition-first-revision
1314
* external/misra/obligation/advisory
1415
*/
1516

0 commit comments

Comments
 (0)