C#: Convert System.Console.Read* local flow source to CSV

csharp/ql/src/semmle/code/csharp/dataflow/ExternalFlow.qll

@@ -84,7 +84,7 @@ private import internal.FlowSummaryImplSpecific
  * ensuring that they are visible to the taint tracking / data flow library.
  */
 private module Frameworks {
-  // TODO
+  private import semmle.code.csharp.security.dataflow.flowsources.Local
 }
 
 /**

csharp/ql/src/semmle/code/csharp/security/dataflow/flowsources/Local.qll

@@ -4,6 +4,7 @@
 
 import csharp
 private import semmle.code.csharp.frameworks.system.windows.Forms
+private import semmle.code.csharp.dataflow.ExternalFlow
 
 /** A data flow source of local data. */
 abstract class LocalFlowSource extends DataFlow::Node {
@@ -11,6 +12,12 @@ abstract class LocalFlowSource extends DataFlow::Node {
   abstract string getSourceType();
 }
 
+private class ExternalLocalFlowSource extends LocalFlowSource {
+  ExternalLocalFlowSource() { sourceNode(this, "local") }
+
+  override string getSourceType() { result = "external" }
+}
+
 /** A data flow source of local user input. */
 abstract class LocalUserInputSource extends LocalFlowSource { }
 
@@ -22,13 +29,13 @@ class TextFieldSource extends LocalUserInputSource {
 }
 
 /** A call to any `System.Console.Read*` method. */
-class SystemConsoleReadSource extends LocalUserInputSource {
-  SystemConsoleReadSource() {
-    this.asExpr() =
-      any(MethodCall call |
-        call.getTarget().hasQualifiedName("System.Console", ["ReadLine", "Read", "ReadKey"])
-      )
+private class SystemConsoleReadSourceModelCsv extends SourceModelCsv {
+  override predicate row(string row) {
+    row =
+      [
+        "System;Console;false;ReadLine;;;ReturnValue;local",
+        "System;Console;false;Read;;;ReturnValue;local",
+        "System;Console;false;ReadKey;;;ReturnValue;local"
+      ]
   }
-
-  override string getSourceType() { result = "System.Console input" }
 }