Kotlin: Add a test for double niterception

Author: igfoo

java/ql/integration-tests/all-platforms/kotlin/kotlin_double_interception/code/build.py

@@ -0,0 +1,30 @@
+#!/usr/bin/env python3
+
+import glob
+import re
+from create_database_utils import *
+
+# This is a normal intercepted compilation
+runSuccessfully([get_cmd('kotlinc'), 'normal.kt'])
+
+# Find the extractor jar that is being used
+trapDir = os.environ['CODEQL_EXTRACTOR_JAVA_TRAP_DIR']
+invocationTraps = glob.glob('invocations/*.trap', root_dir = trapDir)
+if len(invocationTraps) != 1:
+    raise Exception('Expected to find 1 invocation TRAP, but found ' + str(invocationTraps))
+invocationTrap = trapDir + '/' + invocationTraps[0]
+with open(invocationTrap, 'r') as f:
+    content = f.read()
+    m = re.search('^// Using extractor: (.*)$', content, flags = re.MULTILINE)
+    extractorJar = m.group(1)
+
+def getManualFlags(invocationTrapName):
+    return ['-Xplugin=' + extractorJar, '-P', 'plugin:kotlin-extractor:invocationTrapFile=' + trapDir + '/invocations/' + invocationTrapName + '.trap']
+
+# This is both normally intercepted, and it has the extractor flags manually added
+runUnsuccessfully([get_cmd('kotlinc'), 'doubleIntercepted.kt'] + getManualFlags('doubleIntercepted'))
+os.environ['CODEQL_EXTRACTOR_JAVA_AGENT_DISABLE_KOTLIN'] = 'true'
+# We don't see this compilation at all
+runSuccessfully([get_cmd('kotlinc'), 'notSeen.kt'])
+# This is extracted as it has the extractor flags manually added
+runSuccessfully([get_cmd('kotlinc'), 'manual.kt'] + getManualFlags('manual'))

java/ql/integration-tests/all-platforms/kotlin/kotlin_double_interception/code/doubleIntercepted.kt

@@ -0,0 +1,2 @@
+| code/manual.kt:0:0:0:0 | manual |
+| code/normal.kt:0:0:0:0 | normal |

java/ql/integration-tests/all-platforms/kotlin/kotlin_double_interception/code/manual.kt

@@ -0,0 +1,4 @@
+import java
+
+from File f
+select f

java/ql/integration-tests/all-platforms/kotlin/kotlin_double_interception/code/manuallyIntercepted.kt

@@ -0,0 +1,7 @@
+import sys
+
+from create_database_utils import *
+
+run_codeql_database_create(
+        ['"%s" build.py' % sys.executable],
+        source="code", lang="java")