From c22b032bbea0018bc1b5a02d2109b30bcd808320 Mon Sep 17 00:00:00 2001 From: Ahmed Farid <53880570+ahmed532009@users.noreply.github.com> Date: Tue, 1 Mar 2022 00:11:33 +0100 Subject: [PATCH] Update Zip.qll --- python/ql/src/experimental/semmle/python/frameworks/Zip.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/python/ql/src/experimental/semmle/python/frameworks/Zip.qll b/python/ql/src/experimental/semmle/python/frameworks/Zip.qll index 15a751e232d..bb22f03a938 100644 --- a/python/ql/src/experimental/semmle/python/frameworks/Zip.qll +++ b/python/ql/src/experimental/semmle/python/frameworks/Zip.qll @@ -7,12 +7,12 @@ private import semmle.python.ApiGraphs private module Zip { private API::Node shutil() { result = API::moduleImport("shutil") } - private class CopyFiles extends DataFlow::CallCfgNode, OpenFile::Range { + private class CopyFiles extends DataFlow::CallCfgNode, CopyFile::Range { CopyFiles() { this = 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, OpenFile::Range { + private class CopyFileobj extends DataFlow::CallCfgNode, CopyFile::Range { CopyFileobj() { this = shutil().getMember("copyfileobj").getACall() } override DataFlow::Node getAPathArgument() { result in [this.getArg(0), this.getArgByName("fsrc"), this.getArg(1), this.getArgByName("fdst")] } }