Update Concepts.qll

ahmed-farid-dev · web-flow · commit 0fac4f195df0 · 2022-03-28T00:47:27.000Z
diff --git a/python/ql/src/experimental/semmle/python/Concepts.qll b/python/ql/src/experimental/semmle/python/Concepts.qll
@@ -27,7 +27,11 @@ module CopyFile {
     /**
      * Gets the argument containing the path.
      */
-    abstract DataFlow::Node getAPathArgument();    
+    abstract DataFlow::Node getAPathArgument();  
+    /**
+     * Gets fsrc argument.
+     */
+    abstract DataFlow::Node getfsrcArgument();
   }
 }
 
@@ -43,6 +47,8 @@ class CopyFile extends DataFlow::Node {
   CopyFile() { this = range }
 
   DataFlow::Node getAPathArgument() { result = range.getAPathArgument() }
+  
+  DataFlow::Node getfsrcArgument() { result = range.getfsrcArgument() }
 }
 
 /** Provides classes for modeling log related APIs. */

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,11 @@ module CopyFile {`
`27`	`27`	`/**`
`28`	`28`	`* Gets the argument containing the path.`
`29`	`29`	`*/`
`30`		`- abstract DataFlow::Node getAPathArgument();`
	`30`	`+ abstract DataFlow::Node getAPathArgument();`
	`31`	`+ /**`
	`32`	`+ * Gets fsrc argument.`
	`33`	`+ */`
	`34`	`+ abstract DataFlow::Node getfsrcArgument();`
`31`	`35`	`}`
`32`	`36`	`}`
`33`	`37`
`@@ -43,6 +47,8 @@ class CopyFile extends DataFlow::Node {`
`43`	`47`	`CopyFile() { this = range }`
`44`	`48`
`45`	`49`	`DataFlow::Node getAPathArgument() { result = range.getAPathArgument() }`
	`50`	`+`
	`51`	`+ DataFlow::Node getfsrcArgument() { result = range.getfsrcArgument() }`
`46`	`52`	`}`
`47`	`53`
`48`	`54`	`/** Provides classes for modeling log related APIs. */`