C#: Instantiate the (now shared) global control-flow library.

Author: MathiasVP

csharp/ql/lib/qlpack.yml

@@ -15,6 +15,7 @@ dependencies:
   codeql/tutorial: ${workspace}
   codeql/util: ${workspace}
   codeql/xml: ${workspace}
+  codeql/global-controlflow: ${workspace}
 dataExtensions:
   - ext/*.model.yml
   - ext/generated/*.model.yml

csharp/ql/lib/semmle/code/csharp/interproccontrolflow/ControlFlow.qll

@@ -0,0 +1,11 @@
+import csharp
+
+/**
+ * Provides classes for performing global (inter-procedural) control flow analyses.
+ */
+module ControlFlow {
+  private import internal.ControlFlowSpecific
+  private import codeql.globalcontrolflow.ControlFlow
+  import ControlFlowMake<Location, CSharpControlFlow>
+  import Public
+}

csharp/ql/lib/semmle/code/csharp/interproccontrolflow/internal/ControlFlowPrivate.qll

@@ -0,0 +1,32 @@
+private import csharp as CS
+private import ControlFlowPublic
+
+predicate edge(Node n1, Node n2) { n1.getASuccessor() = n2 }
+
+predicate callTarget(CallNode call, Callable target) { call.getARuntimeTarget() = target }
+
+predicate flowEntry(Callable c, Node entry) {
+  entry.(CS::ControlFlow::Nodes::EntryNode).getCallable() = c
+}
+
+predicate flowExit(Callable c, Node exitNode) {
+  exitNode.(CS::ControlFlow::Nodes::ExitNode).getCallable() = c
+}
+
+Callable getEnclosingCallable(Node n) { n.getEnclosingCallable() = result }
+
+predicate hiddenNode(Node n) { none() }
+
+private newtype TSplit = TNone() { none() }
+
+class Split extends TSplit {
+  abstract string toString();
+
+  abstract CS::Location getLocation();
+
+  abstract predicate entry(Node n1, Node n2);
+
+  abstract predicate exit(Node n1, Node n2);
+
+  abstract predicate blocked(Node n1, Node n2);
+}

csharp/ql/lib/semmle/code/csharp/interproccontrolflow/internal/ControlFlowPublic.qll

@@ -0,0 +1,13 @@
+private import csharp as CS
+
+class Node extends CS::ControlFlow::Node { }
+
+class CallNode extends Node {
+  CS::Call call;
+
+  CallNode() { call = super.getAstNode() }
+
+  Callable getARuntimeTarget() { result = call.getARuntimeTarget() }
+}
+
+class Callable = CS::Callable;

csharp/ql/lib/semmle/code/csharp/interproccontrolflow/internal/ControlFlowSpecific.qll

@@ -0,0 +1,19 @@
+/**
+ * Provides C#-specific definitions for use in the control-flow library.
+ */
+
+private import csharp
+private import codeql.globalcontrolflow.ControlFlow
+
+module Private {
+  import ControlFlowPrivate
+}
+
+module Public {
+  import ControlFlowPublic
+}
+
+module CSharpControlFlow implements InputSig<Location> {
+  import Private
+  import Public
+}