diff --git a/infer/src/bufferoverrun/bufferOverrunChecker.mli b/infer/src/bufferoverrun/bufferOverrunChecker.mli
new file mode 100644
index 000000000..d6c90bc25
--- /dev/null
+++ b/infer/src/bufferoverrun/bufferOverrunChecker.mli
@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) 2017 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
+val checker : Callbacks.proc_callback_t
diff --git a/infer/src/checkers/ThreadSafety.mli b/infer/src/checkers/ThreadSafety.mli
new file mode 100644
index 000000000..1e1e59d4f
--- /dev/null
+++ b/infer/src/checkers/ThreadSafety.mli
@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) 2017 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
+val file_analysis : Callbacks.cluster_callback_t
diff --git a/infer/src/checkers/annotationReachability.ml b/infer/src/checkers/annotationReachability.ml
index 646dfcfff..a1dbeace7 100644
--- a/infer/src/checkers/annotationReachability.ml
+++ b/infer/src/checkers/annotationReachability.ml
@@ -406,3 +406,5 @@ module Interprocedural = struct
     | Some Domain.Bottom | None ->
         ()
 end
+
+let checker = Interprocedural.check_and_report
diff --git a/infer/src/checkers/annotationReachability.mli b/infer/src/checkers/annotationReachability.mli
new file mode 100644
index 000000000..d6c90bc25
--- /dev/null
+++ b/infer/src/checkers/annotationReachability.mli
@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) 2017 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
+val checker : Callbacks.proc_callback_t
diff --git a/infer/src/checkers/fragmentRetainsViewChecker.mli b/infer/src/checkers/fragmentRetainsViewChecker.mli
new file mode 100644
index 000000000..be460c701
--- /dev/null
+++ b/infer/src/checkers/fragmentRetainsViewChecker.mli
@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) 2017 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
+val callback_fragment_retains_view : Callbacks.proc_callback_t
diff --git a/infer/src/checkers/registerCheckers.ml b/infer/src/checkers/registerCheckers.ml
index c0851febf..f774e9cb4 100644
--- a/infer/src/checkers/registerCheckers.ml
+++ b/infer/src/checkers/registerCheckers.ml
@@ -38,7 +38,7 @@ let active_procedure_checkers () =
         ImmutableChecker.callback_check_immutable_cast, checkers_enabled;
         RepeatedCallsChecker.callback_check_repeated_calls, checkers_enabled;
         PrintfArgs.callback_printf_args, checkers_enabled;
-        AnnotationReachability.Interprocedural.check_and_report, checkers_enabled;
+        AnnotationReachability.checker, checkers_enabled;
         BufferOverrunChecker.checker, Config.bufferoverrun;
       ] in
     (* make sure SimpleChecker.ml is not dead code *)
diff --git a/infer/src/quandary/ClangTaintAnalysis.mli b/infer/src/quandary/ClangTaintAnalysis.mli
new file mode 100644
index 000000000..d6c90bc25
--- /dev/null
+++ b/infer/src/quandary/ClangTaintAnalysis.mli
@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) 2017 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
+val checker : Callbacks.proc_callback_t
diff --git a/infer/src/quandary/JavaTaintAnalysis.mli b/infer/src/quandary/JavaTaintAnalysis.mli
new file mode 100644
index 000000000..d6c90bc25
--- /dev/null
+++ b/infer/src/quandary/JavaTaintAnalysis.mli
@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) 2017 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
+val checker : Callbacks.proc_callback_t