[Eva] Implements [use_spec_instead_of_definition] in function_calls.
Must be consistent with [define_analysis_target].
Showing
- Makefile 2 additions, 2 deletionsMakefile
- src/plugins/value/engine/function_calls.ml 8 additions, 0 deletionssrc/plugins/value/engine/function_calls.ml
- src/plugins/value/engine/function_calls.mli 5 additions, 0 deletionssrc/plugins/value/engine/function_calls.mli
- src/plugins/value/engine/transfer_logic.ml 1 addition, 1 deletionsrc/plugins/value/engine/transfer_logic.ml
- src/plugins/value/engine/transfer_stmt.ml 1 addition, 1 deletionsrc/plugins/value/engine/transfer_stmt.ml
- src/plugins/value/gui_files/gui_eval.ml 3 additions, 2 deletionssrc/plugins/value/gui_files/gui_eval.ml
- src/plugins/value/legacy/eval_annots.ml 1 addition, 1 deletionsrc/plugins/value/legacy/eval_annots.ml
- src/plugins/value/register.ml 2 additions, 9 deletionssrc/plugins/value/register.ml
Loading
Please register or sign in to comment