Add test cases

Author: rvermeulen

tests/workspace/codeql-workspace.yml

@@ -0,0 +1,2 @@
+provide:
+  - "**/qlpack.yml"

tests/workspace/cpp/a/codeql-pack.lock.yml

@@ -0,0 +1,12 @@
+---
+lockVersion: 1.0.0
+dependencies:
+  codeql/cpp-all:
+    version: 0.7.3
+  codeql/ssa:
+    version: 0.0.18
+  codeql/tutorial:
+    version: 0.0.11
+  codeql/util:
+    version: 0.0.11
+compiled: false

tests/workspace/cpp/a/qlpack.yml

@@ -0,0 +1,7 @@
+---
+library: true
+warnOnImplicitThis: false
+name: test/a
+version: 0.0.1
+dependencies:
+  test/aa: "*"

tests/workspace/cpp/aa/codeql-pack.lock.yml

@@ -0,0 +1,12 @@
+---
+lockVersion: 1.0.0
+dependencies:
+  codeql/cpp-all:
+    version: 0.7.3
+  codeql/ssa:
+    version: 0.0.18
+  codeql/tutorial:
+    version: 0.0.11
+  codeql/util:
+    version: 0.0.11
+compiled: false

tests/workspace/cpp/aa/qlpack.yml

@@ -0,0 +1,7 @@
+---
+library: true
+warnOnImplicitThis: false
+name: test/aa
+version: 0.0.1
+dependencies:
+  "codeql/cpp-all": "0.7.3"

tests/workspace/cpp/foo-bundle-customizations-tests/FooExternalSourceFunction/Foo.expected

@@ -0,0 +1 @@
+| test.c:4:13:4:15 | call to foo |

tests/workspace/cpp/foo-bundle-customizations-tests/FooExternalSourceFunction/Foo.ql

@@ -0,0 +1,4 @@
+import cpp
+import semmle.code.cpp.security.FlowSources
+
+select any(RemoteFlowSource s)

tests/workspace/cpp/foo-bundle-customizations-tests/FooExternalSourceFunction/test.c

@@ -0,0 +1,7 @@
+int foo();
+
+int main(int argc, char** argv) {
+    int i = foo();
+
+    return i;
+}

tests/workspace/cpp/foo-bundle-customizations-tests/codeql-pack.lock.yml

@@ -0,0 +1,12 @@
+---
+lockVersion: 1.0.0
+dependencies:
+  codeql/cpp-all:
+    version: 0.7.3
+  codeql/ssa:
+    version: 0.0.18
+  codeql/tutorial:
+    version: 0.0.11
+  codeql/util:
+    version: 0.0.11
+compiled: false

tests/workspace/cpp/foo-bundle-customizations-tests/qlpack.yml

@@ -0,0 +1,6 @@
+library: true
+name: foo/bundle-customizations-tests
+version: 0.0.1
+dependencies:
+  "test/a": "*"
+extractor: cpp

tests/workspace/cpp/foo-customization-tests/FooExternalSourceFunction/Foo.expected

@@ -0,0 +1 @@
+| test.c:4:13:4:15 | call to foo |

tests/workspace/cpp/foo-customization-tests/FooExternalSourceFunction/Foo.ql

@@ -0,0 +1,5 @@
+import cpp
+import foo.cpp_customizations.Customizations
+import semmle.code.cpp.security.FlowSources
+
+select any(RemoteFlowSource s)

tests/workspace/cpp/foo-customization-tests/FooExternalSourceFunction/test.c

@@ -0,0 +1,7 @@
+int foo();
+
+int main(int argc, char** argv) {
+    int i = foo();
+
+    return i;
+}

tests/workspace/cpp/foo-customization-tests/codeql-pack.lock.yml

@@ -0,0 +1,12 @@
+---
+lockVersion: 1.0.0
+dependencies:
+  codeql/cpp-all:
+    version: 0.7.3
+  codeql/ssa:
+    version: 0.0.18
+  codeql/tutorial:
+    version: 0.0.11
+  codeql/util:
+    version: 0.0.11
+compiled: false

tests/workspace/cpp/foo-customization-tests/qlpack.yml

@@ -0,0 +1,7 @@
+library: true
+name: foo/cpp-customizations-tests
+version: 0.0.1
+dependencies:
+  "foo/cpp-customizations": "*"
+  "test/a": "*"
+extractor: cpp

tests/workspace/cpp/foo-customizations/codeql-pack.lock.yml

@@ -0,0 +1,12 @@
+---
+lockVersion: 1.0.0
+dependencies:
+  codeql/cpp-all:
+    version: 0.7.3
+  codeql/ssa:
+    version: 0.0.18
+  codeql/tutorial:
+    version: 0.0.11
+  codeql/util:
+    version: 0.0.11
+compiled: false

tests/workspace/cpp/foo-customizations/foo/cpp_customizations/Customizations.qll

@@ -0,0 +1,13 @@
+import cpp
+private import semmle.code.cpp.security.FlowSources
+
+module FooSources {
+  private class FooExternalSourceFunction extends RemoteFlowSourceFunction {
+    FooExternalSourceFunction() { this.hasName("foo") }
+
+    override predicate hasRemoteFlowSource(FunctionOutput output, string description) {
+      output.isReturnValue() and
+      description = "value returned by " + this.getName()
+    }
+  }
+}

tests/workspace/cpp/foo-customizations/qlpack.yml

@@ -0,0 +1,5 @@
+library: True
+name: foo/cpp-customizations
+version: 0.0.1
+dependencies:
+  "codeql/cpp-all": "0.7.3"