[Eva] Uses the dynamic API to call the inout plugin.
Showing
- src/plugins/eva/domains/cvalue/cvalue_domain.ml 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/cvalue_domain.ml
- src/plugins/eva/engine/transfer_stmt.ml 1 addition, 1 deletionsrc/plugins/eva/engine/transfer_stmt.ml
- src/plugins/eva/gui/register_gui.ml 6 additions, 9 deletionssrc/plugins/eva/gui/register_gui.ml
- src/plugins/eva/utils/eva_dynamic.ml 21 additions, 0 deletionssrc/plugins/eva/utils/eva_dynamic.ml
- src/plugins/eva/utils/eva_dynamic.mli 18 additions, 0 deletionssrc/plugins/eva/utils/eva_dynamic.mli
- src/plugins/eva/utils/inout.ml 0 additions, 48 deletionssrc/plugins/eva/utils/inout.ml
- src/plugins/eva/utils/inout.mli 0 additions, 51 deletionssrc/plugins/eva/utils/inout.mli
- src/plugins/eva/utils/private.ml 0 additions, 1 deletionsrc/plugins/eva/utils/private.ml
- src/plugins/eva/utils/private.mli 0 additions, 1 deletionsrc/plugins/eva/utils/private.mli
- src/plugins/inout/inout_parameters.ml 4 additions, 2 deletionssrc/plugins/inout/inout_parameters.ml
- src/plugins/inout/inout_parameters.mli 2 additions, 0 deletionssrc/plugins/inout/inout_parameters.mli
- src/plugins/inout/inputs.ml 8 additions, 2 deletionssrc/plugins/inout/inputs.ml
- src/plugins/inout/operational_inputs.ml 12 additions, 1 deletionsrc/plugins/inout/operational_inputs.ml
- src/plugins/inout/outputs.ml 18 additions, 4 deletionssrc/plugins/inout/outputs.ml
Loading
Please register or sign in to comment