C#: Add static call graph tests

Author: hvitved

csharp/ql/test/library-tests/call-graph/CallGraph.cs

@@ -0,0 +1,166 @@
+// Out of scope:
+// - overloading
+// - accessibility
+// - other callables than methods
+
+namespace N1
+{
+    public class C1
+    {
+        public void M1() { }
+
+        public void M2(C1 c1)
+        {
+            M1(); // $ StaticTarget=N1.C1.M1
+            this.M1(); // $ StaticTarget=N1.C1.M1
+
+            c1.M1(); // $ StaticTarget=N1.C1.M1
+
+            C1 c2 = null;
+            c2.M1(); // $ StaticTarget=N1.C1.M1
+
+            var c3 = new C1();
+            c3.M1(); // $ StaticTarget=N1.C1.M1
+
+            M3(). // $ StaticTarget=N1.C1.M3
+            M1(); // $ StaticTarget=N1.C1.M1
+
+            var c4 = M3(); // $ StaticTarget=N1.C1.M3
+            c4.M1(); // $ StaticTarget=N1.C1.M1
+        }
+
+        public C1 M3() => throw null;
+    }
+}
+
+namespace N2
+{
+    using N1;
+
+    public class C1
+    {
+        public void M1(C1 c1 = null, N1.C1 c2 = null)
+        {
+            c1.M1(); // $ StaticTarget=N2.C1.M1
+            c2.M1(); // $ StaticTarget=N1.C1.M1
+        }
+    }
+
+    public class C2 : C1
+    {
+        public void M2()
+        {
+            M1(); // $ StaticTarget=N2.C1.M1
+            this.M1(); // $ StaticTarget=N2.C1.M1
+            base.M1(); // $ StaticTarget=N2.C1.M1
+
+            C1 c1 = new C2();
+            c1.M1(); // $ StaticTarget=N2.C1.M1
+        }
+    }
+
+    public class C3 : C2
+    {
+        public new void M2()
+        {
+            M2(); // $ StaticTarget=N2.C3.M2
+            C3 c3 = null;
+            c3.M2(); // $ StaticTarget=N2.C3.M2
+            C2 c2 = c3;
+            c2.M2(); // $ StaticTarget=N2.C2.M2
+        }
+    }
+}
+
+namespace N3
+{
+    using N1;
+
+    public class C2
+    {
+        C1 Field1;
+        N1.C1 Field2;
+        C2 Field3;
+
+        C1 Prop1 => null;
+        N1.C1 Prop2 => null;
+        C2 Prop3 => null;
+
+        public void M1(C1 c1, N1.C1 c2)
+        {
+            c1.M1(); // $ StaticTarget=N1.C1.M1
+            c2.M1(); // $ StaticTarget=N1.C1.M1
+
+            Field1.M1(); // $ StaticTarget=N1.C1.M1
+            Field2.M1(); // $ StaticTarget=N1.C1.M1
+            Field3.M1(null, null); // $ StaticTarget=N3.C2.M1
+            {
+                C2 Field1 = null; // shadows outer field
+                Field1.M1(null, null); // $ StaticTarget=N3.C2.M1
+                this.Field1.M1(); // $ StaticTarget=N1.C1.M1
+            }
+
+            Prop1.M1(); // $ StaticTarget=N1.C1.M1
+            Prop2.M1(); // $ StaticTarget=N1.C1.M1
+            Prop3.M1(null, null); // $ StaticTarget=N3.C2.M1
+            {
+                N2.C2 Prop1 = null; // shadows outer property
+                Prop1.M1(); // $ StaticTarget=N2.C1.M1
+                this.Prop1.M1(); // $ StaticTarget=N1.C1.M1
+            }
+        }
+    }
+}
+
+namespace N4
+{
+    public class C1
+    {
+        public virtual void M1()
+        {
+            this.M1(); // $ StaticTarget=N4.C1.M1
+        }
+    }
+
+    public class C2 : C1
+    {
+        public override void M1()
+        {
+            this.M1(); // $ StaticTarget=N4.C2.M1
+            base.M1(); // $ StaticTarget=N4.C1.M1
+        }
+    }
+}
+
+namespace N5
+{
+    public class C1 : N4.C1
+    {
+        public void M2()
+        {
+            this.M1(); // $ StaticTarget=N4.C1.M1
+        }
+    }
+
+    public class C2 : N4.C1
+    {
+        public override void M1()
+        {
+            this.M1(); // $ StaticTarget=N5.C2.M1
+            base.M1(); // $ StaticTarget=N4.C1.M1
+        }
+    }
+}
+
+namespace N6
+{
+    using alias = N5;
+
+    public class C1
+    {
+        public void M1(alias::C2 c2)
+        {
+            c2.M1(); // $ StaticTarget=N5.C2.M1
+        }
+    }
+}

csharp/ql/test/library-tests/call-graph/CallGraph.expected

@@ -0,0 +1,17 @@
+import csharp
+import TestUtilities.InlineExpectationsTest
+
+class CallGraphTest extends InlineExpectationsTest {
+  CallGraphTest() { this = "CallGraphTest" }
+
+  override string getARelevantTag() { result = "StaticTarget" }
+
+  override predicate hasActualResult(Location location, string element, string tag, string value) {
+    exists(MethodCall mc |
+      element = mc.toString() and
+      tag = "StaticTarget" and
+      value = mc.getTarget().getQualifiedName() and
+      mc.getLocation() = location
+    )
+  }
+}