Update Zip.qll

ahmed-farid-dev · web-flow · commit f092cd8d8020 · 2022-03-11T14:15:05.000+01:00
diff --git a/python/ql/src/experimental/semmle/python/frameworks/Zip.qll b/python/ql/src/experimental/semmle/python/frameworks/Zip.qll
@@ -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")] 
-      } 
+    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")] 
-      }
-  }
+    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")
+        ]
+    }
+  }
 }
 
+
+
