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

turning off copy-propagation

Browse Source 
Reviewed By: jeremydubreil

Differential Revision: D3066974

fb-gh-sync-id: f7f5c51
shipit-source-id: f7f5c51
master
Sam Blackshear 9 years ago committed by Facebook Github Bot 7
parent 9f24051d96
commit fb5c5c8515
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File

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

@ -27,7 +27,6 @@ let active_procedure_checkers () =
Checkers.callback_check_write_to_parcel, false; Checkers.callback_check_write_to_parcel, false;
Checkers.callback_find_deserialization, false; Checkers.callback_find_deserialization, false;
CheckTraceCallSequence.callback_check_trace_call_sequence, false; CheckTraceCallSequence.callback_check_trace_call_sequence, false;
CopyPropagation.checker, true;
Dataflow.callback_test_dataflow, false; Dataflow.callback_test_dataflow, false;
FragmentRetainsViewChecker.callback_fragment_retains_view, checkers_enabled; FragmentRetainsViewChecker.callback_fragment_retains_view, checkers_enabled;
SqlChecker.callback_sql, false; SqlChecker.callback_sql, false;

Write Preview
Loading…
Cancel
Save