Skip to content

Commit 634cb3b

Browse files
author
Nikita Kraiouchkine
committed
Move "implementation_scope" into "queries" objects
1 parent 2a164fc commit 634cb3b

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

rule_packages/c/Expressions.json

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@
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+
},
1013
"kind": "path-problem",
1114
"name": "Do not call a function pointer which points to a function of an incompatible type",
1215
"precision": "high",
@@ -29,6 +32,9 @@
2932
},
3033
{
3134
"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+
},
3238
"kind": "problem",
3339
"name": "Pass the correct number of arguments to the POSIX open function.",
3440
"precision": "high",
@@ -40,10 +46,7 @@
4046
]
4147
}
4248
],
43-
"title": "Call functions with the correct number and type of arguments",
44-
"implementation_scope": {
45-
"description": "The rule raises a result for a function assigned to a function pointer of an incompatible type even if the function pointer is never eventually called. The analysis of invalid parameter count passed to POSIX open calls only applies when the value of the flags argument is computed locally."
46-
}
49+
"title": "Call functions with the correct number and type of arguments"
4750
},
4851
"EXP46-C": {
4952
"properties": {
@@ -63,10 +66,7 @@
6366
]
6467
}
6568
],
66-
"title": "Do not use a bitwise operator with a Boolean-like operand",
67-
"implementation_scope": {
68-
"description": "None."
69-
}
69+
"title": "Do not use a bitwise operator with a Boolean-like operand"
7070
}
7171
}
7272
}

0 commit comments

Comments
 (0)