From 9c5bf9bba5c974f50c621224c60c015d8db4ecac Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Tue, 9 May 2017 13:35:10 -0700 Subject: [PATCH] [quandary] run Quandary on Java when -a checkers is passed Reviewed By: jeremydubreil Differential Revision: D5009112 fbshipit-source-id: 2631725 --- infer/src/checkers/registerCheckers.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/checkers/registerCheckers.ml b/infer/src/checkers/registerCheckers.ml index c5c8a53d4..417019767 100644 --- a/infer/src/checkers/registerCheckers.ml +++ b/infer/src/checkers/registerCheckers.ml @@ -29,7 +29,7 @@ let active_procedure_checkers () = FragmentRetainsViewChecker.callback_fragment_retains_view, enabled_by_default; Eradicate.callback_eradicate, Config.eradicate; BoundedCallTree.checker, Config.crashcontext; - JavaTaintAnalysis.checker, Config.quandary; + JavaTaintAnalysis.checker, Config.quandary || enabled_by_default; ImmutableChecker.callback_check_immutable_cast, enabled_by_default; RepeatedCallsChecker.callback_check_repeated_calls, Config.checkers_repeated_calls; PrintfArgs.callback_printf_args, enabled_by_default;