pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[quandary] run Quandary on Java when -a checkers is passed

Browse Source 
Reviewed By: jeremydubreil

Differential Revision: D5009112

fbshipit-source-id: 2631725
master
Sam Blackshear 8 years ago committed by Facebook Github Bot
parent 7e12885f98
commit 9c5bf9bba5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
infer/src/checkers/registerCheckers.ml
Unescape View File

@ -29,7 +29,7 @@ let active_procedure_checkers () =
FragmentRetainsViewChecker.callback_fragment_retains_view, enabled_by_default; FragmentRetainsViewChecker.callback_fragment_retains_view, enabled_by_default;
Eradicate.callback_eradicate, Config.eradicate; Eradicate.callback_eradicate, Config.eradicate;
BoundedCallTree.checker, Config.crashcontext; BoundedCallTree.checker, Config.crashcontext;
JavaTaintAnalysis.checker, Config.quandary; JavaTaintAnalysis.checker, Config.quandary || enabled_by_default;
ImmutableChecker.callback_check_immutable_cast, enabled_by_default; ImmutableChecker.callback_check_immutable_cast, enabled_by_default;
RepeatedCallsChecker.callback_check_repeated_calls, Config.checkers_repeated_calls; RepeatedCallsChecker.callback_check_repeated_calls, Config.checkers_repeated_calls;
PrintfArgs.callback_printf_args, enabled_by_default; PrintfArgs.callback_printf_args, enabled_by_default;

Write Preview
Loading…
Cancel
Save