[annot] Add some basic Kotlin tests

Summary: Add some simple tests for annotation reachability checker in Kotlin.

Reviewed By: rgrig

Differential Revision:
D59587456

Privacy Context Container: L1208441

fbshipit-source-id: a8cfa7a4f0a4030cc8738472dbaf0f15a754151a

Makefile

@@ -268,6 +268,7 @@ DIRECT_TESTS += \
 
 ifneq ($(KOTLINC), no)
 DIRECT_TESTS += \
+  kotlin_annotreach \
   kotlin_pulse \
   kotlin_racerd \
   kotlin_resources \

infer/tests/codetoanalyze/kotlin/annotreach/.inferconfig

@@ -0,0 +1,14 @@
+{
+  "force-delete-results-dir": true,
+  "annotation-reachability-expensive": false,
+  "annotation-reachability-no-allocation": false,
+  "annotation-reachability-custom-pairs": [
+    {
+      "sources": ["UserDefinedSource"],
+      "sinks": ["UserDefinedSink"],
+      "sanitizers": ["UserDefinedSanitizer"]
+    }
+  ],
+  "annotation-reachability-apply-superclass-annotations": false,
+  "annotation-reachability-report-source-and-sink": true
+}

infer/tests/codetoanalyze/kotlin/annotreach/CustomAnnotations.kt

@@ -0,0 +1,51 @@
+/*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+package codetoanalyze.kotlin.annotreach
+
+@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION)
+@Retention(AnnotationRetention.RUNTIME)
+annotation class UserDefinedSource
+
+@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION)
+@Retention(AnnotationRetention.RUNTIME)
+annotation class UserDefinedSink
+
+@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION)
+@Retention(AnnotationRetention.RUNTIME)
+annotation class UserDefinedSanitizer
+
+class CustomAnnotations {
+  @UserDefinedSink fun sink(): Unit {}
+
+  fun notSink(): Unit {}
+
+  @UserDefinedSource
+  fun sourceBad(): Unit {
+    sink()
+  }
+
+  @UserDefinedSource
+  fun sourceOk(): Unit {
+    notSink()
+  }
+
+  @UserDefinedSanitizer
+  fun canCallSink(): Unit {
+    sink()
+  }
+
+  @UserDefinedSource
+  fun sourceWithSanitizerOk(): Unit {
+    canCallSink()
+  }
+
+  fun notSourceOk(): Unit {
+    sink()
+  }
+
+  @UserDefinedSource @UserDefinedSink fun sourceAndSinkAtTheSameTimeBad(): Unit {}
+}

infer/tests/codetoanalyze/kotlin/annotreach/Makefile

@@ -0,0 +1,15 @@
+# Copyright (c) Facebook, Inc. and its affiliates.
+#
+# This source code is licensed under the MIT license found in the
+# LICENSE file in the root directory of this source tree.
+
+TESTS_DIR = ../../..
+
+INFER_OPTIONS = --debug-exceptions --annotation-reachability-only
+INFERPRINT_OPTIONS = --issues-tests
+
+SOURCES = $(wildcard *.kt)
+
+CLEAN_EXTRA = *.class META-INF
+
+include $(TESTS_DIR)/kotlinc.make

infer/tests/codetoanalyze/kotlin/annotreach/issues.exp

@@ -0,0 +1,2 @@
+CustomAnnotations.kt, codetoanalyze.kotlin.annotreach.CustomAnnotations.sourceBad():void, 1, CHECKERS_ANNOTATION_REACHABILITY_ERROR, no_bucket, ERROR, []
+CustomAnnotations.kt, codetoanalyze.kotlin.annotreach.CustomAnnotations.sourceAndSinkAtTheSameTimeBad():void, 0, CHECKERS_ANNOTATION_REACHABILITY_ERROR, no_bucket, ERROR, []