[annot] Add Swift test

Summary: Add some tests for reachability in Swift.

Reviewed By: dulmarod

Differential Revision: D91470952

fbshipit-source-id: abdf20564f0f3dded9b4071dac9ba9f42a802f7a

Author: hajduakos

infer/src/backend/registerCheckers.ml

@@ -198,7 +198,8 @@ let all_checkers =
         (let annot_reach =
            interprocedural Payloads.Fields.annot_map AnnotationReachability.checker
          in
-         [(annot_reach, Clang); (annot_reach, Erlang); (annot_reach, Java)] ) }
+         [(annot_reach, Clang); (annot_reach, Erlang); (annot_reach, Java); (annot_reach, Swift)] )
+    }
   ; { checker= ConfigImpactAnalysis
     ; callbacks=
         (let checker =

infer/src/base/Checker.ml

@@ -88,7 +88,8 @@ let config_unsafe checker =
   | AnnotationReachability ->
       { id= "annotation-reachability"
       ; kind= UserFacing {title= "Annotation Reachability"; markdown_body= ""}
-      ; support= mk_support_func ~clang:Support ~erlang:Support ~java:Support ()
+      ; support=
+          mk_support_func ~clang:Support ~erlang:Support ~java:Support ~swift:ExperimentalSupport ()
       ; short_documentation=
           "Given pairs of source and sink annotations, e.g. `@A` and `@B`, this checker will warn \
            whenever some method annotated with `@A` calls, directly or indirectly, another method \

infer/tests/codetoanalyze/swift/annotreach/.inferconfig

@@ -0,0 +1,15 @@
+{
+  "annotation-reachability": true,
+  "annotation-reachability-custom-pairs": [
+    {
+      "sources": ["Source"],
+      "sinks": ["Sink"],
+      "sanitizers": ["Sanitizer"]
+    }
+  ],
+  "annotation-reachability-custom-models": {
+    "Source": [".*source.*"],
+    "Sink": [".*sink.*"],
+    "Sanitizer": [".*sanitizer.*"]
+  }
+}

infer/tests/codetoanalyze/swift/annotreach/Makefile

@@ -0,0 +1,20 @@
+# 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 = ../../..
+SWIFT_OPTIONS = -whole-module-optimization
+INFER_OPTIONS = --annotation-reachability-only --debug-exceptions --project-root $(TESTS_DIR)
+INFERPRINT_OPTIONS = --issues-tests
+
+SOURCES = $(realpath $(wildcard *.swift) $(wildcard */*.swift))
+
+include $(TESTS_DIR)/infer.make
+include $(TESTS_DIR)/swift-base.make
+
+infer-out/report.json: $(SWIFT_DEPS) $(SOURCES) $(MAKEFILE_LIST)
+	$(QUIET)$(call silent_on_success,Testing infer/swift in $(TEST_REL_DIR),\
+	  $(INFER_BIN) --results-dir $(@D)  \
+	    $(INFER_OPTIONS) -- \
+	    $(SWIFTC) $(SWIFT_OPTIONS) $(SOURCES))

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

@@ -0,0 +1,3 @@
+codetoanalyze/swift/annotreach/reach.swift, source_Bad, 1, CHECKERS_ANNOTATION_REACHABILITY_ERROR, no_bucket, ERROR, [Method source_Bad, marked as source @Source,calls sink,sink defined here, marked as sink @Sink]
+codetoanalyze/swift/annotreach/reach.swift, T5Hello7MyClassC.source_Bad, 1, CHECKERS_ANNOTATION_REACHABILITY_ERROR, no_bucket, ERROR, [Method T5Hello7MyClassC.source_Bad, marked as source @Source,calls T5Hello7MyClassC.sink,T5Hello7MyClassC.sink defined here, marked as sink @Sink]
+codetoanalyze/swift/annotreach/reach.swift, T5Hello12AnotherClassC.source_Bad, 1, CHECKERS_ANNOTATION_REACHABILITY_ERROR, no_bucket, ERROR, [Method T5Hello12AnotherClassC.source_Bad, marked as source @Source,calls T5Hello7MyClassC.sink,T5Hello7MyClassC.sink defined here, marked as sink @Sink]

infer/tests/codetoanalyze/swift/annotreach/reach.swift

@@ -0,0 +1,36 @@
+// Global functions
+func sink() {
+}
+
+func sanitizer() {
+  sink()
+}
+
+func source_Bad() {
+  sink()
+}
+
+func source_Ok() {
+  sanitizer()
+}
+
+// Functions in classes
+class MyClass {
+  func sink() {
+  }
+
+  func source_Bad() {
+    sink()
+  }
+}
+
+// Functions on receiver objects
+class AnotherClass {
+  func not_a_sou_rce_Ok(obj: MyClass) {
+    obj.sink()
+  }
+
+  func source_Bad(obj: MyClass) {
+    obj.sink()
+  }
+}