[cleanup] adding missing mlis for checkers

Reviewed By: peterogithub

Differential Revision: D4611738

fbshipit-source-id: b84472e

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

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

infer/src/checkers/annotationReachability.ml

@@ -406,3 +406,5 @@ module Interprocedural = struct
     | Some Domain.Bottom | None ->
         ()
 end
+
+let checker = Interprocedural.check_and_report

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

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

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 *)

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

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