C#: Convert System.Xml.XmlDocument flow to CSV format.

Author: michaelnebel

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

@@ -1790,19 +1790,6 @@ class SystemXmlXmlReaderFlow extends LibraryTypeDataFlow, SystemXmlXmlReaderClas
   }
 }
 
-/** Data flow for `System.Xml.XmlDocument`. */
-class SystemXmlXmlDocumentFlow extends LibraryTypeDataFlow, SystemXmlXmlDocumentClass {
-  override predicate callableFlow(
-    CallableFlowSource source, CallableFlowSink sink, SourceDeclarationCallable c,
-    boolean preservesValue
-  ) {
-    c = this.getLoadMethod() and
-    source = TCallableFlowSourceArg(0) and
-    sink = TCallableFlowSinkQualifier() and
-    preservesValue = false
-  }
-}
-
 /**
  * Custom flow through `StringValues` library class.
  */

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

@@ -40,6 +40,19 @@ class SystemXmlXmlDocumentClass extends Class {
   }
 }
 
+/** Data flow for `System.Xml.XmlDocument`. */
+private class SystemXmlXmlDocumentFlowModelCsv extends SummaryModelCsv {
+  override predicate row(string row) {
+    row =
+      [
+        "System.Xml;XmlDocument;false;Load;(System.IO.Stream);;Argument[0];Argument[-1];taint",
+        "System.Xml;XmlDocument;false;Load;(System.IO.TextReader);;Argument[0];Argument[-1];taint",
+        "System.Xml;XmlDocument;false;Load;(System.String);;Argument[0];Argument[-1];taint",
+        "System.Xml;XmlDocument;false;Load;(System.Xml.XmlReader);;Argument[0];Argument[-1];taint"
+      ]
+  }
+}
+
 /** The `System.Xml.XmlReader` class. */
 class SystemXmlXmlReaderClass extends Class {
   SystemXmlXmlReaderClass() {