Skip to content

Commit 47eaf7c

Browse files
author
Nikita Kraiouchkine
committed
ARR36-C: Change kind to path-problem
1 parent db92ee6 commit 47eaf7c

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

c/cert/src/rules/ARR36-C/DoNotRelatePointersThatDoNotReferToTheSameArray.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @name ARR36-C: Do not subtract two pointers that do not refer to the same array
44
* @description Comparison using the >, >=, <, and <= operators between pointers referring to
55
* differing arrays results in undefined behavior.
6-
* @kind problem
6+
* @kind path-problem
77
* @precision high
88
* @problem.severity warning
99
* @tags external/cert/id/arr36-c

c/cert/src/rules/ARR36-C/DoNotSubtractPointersThatDoNotReferToTheSameArray.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @name ARR36-C: Do not subtract two pointers that do not refer to the same array
44
* @description Subtraction between pointers referring to differing arrays results in undefined
55
* behavior.
6-
* @kind problem
6+
* @kind path-problem
77
* @precision high
88
* @problem.severity warning
99
* @tags external/cert/id/arr36-c

rule_packages/c/Memory2.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
"queries": [
88
{
99
"description": "Subtraction between pointers referring to differing arrays results in undefined behavior.",
10-
"kind": "problem",
10+
"kind": "path-problem",
1111
"name": "Do not subtract two pointers that do not refer to the same array",
1212
"precision": "high",
1313
"severity": "warning",
@@ -19,7 +19,7 @@
1919
},
2020
{
2121
"description": "Comparison using the >, >=, <, and <= operators between pointers referring to differing arrays results in undefined behavior.",
22-
"kind": "problem",
22+
"kind": "path-problem",
2323
"name": "Do not subtract two pointers that do not refer to the same array",
2424
"precision": "high",
2525
"severity": "warning",

0 commit comments

Comments
 (0)