C#: Convert System.IO.Path flow to CSV format.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/LibraryTypeDataFlow.qll

@@ -1840,31 +1840,6 @@ class SystemXmlXmlNamedNodeMapFlow extends LibraryTypeDataFlow, SystemXmlXmlName
   }
 }
 
-/** Data flow for `System.IO.Path`. */
-class SystemIOPathFlow extends LibraryTypeDataFlow, SystemIOPathClass {
-  override predicate callableFlow(
-    CallableFlowSource source, AccessPath sourceAp, CallableFlowSink sink, AccessPath sinkAp,
-    SourceDeclarationCallable c, boolean preservesValue
-  ) {
-    c = this.getAMethod("Combine") and
-    source = getFlowSourceArg(c, _, sourceAp) and
-    sink = TCallableFlowSinkReturn() and
-    sinkAp = AccessPath::empty() and
-    preservesValue = false
-    or
-    exists(Parameter p |
-      c = this.getAMethod() and
-      c.getName().matches("Get%") and
-      p = c.getAParameter() and
-      p.hasName("path") and
-      source = getFlowSourceArg(c, p.getPosition(), sourceAp) and
-      sink = TCallableFlowSinkReturn() and
-      sinkAp = AccessPath::empty() and
-      preservesValue = false
-    )
-  }
-}
-
 /**
  * Custom flow through `StringValues` library class.
  */

csharp/ql/lib/semmle/code/csharp/frameworks/system/IO.qll

@@ -42,6 +42,38 @@ class SystemIOPathClass extends SystemIOClass {
   SystemIOPathClass() { this.hasName("Path") }
 }
 
+/** Data flow for `System.IO.Path`. */
+private class SystemIOPathFlowModelCsv extends SummaryModelCsv {
+  override predicate row(string row) {
+    row =
+      [
+        "System.IO;Path;false;Combine;(System.String,System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String);;Argument[1];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String,System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String,System.String);;Argument[1];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String,System.String);;Argument[2];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String,System.String,System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String,System.String,System.String);;Argument[1];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String,System.String,System.String);;Argument[2];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String,System.String,System.String,System.String);;Argument[3];ReturnValue;taint",
+        "System.IO;Path;false;Combine;(System.String[]);;Element of Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetDirectoryName;(System.ReadOnlySpan<System.Char>);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetDirectoryName;(System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetExtension;(System.ReadOnlySpan<System.Char>);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetExtension;(System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetFileName;(System.ReadOnlySpan<System.Char>);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetFileName;(System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetFileNameWithoutExtension;(System.ReadOnlySpan<System.Char>);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetFileNameWithoutExtension;(System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetFullPath;(System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetFullPath;(System.String,System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetPathRoot;(System.ReadOnlySpan<System.Char>);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetPathRoot;(System.String);;Argument[0];ReturnValue;taint",
+        "System.IO;Path;false;GetRelativePath;(System.String,System.String);;Argument[1];ReturnValue;taint"
+      ]
+  }
+}
+
 /** Data flow for `System.IO.TextReader`. */
 private class SystemIOTextReaderFlowModelCsv extends SummaryModelCsv {
   override predicate row(string row) {