Skip to content

Commit 7abec8c

Browse files
author
Nikita Kraiouchkine
committed
Update Expressions.json "implementation_scope" and regenerate help files
1 parent 6fe92da commit 7abec8c

File tree

3 files changed

+10
-10
lines changed

3 files changed

+10
-10
lines changed

c/cert/src/rules/EXP37-C/CallPOSIXOpenWithCorrectArgumentCount.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -236,7 +236,7 @@ CWE-628 = Union( EXP37-C, list) where list =
236236
237237
## Implementation notes
238238
239-
None
239+
The analysis of invalid parameter count passed to POSIX open calls only applies when the value of the flags argument is computed locally.
240240
241241
## References
242242

c/cert/src/rules/EXP37-C/DoNotCallFunctionPointerWithIncompatibleType.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -236,7 +236,7 @@ CWE-628 = Union( EXP37-C, list) where list =
236236
237237
## Implementation notes
238238
239-
None
239+
This query raises a result for a function assigned to a function pointer of an incompatible type even if the function pointer is never eventually called.
240240
241241
## References
242242

rule_packages/c/Expressions.json

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -7,17 +7,17 @@
77
"queries": [
88
{
99
"description": "Calling a function pointer with a type incompatible with the function it points to is undefined.",
10-
"implementation_scope": {
11-
"description": "This query raises a result for a function assigned to a function pointer of an incompatible type even if the function pointer is never eventually called."
12-
},
1310
"kind": "path-problem",
1411
"name": "Do not call a function pointer which points to a function of an incompatible type",
1512
"precision": "high",
1613
"severity": "error",
1714
"short_name": "DoNotCallFunctionPointerWithIncompatibleType",
1815
"tags": [
1916
"correctness"
20-
]
17+
],
18+
"implementation_scope": {
19+
"description": "This query raises a result for a function assigned to a function pointer of an incompatible type even if the function pointer is never eventually called."
20+
}
2121
},
2222
{
2323
"description": "The arguments passed to a function must be compatible with the function's parameters.",
@@ -32,9 +32,6 @@
3232
},
3333
{
3434
"description": "A third argument should be passed to the POSIX function open() when and only when creating a new file.",
35-
"implementation_scope": {
36-
"description": "The analysis of invalid parameter count passed to POSIX open calls only applies when the value of the flags argument is computed locally."
37-
},
3835
"kind": "problem",
3936
"name": "Pass the correct number of arguments to the POSIX open function.",
4037
"precision": "high",
@@ -43,7 +40,10 @@
4340
"tags": [
4441
"correctness",
4542
"security"
46-
]
43+
],
44+
"implementation_scope": {
45+
"description": "The analysis of invalid parameter count passed to POSIX open calls only applies when the value of the flags argument is computed locally."
46+
}
4747
}
4848
],
4949
"title": "Call functions with the correct number and type of arguments"

0 commit comments

Comments
 (0)