Add exercises

Author: rvermeulen

exercises-tests/codeql-pack.lock.yml

@@ -0,0 +1,14 @@
+---
+lockVersion: 1.0.0
+dependencies:
+  codeql/java-all:
+    version: 0.5.0
+  codeql/regex:
+    version: 0.0.4
+  codeql/tutorial:
+    version: 0.0.1
+  codeql/typetracking:
+    version: 0.0.1
+  codeql/util:
+    version: 0.0.1
+compiled: false

exercises-tests/exercise1/Exercise1.actual

@@ -0,0 +1,2 @@
+| Test.java:9:11:9:17 | new A(...) |
+| Test.java:10:11:10:17 | new B(...) |

exercises-tests/exercise1/Exercise1.expected

@@ -0,0 +1 @@
+Exercise1.ql

exercises-tests/exercise1/Exercise1.qlref

@@ -0,0 +1,12 @@
+class A {}
+
+class B extends A {}
+
+class Test {
+  public static void main(String[] args) { alloc(); }
+
+  public static void alloc() {
+    A a = new A();
+    B b = new B();
+  }
+}

exercises-tests/exercise1/Test.java

@@ -0,0 +1,4 @@
+| Test.java:59:5:59:12 | foo(...) | Test.java:8:8:8:10 | foo |
+| Test.java:60:5:60:11 | bar(...) | Test.java:12:8:12:10 | bar |
+| Test.java:61:5:61:11 | foo(...) | Test.java:16:8:16:10 | foo |
+| Test.java:62:5:62:12 | foo(...) | Test.java:16:8:16:10 | foo |

exercises-tests/exercise10/Exercise10.expected

@@ -0,0 +1 @@
+Exercise10.ql

exercises-tests/exercise10/Exercise10.qlref

@@ -0,0 +1,64 @@
+class A {}
+
+class B extends A {}
+
+class C {
+  public A a;
+
+  void foo() {}
+}
+
+class D {
+  void bar() {}
+}
+
+class E extends C {
+  void foo() {}
+}
+
+class Test {
+  public static void main(String[] args) {
+    alloc();
+    move();
+    store();
+    load();
+    call();
+  }
+
+  public static void alloc() {
+    A a = new A();
+    B b = new B();
+  }
+
+  public static void move() {
+    A a = new A();
+    B b = new B();
+    a = b;
+  }
+
+  public static void store() {
+    C c = new C();
+    A a = new A();
+    c.a = a;
+  }
+
+  public static void load() {
+    C c = new C();
+    B b = new B();
+    c.a = b;
+    A a;
+
+    a = c.a;
+  }
+
+  public static void call() {
+    C c1 = new C();
+    D d = new D();
+    E e = new E();
+    C c2 = new E();
+    c1.foo();
+    d.bar();
+    e.foo();
+    c2.foo();
+  }
+}

exercises-tests/exercise10/Test.java

@@ -0,0 +1,19 @@
+| Test.java:21:19:21:26 | o | Test.java:71:11:71:17 | new B(...) |
+| Test.java:21:19:21:26 | o | Test.java:72:11:72:17 | new C(...) |
+| Test.java:35:5:35:18 | A a | Test.java:35:11:35:17 | new A(...) |
+| Test.java:36:5:36:18 | B b | Test.java:36:11:36:17 | new B(...) |
+| Test.java:40:5:40:18 | A a | Test.java:40:11:40:17 | new A(...) |
+| Test.java:40:5:40:18 | A a | Test.java:41:11:41:17 | new B(...) |
+| Test.java:41:5:41:18 | B b | Test.java:41:11:41:17 | new B(...) |
+| Test.java:46:5:46:18 | C c | Test.java:46:11:46:17 | new C(...) |
+| Test.java:47:5:47:18 | A a | Test.java:47:11:47:17 | new A(...) |
+| Test.java:52:5:52:18 | C c | Test.java:52:11:52:17 | new C(...) |
+| Test.java:53:5:53:18 | B b | Test.java:53:11:53:17 | new B(...) |
+| Test.java:55:5:55:8 | A a | Test.java:53:11:53:17 | new B(...) |
+| Test.java:61:5:61:18 | C c | Test.java:61:11:61:17 | new C(...) |
+| Test.java:62:5:62:18 | D d | Test.java:62:11:62:17 | new D(...) |
+| Test.java:63:5:63:18 | E e | Test.java:63:11:63:17 | new E(...) |
+| Test.java:70:5:70:23 | Object a | Test.java:70:16:70:22 | new A(...) |
+| Test.java:71:5:71:18 | B b | Test.java:71:11:71:17 | new B(...) |
+| Test.java:72:5:72:18 | C c | Test.java:72:11:72:17 | new C(...) |
+| Test.java:73:5:73:18 | F f | Test.java:73:11:73:17 | new F(...) |

exercises-tests/exercise11/Exercise11.expected

@@ -0,0 +1 @@
+Exercise11.ql