[Eva] Avoids using callgraph on programs with too much function calls.
The callgraph plugin is very slow on such programs.
Showing
- 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/utils/eva_dynamic.ml 6 additions, 2 deletionssrc/plugins/eva/utils/eva_dynamic.ml
- src/plugins/eva/utils/eva_dynamic.mli 2 additions, 1 deletionsrc/plugins/eva/utils/eva_dynamic.mli
Loading
Please register or sign in to comment