[infer][checkers] remove the Eradicate analyzer option

Summary:
The Eradicate `Nullable` checker should now be run using:

  infer -a checkers --eradicate ...

Reviewed By: mbouaziz

Differential Revision: D5529226

fbshipit-source-id: 0de2956

infer/src/backend/InferPrint.ml

@@ -206,15 +206,6 @@ end
 let should_report (issue_kind: Exceptions.err_kind) issue_type error_desc eclass =
   if not Config.filtering || Exceptions.equal_err_class eclass Exceptions.Linters then true
   else
-    let analyzer_is_whitelisted =
-      match Config.analyzer with
-      | Eradicate
-       -> true
-      | BiAbduction | CaptureOnly | Checkers | CompileOnly | Crashcontext | Linters
-       -> false
-    in
-    if analyzer_is_whitelisted then true
-    else
       let issue_kind_is_blacklisted =
         match issue_kind with Kinfo -> true | Kerror | Kwarning | Kadvice | Klike -> false
       in

infer/src/base/Config.ml

@@ -21,7 +21,6 @@ type analyzer =
   | BiAbduction
   | CaptureOnly
   | CompileOnly
-  | Eradicate
   | Checkers
   | Crashcontext
   | Linters
@@ -34,7 +33,6 @@ let string_to_analyzer =
   ; ("checkers", Checkers)
   ; ("compile", CompileOnly)
   ; ("crashcontext", Crashcontext)
-  ; ("eradicate", Eradicate)
   ; ("infer", BiAbduction)
   ; ("linters", Linters) ]
 
@@ -559,7 +557,6 @@ and analyzer =
     BiAbduction
     | CaptureOnly
     | CompileOnly
-    | Eradicate
     | Checkers
     | Crashcontext
     | Linters
@@ -1782,8 +1779,6 @@ let post_parsing_initialization command_opt =
    -> biabduction := true
   | Some Crashcontext
    -> crashcontext := true
-  | Some Eradicate
-   -> eradicate := true
   | Some (CaptureOnly | CompileOnly | Checkers | Linters)
    -> ()
   | None

infer/src/base/Config.mli

@@ -18,7 +18,6 @@ type analyzer =
   | BiAbduction
   | CaptureOnly
   | CompileOnly
-  | Eradicate
   | Checkers
   | Crashcontext
   | Linters

infer/src/integration/Buck.ml

@@ -52,7 +52,7 @@ let add_flavor_to_target target =
    -> add "infer-capture-all"
   | None, (BiAbduction | Checkers)
    -> add "infer"
-  | None, (Eradicate | Crashcontext)
+  | None, Crashcontext
    -> failwithf "Analyzer %s is Java-only; not supported with Buck flavors"
         (Config.string_of_analyzer Config.analyzer)
 

infer/src/integration/Driver.ml

@@ -416,7 +416,7 @@ let analyze_and_report ~changed_files mode =
         (false, false)
     | _, (CaptureOnly | CompileOnly)
      -> (false, false)
-    | _, (BiAbduction | Checkers | Crashcontext | Eradicate)
+    | _, (BiAbduction | Checkers | Crashcontext)
      -> (true, true)
     | _, Linters
      -> (false, true)

infer/tests/codetoanalyze/java/eradicate/Makefile

@@ -7,8 +7,8 @@
 
 TESTS_DIR = ../../..
 
-ANALYZER = eradicate
+ANALYZER = checkers
-INFER_OPTIONS = --eradicate-return-over-annotated --eradicate-optional-present --no-filtering --debug-exceptions
+INFER_OPTIONS = --no-default-checkers --eradicate --eradicate-return-over-annotated --eradicate-optional-present --debug-exceptions
 INFERPRINT_OPTIONS = --issues-tests
 SOURCES = $(wildcard *.java)