Skip to content

Commit 60ddfaa

Browse files
committed
Update rule description file of Memory1
1 parent b560fef commit 60ddfaa

1 file changed

Lines changed: 10 additions & 3 deletions

File tree

rule_packages/cpp/Memory1.json

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,13 @@
1414
"severity": "error",
1515
"short_name": "PointerArithmeticFormsAnInvalidPointer",
1616
"tags": [
17-
"scope/system"
18-
]
17+
"scope/system",
18+
"correctness",
19+
"security"
20+
],
21+
"implementation_scope": {
22+
"description": "This implementation only concerns itself with array allocations whose length information is statically visible. Also, it produces false positives in certain cases where an address-of operator is applied to a non-array object and is assigned to an array element. Address-of-operator on references are not supported."
23+
}
1924
},
2025
{
2126
"description": "Pointer and index arguments passed to functions in <cstring> should result in valid reads and/or writes.",
@@ -25,7 +30,9 @@
2530
"severity": "error",
2631
"short_name": "PointerArgumentToCstringFunctionIsInvalid",
2732
"tags": [
28-
"scope/system"
33+
"scope/system",
34+
"correctness",
35+
"security"
2936
]
3037
}
3138
],

0 commit comments

Comments
 (0)