Skip to content

Commit 2e1637e

Browse files
committed
Add correctness and maintainability to the @tags property
- Correctness: may result in undefined behavior - Maintainability: makes object lifetime tracking tricky
1 parent 325c330 commit 2e1637e

File tree

4 files changed

+10
-2
lines changed

4 files changed

+10
-2
lines changed

cpp/misra/src/rules/RULE-21-6-2/DynamicMemoryManagedManually.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-21-6-2
1010
* scope/single-translation-unit
11+
* correctness
12+
* maintainability
1113
* external/misra/enforcement/decidable
1214
* external/misra/obligation/required
1315
*/

cpp/misra/src/rules/RULE-21-6-3/AdvancedMemoryManagementUsed.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88
* @problem.severity error
99
* @tags external/misra/id/rule-21-6-3
1010
* scope/single-translation-unit
11+
* correctness
12+
* maintainability
1113
* external/misra/enforcement/decidable
1214
* external/misra/obligation/required
1315
*/

rule_packages/cpp/Memory5.json

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,9 @@
1414
"severity": "error",
1515
"short_name": "DynamicMemoryManagedManually",
1616
"tags": [
17-
"scope/single-translation-unit"
17+
"scope/single-translation-unit",
18+
"correctness",
19+
"maintainability"
1820
]
1921
}
2022
],

rule_packages/cpp/Memory6.json

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,9 @@
1414
"severity": "error",
1515
"short_name": "AdvancedMemoryManagementUsed",
1616
"tags": [
17-
"scope/single-translation-unit"
17+
"scope/single-translation-unit",
18+
"correctness",
19+
"maintainability"
1820
]
1921
}
2022
],

0 commit comments

Comments
 (0)