diff --git a/infer/bin/BuckAnalyze b/infer/bin/BuckAnalyze index cc8e0783f..5c7b889a5 100755 --- a/infer/bin/BuckAnalyze +++ b/infer/bin/BuckAnalyze @@ -67,10 +67,6 @@ def prepare_build(args): if args.no_filtering: inferJ_options.append('--no-filtering') - if args.analyzer_mode: - inferJ_options.append('--analyzer_mode') - inferJ_options.append(args.analyzer_mode) - # Create a temporary directory as a cache for jar files. infer_cache_dir = os.path.join(args.infer_out, 'cache') if not os.path.isdir(infer_cache_dir): diff --git a/infer/bin/inferlib.py b/infer/bin/inferlib.py index 783b84f06..98136d9ed 100644 --- a/infer/bin/inferlib.py +++ b/infer/bin/inferlib.py @@ -80,9 +80,6 @@ base_group.add_argument('-a', '--analyzer', help='Select the analyzer within: {0}'.format( ', '.join(MODES)), default=INFER) -base_group.add_argument('-m', '--analyzer_mode', metavar='', - help='''Select a special analyzer mode such as - graphql1 or graphql2''') base_group.add_argument('-nf', '--no-filtering', action='store_true', help='''Also show the results from the experimental checks. Warning: some checks may contain many false @@ -423,9 +420,6 @@ class Infer: if os.path.isfile(utils.MODELS_JAR): infer_options += ['-models', utils.MODELS_JAR] - if self.args.analyzer_mode: - infer_options += ['-analyzer_mode', self.args.analyzer_mode] - if self.args.infer_cache: infer_options += ['-infer_cache', self.args.infer_cache] @@ -622,8 +616,6 @@ class Infer: if self.javac.args.version: if self.args.buck: key = self.args.analyzer - if self.args.analyzer_mode: - key += '_' + self.args.analyzer_mode print(utils.infer_key(key), file=sys.stderr) else: return self.javac.run() diff --git a/infer/src/backend/inferanalyze.ml b/infer/src/backend/inferanalyze.ml index 3b3eae2fc..fd88c2e35 100644 --- a/infer/src/backend/inferanalyze.ml +++ b/infer/src/backend/inferanalyze.ml @@ -112,7 +112,6 @@ let print_version_json () = exit 0 let arg_desc = - let analyzer_mode s = Facebook.analyzer_mode s in let base_arg = let exclude s = match read_file s with | None -> @@ -161,7 +160,6 @@ let arg_desc = "-intraprocedural", Arg.Set Config.intraprocedural, None, "perform an intraprocedural analysis only"; "-makefile", Arg.Set_string makefile_cmdline, Some "file", "create a makefile to perform the analysis"; "-max_cluster", Arg.Set_int Config.max_cluster_size, Some "n", "set the max number of procedures in each cluster (default n=2000)"; - "-analyzer_mode", Arg.String analyzer_mode, Some "mode", " run the analysis in a specific mode"; "-only_nospecs", Arg.Set Config.only_nospecs, None, " only analyze procedures which were analyzed before but have no specs"; "-only_skips", Arg.Set Config.only_skips, None, " only analyze procedures dependent on previous skips which now have a .specs file"; "-seconds_per_iteration", Arg.Set_int seconds_per_iteration, Some "n", "set the number of seconds per iteration (default n=30)"; diff --git a/infer/src/opensource/facebook.ml b/infer/src/opensource/facebook.ml index b054f15f4..e8d99d83e 100644 --- a/infer/src/opensource/facebook.ml +++ b/infer/src/opensource/facebook.ml @@ -3,5 +3,4 @@ * All rights reserved. *) -let analyzer_mode s = () let register_checkers () = ()