[infer][cleanup] remove some left-over use of the Eradicate analyzer entry

Reviewed By: mbouaziz

Differential Revision: D5552083

fbshipit-source-id: 7b0d2db

DEFS

@@ -1,6 +1,6 @@
 import os
 
-analyzers = ['infer', 'eradicate']
+analyzers = ['infer', 'checkers']
 
 original_java_library = java_library
 def java_library(

infer/lib/python/inferlib/config.py

@@ -62,7 +62,6 @@ BUCK_OUT_GEN = os.path.join(BUCK_OUT, 'gen')
 
 # list of possible analyzers
 ANALYZER_INFER = 'infer'
-ANALYZER_ERADICATE = 'eradicate'
 ANALYZER_CHECKERS = 'checkers'
 ANALYZER_CAPTURE = 'capture'
 ANALYZER_COMPILE = 'compile'
@@ -74,7 +73,6 @@ ANALYZERS = [
     ANALYZER_CHECKERS,
     ANALYZER_COMPILE,
     ANALYZER_CRASHCONTEXT,
-    ANALYZER_ERADICATE,
     ANALYZER_INFER,
     ANALYZER_LINTERS,
 ]

infer/src/backend/inferconfig.ml

@@ -343,8 +343,8 @@ let is_checker_enabled checker_name =
      && not (List.mem ~equal:String.( = ) Config.checks_disabled_by_default checker_name)
 
 (* This function loads and list the path that are being filtered by the analyzer. The results *)
-(* are of the form: path/to/file.java -> {infer, eradicate} meaning that analysis results will *)
-(* be reported on path/to/file.java both for infer and for eradicate *)
+(* are of the form: path/to/file.java -> {infer, checkers} meaning that analysis results will *)
+(* be reported on path/to/file.java both for infer and for the checkers *)
 let test () =
   let filters =
     List.map

infer/src/base/Config.ml

@@ -566,7 +566,7 @@ and analyzer =
     ~in_help:CLOpt.([(Analyze, manual_generic); (Run, manual_generic)])
     {|Specify which analyzer to run (only one at a time is supported):
 - $(b,infer): run the bi-abduction based checker, in particular to check for memory errors (activated by default)
-- $(b,checkers), $(b,eradicate): run the specified analysis
+- $(b,checkers): run the checkers
 - $(b,capture): similar to specifying the $(b,capture) subcommand (DEPRECATED)
 - $(b,compile): similar to specifying the $(b,compile) subcommand (DEPRECATED)
 - $(b,crashcontext): experimental (see $(b,--crashcontext))