Merge branch 'fix/eva/pretty-big-programs' into 'master'
[Eva] Avoids using callgraph on programs with too much function calls. See merge request frama-c/frama-c!4065
Showing
- src/kernel_services/ast_data/statuses_by_call.ml 1 addition, 1 deletionsrc/kernel_services/ast_data/statuses_by_call.ml
- src/plugins/callgraph/uses.ml 0 additions, 32 deletionssrc/plugins/callgraph/uses.ml
- src/plugins/callgraph/uses.mli 0 additions, 11 deletionssrc/plugins/callgraph/uses.mli
- src/plugins/eva/Eva.mli 8 additions, 0 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/domains/cvalue/cvalue_domain.ml 3 additions, 2 deletionssrc/plugins/eva/domains/cvalue/cvalue_domain.ml
- src/plugins/eva/engine/function_calls.ml 7 additions, 0 deletionssrc/plugins/eva/engine/function_calls.ml
- src/plugins/eva/engine/function_calls.mli 3 additions, 0 deletionssrc/plugins/eva/engine/function_calls.mli
- src/plugins/eva/gui/register_gui.ml 1 addition, 1 deletionsrc/plugins/eva/gui/register_gui.ml
- src/plugins/eva/legacy/logic_inout.ml 37 additions, 0 deletionssrc/plugins/eva/legacy/logic_inout.ml
- src/plugins/eva/legacy/logic_inout.mli 8 additions, 0 deletionssrc/plugins/eva/legacy/logic_inout.mli
- src/plugins/eva/utils/eva_dynamic.ml 6 additions, 7 deletionssrc/plugins/eva/utils/eva_dynamic.ml
- src/plugins/eva/utils/eva_dynamic.mli 2 additions, 5 deletionssrc/plugins/eva/utils/eva_dynamic.mli
- src/plugins/eva/utils/private.ml 1 addition, 0 deletionssrc/plugins/eva/utils/private.ml
- src/plugins/eva/utils/private.mli 1 addition, 0 deletionssrc/plugins/eva/utils/private.mli
- src/plugins/from/functionwise.ml 5 additions, 2 deletionssrc/plugins/from/functionwise.ml
- src/plugins/inout/inputs.ml 2 additions, 2 deletionssrc/plugins/inout/inputs.ml
- src/plugins/inout/operational_inputs.ml 1 addition, 1 deletionsrc/plugins/inout/operational_inputs.ml
- src/plugins/inout/outputs.ml 2 additions, 2 deletionssrc/plugins/inout/outputs.ml
Loading
Please register or sign in to comment