C#: Convert System.NET.IPHostEntry flow to CSV format.

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

@@ -1330,27 +1330,6 @@ class IDictionaryFlow extends LibraryTypeDataFlow, RefType {
   }
 }
 
-/** Data flow for `System.Net.IPHostEntry`. */
-class SystemNetIPHostEntryFlow extends LibraryTypeDataFlow, SystemNetIPHostEntryClass {
-  override predicate callableFlow(
-    CallableFlowSource source, CallableFlowSink sink, SourceDeclarationCallable c,
-    boolean preservesValue
-  ) {
-    exists(Property p |
-      this.propertyFlow(p) and
-      source = TCallableFlowSourceQualifier() and
-      sink = TCallableFlowSinkReturn() and
-      c = p.getGetter()
-    ) and
-    preservesValue = false
-  }
-
-  private predicate propertyFlow(Property p) {
-    p = this.getHostNameProperty() or
-    p = this.getAliasesProperty()
-  }
-}
-
 /** Data flow for `System.Web.UI.WebControls.TextBox`. */
 class SystemWebUIWebControlsTextBoxFlow extends LibraryTypeDataFlow,
   SystemWebUIWebControlsTextBoxClass {

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

@@ -60,6 +60,17 @@ class SystemNetIPHostEntryClass extends SystemNetClass {
   Property getAliasesProperty() { result = this.getProperty("Aliases") }
 }
 
+/** Data flow for `System.Net.IPHostEntry`. */
+private class SystemNetIPHostEntryClassFlowModelCsv extends SummaryModelCsv {
+  override predicate row(string row) {
+    row =
+      [
+        "System.Net;IPHostEntry;false;get_Aliases;();;Argument[-1];ReturnValue;taint",
+        "System.Net;IPHostEntry;false;get_HostName;();;Argument[-1];ReturnValue;taint"
+      ]
+  }
+}
+
 /** The `System.Net.Cookie` class. */
 class SystemNetCookieClass extends SystemNetClass {
   SystemNetCookieClass() { this.hasName("Cookie") }