Skip to content

Commit e9f39a2

Browse files
committed
Adjust precision of existing rule and add a supplementary rule
1 parent 21500b8 commit e9f39a2

File tree

1 file changed

+12
-1
lines changed

1 file changed

+12
-1
lines changed

rule_packages/cpp/Memory1.json

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,23 @@
1010
"description": "Pointers obtained as result of performing arithmetic should point to an initialized object, or an element right next to the last element of an array.",
1111
"kind": "problem",
1212
"name": "Pointer arithmetic shall not form an invalid pointer.",
13-
"precision": "very-high",
13+
"precision": "high",
1414
"severity": "error",
1515
"short_name": "PointerArithmeticFormsAnInvalidPointer",
1616
"tags": [
1717
"scope/system"
1818
]
19+
},
20+
{
21+
"description": "Pointer and index arguments passed to functions in <cstring> should result in valid reads and/or writes.",
22+
"kind": "problem",
23+
"name": "Pointer and index arguments passed to functions in <cstring> shall not be invalid.",
24+
"precision": "high",
25+
"severity": "error",
26+
"short_name": "PointerArgumentToCstringFunctionIsInvalid",
27+
"tags": [
28+
"scope/system"
29+
]
1930
}
2031
],
2132
"title": "Pointers obtained as result of performing arithmetic should point to an initialized object, or an element right next to the last element of an array."

0 commit comments

Comments
 (0)