mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
Make java/path-injection recognise create-file MaD sinks
This commit is contained in:
@@ -34,7 +34,12 @@ class TaintedPathConfig extends TaintTracking::Configuration {
|
|||||||
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
|
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
|
||||||
|
|
||||||
override predicate isSink(DataFlow::Node sink) {
|
override predicate isSink(DataFlow::Node sink) {
|
||||||
exists(Expr e | e = sink.asExpr() | e = any(PathCreation p).getAnInput() and not guarded(e))
|
(
|
||||||
|
sink.asExpr() = any(PathCreation p).getAnInput()
|
||||||
|
or
|
||||||
|
sinkNode(sink, "create-file")
|
||||||
|
) and
|
||||||
|
not guarded(sink.asExpr())
|
||||||
}
|
}
|
||||||
|
|
||||||
override predicate isSanitizer(DataFlow::Node node) {
|
override predicate isSanitizer(DataFlow::Node node) {
|
||||||
|
|||||||
Reference in New Issue
Block a user