Update ZipSlip.qll

This commit is contained in:
Ahmed Farid
2022-03-06 23:56:02 +01:00
committed by GitHub
parent 91b5f2ad34
commit 8649375be3

View File

@@ -6,7 +6,11 @@ import semmle.python.dataflow.new.TaintTracking
class ZipSlipConfig extends TaintTracking::Configuration {
ZipSlipConfig() { this = "ZipSlipConfig" }
override predicate isSource(DataFlow::Node source) { source = any(CopyFile copyfile).getAPathArgument() }
override predicate isSink(DataFlow::Node sink) { sink = any(ZipFile zipfile).getAnInput() }
override predicate isSource(DataFlow::Node source) {
source = API::moduleImport("zipfile").getMember("ZipFile").getACall()
}
override predicate isSink(DataFlow::Node sink) {
sink = any(CopyFile copyfile).getAPathArgument()
}
}