From 699614773ed2decc5680e7322dac2044ac8b0af6 Mon Sep 17 00:00:00 2001 From: jeongsoolee09 Date: Tue, 12 May 2026 15:59:40 -0400 Subject: [PATCH 1/2] Add additional tags to the query objects --- rule_packages/cpp/Conversions.json | 31 ++++++++++++++++++++++-------- 1 file changed, 23 insertions(+), 8 deletions(-) diff --git a/rule_packages/cpp/Conversions.json b/rule_packages/cpp/Conversions.json index 441b5aa85f..d04d4087b9 100644 --- a/rule_packages/cpp/Conversions.json +++ b/rule_packages/cpp/Conversions.json @@ -14,7 +14,10 @@ "severity": "error", "short_name": "NoConversionFromBool", "tags": [ - "scope/single-translation-unit" + "scope/single-translation-unit", + "maintainability", + "readability", + "correctness" ] } ], @@ -34,7 +37,10 @@ "severity": "error", "short_name": "NoImplicitBoolConversion", "tags": [ - "scope/single-translation-unit" + "scope/single-translation-unit", + "maintainability", + "readability", + "correctness" ] } ], @@ -54,7 +60,9 @@ "severity": "error", "short_name": "NoCharacterNumericalValue", "tags": [ - "scope/single-translation-unit" + "scope/single-translation-unit", + "maintainability", + "readability" ] } ], @@ -74,7 +82,8 @@ "severity": "error", "short_name": "InappropriateBitwiseOrShiftOperands", "tags": [ - "scope/single-translation-unit" + "scope/single-translation-unit", + "correctness" ] } ], @@ -94,7 +103,9 @@ "severity": "error", "short_name": "NoSignednessChangeFromPromotion", "tags": [ - "scope/single-translation-unit" + "scope/single-translation-unit", + "correctness", + "maintainability" ], "implementation_scope": { "description": "Arithmetic conversions in preprocessor directives are not supported." @@ -117,7 +128,9 @@ "severity": "error", "short_name": "NumericAssignmentTypeMismatch", "tags": [ - "scope/single-translation-unit" + "scope/single-translation-unit", + "correctness", + "maintainability" ] } ], @@ -137,11 +150,13 @@ "severity": "error", "short_name": "FunctionPointerConversionContext", "tags": [ - "scope/single-translation-unit" + "scope/single-translation-unit", + "correctness", + "readability" ] } ], "title": "A conversion from function type to pointer-to-function type shall only occur in appropriate contexts" } } -} \ No newline at end of file +} From 0303a79a6d61045127301ed50b07558e1244fab0 Mon Sep 17 00:00:00 2001 From: jeongsoolee09 Date: Tue, 12 May 2026 16:01:06 -0400 Subject: [PATCH 2/2] Update query metadata --- cpp/misra/src/rules/RULE-7-0-1/NoConversionFromBool.ql | 3 +++ cpp/misra/src/rules/RULE-7-0-2/NoImplicitBoolConversion.ql | 3 +++ cpp/misra/src/rules/RULE-7-0-3/NoCharacterNumericalValue.ql | 2 ++ .../rules/RULE-7-0-4/InappropriateBitwiseOrShiftOperands.ql | 1 + .../src/rules/RULE-7-0-5/NoSignednessChangeFromPromotion.ql | 2 ++ .../src/rules/RULE-7-0-6/NumericAssignmentTypeMismatch.ql | 2 ++ .../src/rules/RULE-7-11-3/FunctionPointerConversionContext.ql | 2 ++ 7 files changed, 15 insertions(+) diff --git a/cpp/misra/src/rules/RULE-7-0-1/NoConversionFromBool.ql b/cpp/misra/src/rules/RULE-7-0-1/NoConversionFromBool.ql index 6baa1ed648..baf00a796b 100644 --- a/cpp/misra/src/rules/RULE-7-0-1/NoConversionFromBool.ql +++ b/cpp/misra/src/rules/RULE-7-0-1/NoConversionFromBool.ql @@ -9,6 +9,9 @@ * @problem.severity error * @tags external/misra/id/rule-7-0-1 * scope/single-translation-unit + * maintainability + * readability + * correctness * external/misra/enforcement/decidable * external/misra/obligation/required */ diff --git a/cpp/misra/src/rules/RULE-7-0-2/NoImplicitBoolConversion.ql b/cpp/misra/src/rules/RULE-7-0-2/NoImplicitBoolConversion.ql index ae70b20259..afd7b25efd 100644 --- a/cpp/misra/src/rules/RULE-7-0-2/NoImplicitBoolConversion.ql +++ b/cpp/misra/src/rules/RULE-7-0-2/NoImplicitBoolConversion.ql @@ -9,6 +9,9 @@ * @problem.severity error * @tags external/misra/id/rule-7-0-2 * scope/single-translation-unit + * maintainability + * readability + * correctness * external/misra/enforcement/decidable * external/misra/obligation/required */ diff --git a/cpp/misra/src/rules/RULE-7-0-3/NoCharacterNumericalValue.ql b/cpp/misra/src/rules/RULE-7-0-3/NoCharacterNumericalValue.ql index 7ecbd8959f..397878b7f5 100644 --- a/cpp/misra/src/rules/RULE-7-0-3/NoCharacterNumericalValue.ql +++ b/cpp/misra/src/rules/RULE-7-0-3/NoCharacterNumericalValue.ql @@ -9,6 +9,8 @@ * @problem.severity error * @tags external/misra/id/rule-7-0-3 * scope/single-translation-unit + * maintainability + * readability * external/misra/enforcement/decidable * external/misra/obligation/required */ diff --git a/cpp/misra/src/rules/RULE-7-0-4/InappropriateBitwiseOrShiftOperands.ql b/cpp/misra/src/rules/RULE-7-0-4/InappropriateBitwiseOrShiftOperands.ql index f0992d2f0f..9a3580bf57 100644 --- a/cpp/misra/src/rules/RULE-7-0-4/InappropriateBitwiseOrShiftOperands.ql +++ b/cpp/misra/src/rules/RULE-7-0-4/InappropriateBitwiseOrShiftOperands.ql @@ -8,6 +8,7 @@ * @problem.severity error * @tags external/misra/id/rule-7-0-4 * scope/single-translation-unit + * correctness * external/misra/enforcement/decidable * external/misra/obligation/required */ diff --git a/cpp/misra/src/rules/RULE-7-0-5/NoSignednessChangeFromPromotion.ql b/cpp/misra/src/rules/RULE-7-0-5/NoSignednessChangeFromPromotion.ql index 05261d6f6c..6bf250b735 100644 --- a/cpp/misra/src/rules/RULE-7-0-5/NoSignednessChangeFromPromotion.ql +++ b/cpp/misra/src/rules/RULE-7-0-5/NoSignednessChangeFromPromotion.ql @@ -9,6 +9,8 @@ * @problem.severity error * @tags external/misra/id/rule-7-0-5 * scope/single-translation-unit + * correctness + * maintainability * external/misra/enforcement/decidable * external/misra/obligation/required */ diff --git a/cpp/misra/src/rules/RULE-7-0-6/NumericAssignmentTypeMismatch.ql b/cpp/misra/src/rules/RULE-7-0-6/NumericAssignmentTypeMismatch.ql index 972f151f9d..a783240dd6 100644 --- a/cpp/misra/src/rules/RULE-7-0-6/NumericAssignmentTypeMismatch.ql +++ b/cpp/misra/src/rules/RULE-7-0-6/NumericAssignmentTypeMismatch.ql @@ -9,6 +9,8 @@ * @problem.severity error * @tags external/misra/id/rule-7-0-6 * scope/single-translation-unit + * correctness + * maintainability * external/misra/enforcement/decidable * external/misra/obligation/required */ diff --git a/cpp/misra/src/rules/RULE-7-11-3/FunctionPointerConversionContext.ql b/cpp/misra/src/rules/RULE-7-11-3/FunctionPointerConversionContext.ql index f58629f536..92fbd8eae6 100644 --- a/cpp/misra/src/rules/RULE-7-11-3/FunctionPointerConversionContext.ql +++ b/cpp/misra/src/rules/RULE-7-11-3/FunctionPointerConversionContext.ql @@ -9,6 +9,8 @@ * @problem.severity error * @tags external/misra/id/rule-7-11-3 * scope/single-translation-unit + * correctness + * readability * external/misra/enforcement/decidable * external/misra/obligation/required */