We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a9a9fe1 commit bb0e6a3Copy full SHA for bb0e6a3
c/cert/src/rules/DCL30-C/AppropriateStorageDurationsFunctionReturn.ql
@@ -13,19 +13,16 @@
13
14
import cpp
15
import codingstandards.c.cert
16
-import codingstandards.cpp.FunctionParameter
17
import semmle.code.cpp.dataflow.DataFlow
18
19
class Source extends StackVariable {
20
- Source() { not this instanceof FunctionParameter }
+ Source() { not this instanceof Parameter }
21
}
22
23
-abstract class Sink extends DataFlow::Node { }
24
-
25
-class FunctionSink extends Sink {
26
- FunctionSink() {
+class Sink extends DataFlow::Node {
+ Sink() {
27
//output parameter
28
- exists(FunctionParameter f |
+ exists(Parameter f |
29
f.getAnAccess() = this.(DataFlow::PostUpdateNode).getPreUpdateNode().asExpr() and
30
f.getUnderlyingType() instanceof PointerType
31
)
0 commit comments