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 0be625f commit c95f17fCopy full SHA for c95f17f
java/ql/src/Security/CWE/CWE-022/TaintedPath.ql
@@ -34,7 +34,12 @@ class TaintedPathConfig extends TaintTracking::Configuration {
34
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
35
36
override predicate isSink(DataFlow::Node sink) {
37
- exists(Expr e | e = sink.asExpr() | e = any(PathCreation p).getAnInput() and not guarded(e))
+ (
38
+ sink.asExpr() = any(PathCreation p).getAnInput()
39
+ or
40
+ sinkNode(sink, "create-file")
41
+ ) and
42
+ not guarded(sink.asExpr())
43
}
44
45
override predicate isSanitizer(DataFlow::Node node) {
0 commit comments