Skip to content

Commit 0e9758e

Browse files
committed
Add tags to represent which MISRA C version the rule was introduced in
1 parent 7f62053 commit 0e9758e

File tree

229 files changed

+845
-445
lines changed

Some content is hidden

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

229 files changed

+845
-445
lines changed

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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

Lines 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

c/misra/src/rules/RULE-13-4/ResultOfAnAssignmentOperatorShouldNotBeUsed.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-13-4
1010
* correctness
1111
* readability
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/advisory
1314
*/
1415

c/misra/src/rules/RULE-13-5/PossibleSuppressedSideEffectInLogicOperatorOperand.ql

Lines 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-13-5
1111
* correctness
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

c/misra/src/rules/RULE-13-6/SizeofOperandWithSideEffect.ql

Lines 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-6
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/mandatory
1213
*/
1314

c/misra/src/rules/RULE-14-1/LoopOverEssentiallyFloatType.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-14-1
99
* maintainability
1010
* correctness
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

c/misra/src/rules/RULE-14-2/ForLoopNotWellFormed.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-14-2
99
* readability
1010
* maintainability
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/required
1213
*/
1314

c/misra/src/rules/RULE-14-3/ControllingExprInvariant.ql

Lines 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/RULE-14-4/NonBooleanIfCondition.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-14-4
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-14-4/NonBooleanIterationCondition.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-14-4
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-15-1/GotoStatementUsed.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-15-1
99
* correctness
1010
* security
11+
* external/misra/c/2012/third-edition-first-revision
1112
* external/misra/obligation/advisory
1213
*/
1314

c/misra/src/rules/RULE-15-2/GotoLabelLocationCondition.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
* @tags external/misra/id/rule-15-2
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-15-3/GotoLabelBlockCondition.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
* @tags external/misra/id/rule-15-3
1010
* maintainability
1111
* readability
12+
* external/misra/c/2012/third-edition-first-revision
1213
* external/misra/obligation/required
1314
*/
1415

0 commit comments

Comments
 (0)