hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update Zip.qll

Browse Source
This commit is contained in:
Ahmed Farid
2022-03-11 14:15:05 +01:00
committed by GitHub
parent eb71cdf7a2
commit f092cd8d80
1 changed files with 21 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
python/ql/src/experimental/semmle/python/frameworks/Zip.qll
View File

@@ -3,26 +3,30 @@ private import experimental.semmle.python.Concepts
private import semmle.python.dataflow.new.DataFlow
private import semmle.python.ApiGraphs
private module Zip {
private class CopyFiles extends DataFlow::CallCfgNode, CopyFile::Range {
CopyFiles() {
this = API::moduleImport("shutil").getMember(["copyfile", "copy", "copy2", "copytree", "move"]).getACall()
}
override DataFlow::Node getAPathArgument() {
result in [this.getArg(0), this.getArgByName("src"), this.getArg(1), this.getArgByName("dst")]
}
}
private class CopyFileobj extends DataFlow::CallCfgNode, CopyFile::Range {
CopyFileobj() {
this = API::moduleImport("shutil").getMember("copyfileobj").getACall()
}
override DataFlow::Node getAPathArgument() {
result in [this.getArg(0), this.getArgByName("fsrc"), this.getArg(1), this.getArgByName("fdst")]
}
CopyFiles() {
this =
API::moduleImport("shutil")
.getMember(["copyfile", "copy", "copy2", "copytree", "move"])
.getACall()
}
override DataFlow::Node getAPathArgument() {
result in [this.getArg(0), this.getArgByName("src"), this.getArg(1), this.getArgByName("dst")]
}
}
private class CopyFileobj extends DataFlow::CallCfgNode, CopyFile::Range {
CopyFileobj() { this = API::moduleImport("shutil").getMember("copyfileobj").getACall() }
override DataFlow::Node getAPathArgument() {
result in [
this.getArg(0), this.getArgByName("fsrc"), this.getArg(1), this.getArgByName("fdst")
]
}
}
}