C#: Add BMN test using broken types.

Author: michaelnebel

csharp/ql/test/library-tests/standalone/brokentypes/BrokenTypes.cs

@@ -0,0 +1,28 @@
+// Broken type without a name.
+public class { }
+
+// Legal declaration, but we want don't want to use it.
+public class var { }
+
+public class C
+{
+    public string Prop { get; set; }
+}
+
+
+public class Program
+{
+    public static void Main()
+    {
+        C x1 = new C();
+        string y1 = x1.Prop;
+
+        var x2 = new C(); // Has type `var` as this overrides the implicitly typed keyword `var`.
+        var y2 = x2.Prop; // Unknown type as `x2` har type `var`.
+
+        C2 x3 = new C2(); // Unknown type.
+        var y3 = x3.Prop; // Unknown property of unknown type.
+
+        string s = x1.Prop + x3.Prop;
+    }
+}

csharp/ql/test/library-tests/standalone/brokentypes/brokenTypes.expected

@@ -0,0 +1,36 @@
+| BrokenTypes.cs:2:14:2:13 | call to constructor Object | object | ObjectType |
+| BrokenTypes.cs:5:14:5:16 | call to constructor Object | object | ObjectType |
+| BrokenTypes.cs:7:14:7:14 | call to constructor Object | object | ObjectType |
+| BrokenTypes.cs:13:14:13:20 | call to constructor Object | object | ObjectType |
+| BrokenTypes.cs:17:11:17:12 | access to local variable x1 | C | Class |
+| BrokenTypes.cs:17:11:17:22 | C x1 = ... | C | Class |
+| BrokenTypes.cs:17:16:17:22 | object creation of type C | C | Class |
+| BrokenTypes.cs:18:16:18:17 | access to local variable y1 | string | StringType |
+| BrokenTypes.cs:18:16:18:27 | String y1 = ... | string | StringType |
+| BrokenTypes.cs:18:21:18:22 | access to local variable x1 | C | Class |
+| BrokenTypes.cs:18:21:18:27 | access to property Prop | string | StringType |
+| BrokenTypes.cs:20:13:20:14 | access to local variable x2 | var | Class |
+| BrokenTypes.cs:20:13:20:24 | var x2 = ... | var | Class |
+| BrokenTypes.cs:20:18:20:24 | (...) ... | var | Class |
+| BrokenTypes.cs:20:18:20:24 | object creation of type C | C | Class |
+| BrokenTypes.cs:21:13:21:14 | access to local variable y2 | var | Class |
+| BrokenTypes.cs:21:13:21:24 | var y2 = ... | var | Class |
+| BrokenTypes.cs:21:18:21:19 | access to local variable x2 | var | Class |
+| BrokenTypes.cs:21:18:21:24 | (...) ... | var | Class |
+| BrokenTypes.cs:21:18:21:24 | access to property (unknown) |  | Class |
+| BrokenTypes.cs:23:12:23:13 | access to local variable x3 | <unknown type> | UnknownType |
+| BrokenTypes.cs:23:12:23:24 | <unknown type> x3 = ... | <unknown type> | UnknownType |
+| BrokenTypes.cs:23:17:23:24 | object creation of type <unknown type> | <unknown type> | UnknownType |
+| BrokenTypes.cs:24:13:24:14 | access to local variable y3 | var | Class |
+| BrokenTypes.cs:24:13:24:24 | var y3 = ... | var | Class |
+| BrokenTypes.cs:24:18:24:19 | access to local variable x3 | <unknown type> | UnknownType |
+| BrokenTypes.cs:24:18:24:24 | (...) ... | var | Class |
+| BrokenTypes.cs:24:18:24:24 | access to property (unknown) |  | Class |
+| BrokenTypes.cs:26:16:26:16 | access to local variable s | string | StringType |
+| BrokenTypes.cs:26:16:26:36 | String s = ... | string | StringType |
+| BrokenTypes.cs:26:20:26:21 | access to local variable x1 | C | Class |
+| BrokenTypes.cs:26:20:26:26 | access to property Prop | string | StringType |
+| BrokenTypes.cs:26:20:26:36 | (...) ... | string | StringType |
+| BrokenTypes.cs:26:20:26:36 | ... + ... |  | Class |
+| BrokenTypes.cs:26:30:26:31 | access to local variable x3 | <unknown type> | UnknownType |
+| BrokenTypes.cs:26:30:26:36 | access to property (unknown) |  | Class |

csharp/ql/test/library-tests/standalone/brokentypes/brokenTypes.ql

@@ -0,0 +1,5 @@
+import csharp
+
+from Expr e, Type t
+where e.fromSource() and t = e.getType()
+select e, t.toStringWithTypes(), t.getAPrimaryQlClass()

csharp/ql/test/library-tests/standalone/brokentypes/options

@@ -0,0 +1 @@
+semmle-extractor-options: --standalone