From 85bcaa96cebc6e690e6e7ac96cf58579c60530ce Mon Sep 17 00:00:00 2001
From: Ahmed Farid <53880570+ahmed532009@users.noreply.github.com>
Date: Tue, 1 Mar 2022 00:23:06 +0100
Subject: [PATCH] Update Concepts.qll

---
 .../experimental/semmle/python/Concepts.qll   | 62 +++++++++++++++++++
 1 file changed, 62 insertions(+)

diff --git a/python/ql/src/experimental/semmle/python/Concepts.qll b/python/ql/src/experimental/semmle/python/Concepts.qll
index 3b1f6072f0c..4dc5016e72e 100644
--- a/python/ql/src/experimental/semmle/python/Concepts.qll
+++ b/python/ql/src/experimental/semmle/python/Concepts.qll
@@ -14,6 +14,68 @@ private import semmle.python.dataflow.new.RemoteFlowSources
 private import semmle.python.dataflow.new.TaintTracking
 private import experimental.semmle.python.Frameworks
 
+
+/** Provides classes for modeling copying file related APIs. */
+module CopyFile {
+  /**
+   * A data flow node for copying file.
+   *
+   * Extend this class to model new APIs. If you want to refine existing API models,
+   * extend `CopyFile` instead.
+   */
+  abstract class Range extends DataFlow::Node {
+    /**
+     * Gets the argument containing the path.
+     */
+    abstract DataFlow::Node getAPathArgument();    
+  }
+}
+
+/**
+ * A data flow node for copying file.
+ *
+ * Extend this class to refine existing API models. If you want to model new APIs,
+ * extend `CopyFile::Range` instead.
+ */
+class CopyFile extends DataFlow::Node {
+  CopyFile::Range range;
+
+  CopyFile() { this = range }
+
+  DataFlow::Node getAPathArgument() { result = range.getAPathArgument() }
+}
+
+/** Provides classes for modeling zip related APIs. */
+module ZipFile {
+  /**
+   * A data flow node for zipfile.
+   *
+   * Extend this class to model new APIs. If you want to refine existing API models,
+   * extend `ZipFile` instead.
+   */
+  abstract class Range extends DataFlow::Node {
+    /**
+     * Get the parameter value of the zip function.
+     */
+    abstract DataFlow::Node getAnInput();
+    
+  }
+}
+
+/**
+ * A data flow node for zip.
+ *
+ * Extend this class to refine existing API models. If you want to model new APIs,
+ * extend `ZipFile::Range` instead.
+ */
+class ZipFile extends DataFlow::Node {
+  ZipFile::Range range;
+
+  ZipFile() { this = range }
+
+  DataFlow::Node getAnInput() { result = range.getAnInput() }
+}
+
 /** Provides classes for modeling log related APIs. */
 module LogOutput {
   /**