Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Commit 6536606

Browse filesBrowse 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
Copy full SHA for 6536606

File tree

Expand file treeCollapse file tree

251 files changed

+1009
-482
lines changed
Filter options

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Dismiss banner
Expand file treeCollapse file tree

251 files changed

+1009
-482
lines changed

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

Copy file name to clipboard
+13Lines changed: 13 additions & 0 deletions
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

Copy file name to clipboard
+12Lines changed: 12 additions & 0 deletions
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

Copy file name to clipboard
+10Lines changed: 10 additions & 0 deletions
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

Copy file name to clipboard
+12Lines changed: 12 additions & 0 deletions
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

Copy file name to clipboard
+12Lines changed: 12 additions & 0 deletions
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

Copy file name to clipboard
+2-10Lines changed: 2 additions & 10 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/qlpack.yml
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-10/PrecautionIncludeGuardsNotProvided.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-12/StdLibDynamicMemoryAllocationUsed.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-2/UsageOfAssemblyLanguageShouldBeDocumented.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-3/LanguageNotEncapsulatedAndIsolated.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-4/SectionsOfCodeShallNotBeCommentedOut.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-5/IdentifiersInTheSameNameSpaceUnambiguous.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-8/ObjectWithNoPointerDereferenceShouldBeOpaque.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/DIR-4-9/FunctionOverFunctionLikeMacro.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-1-2/LanguageExtensionsShouldNotBeUsed.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-1-3/OccurrenceOfUndefinedBehavior.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-1-4/EmergentLanguageFeaturesUsed.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-1/OperandsOfAnInappropriateEssentialType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-1/PointerTypeOnLogicalOperator.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-2/AdditionSubtractionOnEssentiallyCharType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-3/AssignmentOfIncompatibleEssentialType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-4/OperandsWithMismatchedEssentialTypeCategory.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-5/InappropriateEssentialTypeCast.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-6/AssignmentToWiderEssentialType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-7/ImplicitConversionOfCompositeExpression.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-10-8/InappropriateCastOfCompositeExpression.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-1/ConversionBetweenFunctionPointerAndOtherType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-2/ConversionBetweenIncompleteTypePointerAndOtherType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-3/CastBetweenObjectPointerAndDifferentObjectType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-4/ConversionBetweenPointerToObjectAndIntegerType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-5/ConversionFromPointerToVoidIntoPointerToObject.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-6/CastBetweenPointerToVoidAndArithmeticType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-7/CastBetweenPointerToObjectAndNonIntArithmeticType.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-8/CastRemovesConstOrVolatileQualification.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-11-9/MacroNullNotUsedAsIntegerNullPointerConstant.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-12-1/ImplicitPrecedenceOfOperatorsInExpression.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-12-1/UnenclosedSizeofOperand.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-12-2/RightHandOperandOfAShiftRange.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-12-3/CommaOperatorShouldNotBeUsed.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-12-4/ConstantUnsignedIntegerExpressionsWrapAround.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-13-1/InitializerListsContainPersistentSideEffects.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-13-2/UnsequencedSideEffects.ql
+1Lines changed: 1 addition & 0 deletions
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

Copy file name to clipboardExpand all lines: c/misra/src/rules/RULE-13-3/SideEffectAndCrementInFullExpression.ql
+1Lines changed: 1 addition & 0 deletions
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 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.