[Eva] Optimizes and moves function [accept_base] from Callgraph to Eva.
[accept_base] is used by the Inout and From plugins, and its implementation in callgraph is very slow on programs with many callsites.
Showing
- 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/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 0 additions, 5 deletionssrc/plugins/eva/utils/eva_dynamic.ml
- src/plugins/eva/utils/eva_dynamic.mli 0 additions, 4 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