Kotlin: Add integration test to show missing compiler arguments

Author: tamasvajk

java/ql/integration-tests/posix-only/kotlin/compiler_arguments/app/build.gradle

@@ -0,0 +1,25 @@
+/*
+ * This file was generated by the Gradle 'init' task.
+ *
+ * This generated file contains a sample Kotlin application project to get you started.
+ * For more details take a look at the 'Building Java & JVM projects' chapter in the Gradle
+ * User Manual available at https://docs.gradle.org/7.0.2/userguide/building_java_projects.html
+ */
+
+plugins {
+    // Apply the org.jetbrains.kotlin.jvm Plugin to add support for Kotlin.
+    id 'org.jetbrains.kotlin.jvm' version '1.7.0'
+
+    // Apply the application plugin to add support for building a CLI application in Java.
+    id 'application'
+}
+
+repositories {
+    // Use Maven Central for resolving dependencies.
+    mavenCentral()
+}
+
+application {
+    // Define the main class for the application.
+    mainClass = 'testProject.AppKt'
+}

java/ql/integration-tests/posix-only/kotlin/compiler_arguments/app/src/main/kotlin/testProject/App.kt

@@ -0,0 +1,15 @@
+/*
+ * This Kotlin source file was generated by the Gradle 'init' task.
+ */
+package testProject
+
+class App {
+    val greeting: String
+        get() {
+            return "Hello World!"
+        }
+}
+
+fun main() {
+    // TODO: println(App().greeting)
+}

java/ql/integration-tests/posix-only/kotlin/compiler_arguments/compArgs.expected

@@ -0,0 +1,4 @@
+import java
+
+from Compilation c, int i
+select i, c.getArgument(i)

java/ql/integration-tests/posix-only/kotlin/compiler_arguments/compArgs.ql

@@ -0,0 +1,11 @@
+/*
+ * This file was generated by the Gradle 'init' task.
+ *
+ * The settings file is used to specify which projects to include in your build.
+ *
+ * Detailed information about configuring a multi-project build in Gradle can be found
+ * in the user manual at https://docs.gradle.org/7.0.2/userguide/multi_project_builds.html
+ */
+
+rootProject.name = 'testProject'
+include('app')

java/ql/integration-tests/posix-only/kotlin/compiler_arguments/settings.gradle

@@ -0,0 +1,5 @@
+from create_database_utils import *
+
+run_codeql_database_create(
+    ["gradle build --no-daemon --no-build-cache"], lang="java")
+runSuccessfully(["gradle", "clean"])