Skip to content

Commit 413f194

Browse files
Update Zip.qll
1 parent eab6568 commit 413f194

1 file changed

Lines changed: 8 additions & 5 deletions

File tree

  • python/ql/src/experimental/semmle/python/frameworks

python/ql/src/experimental/semmle/python/frameworks/Zip.qll

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,17 +13,20 @@ private module Zip {
1313
}
1414

1515
override DataFlow::Node getAPathArgument() {
16-
result in [this.getArg(0), this.getArgByName("src"), this.getArg(1), this.getArgByName("dst")]
16+
result in [this.getArg(0), this.getArgByName("src")]
1717
}
18+
19+
override DataFlow::Node getfsrcArgument() { none() }
1820
}
1921

2022
private class CopyFileobj extends DataFlow::CallCfgNode, CopyFile::Range {
2123
CopyFileobj() { this = API::moduleImport("shutil").getMember("copyfileobj").getACall() }
2224

23-
override DataFlow::Node getAPathArgument() {
24-
result in [
25-
this.getArg(0), this.getArgByName("fsrc"), this.getArg(1), this.getArgByName("fdst")
26-
]
25+
override DataFlow::Node getfsrcArgument() {
26+
result in [this.getArg(0), this.getArgByName("fsrc")]
2727
}
28+
29+
override DataFlow::Node getAPathArgument() { none() }
2830
}
2931
}
32+

0 commit comments

Comments
 (0)