[Eva] Removes types [cacheable] and [call_result] from Value_types.
Type [cacheable] is now defined in Eval. Type [call_result] is defined in Builtins. Changes the type of callbacks Db.Call_Type_Value_Callbacks.
Showing
- src/kernel_services/plugin_entry_points/db.ml 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/aorai/aorai_eva_analysis.enabled.ml 3 additions, 1 deletionsrc/plugins/aorai/aorai_eva_analysis.enabled.ml
- src/plugins/from/callwise.ml 2 additions, 2 deletionssrc/plugins/from/callwise.ml
- src/plugins/inout/operational_inputs.ml 2 additions, 2 deletionssrc/plugins/inout/operational_inputs.ml
- src/plugins/value/domains/cvalue/builtins.ml 15 additions, 6 deletionssrc/plugins/value/domains/cvalue/builtins.ml
- src/plugins/value/domains/cvalue/builtins.mli 13 additions, 2 deletionssrc/plugins/value/domains/cvalue/builtins.mli
- src/plugins/value/domains/cvalue/builtins_float.ml 4 additions, 4 deletionssrc/plugins/value/domains/cvalue/builtins_float.ml
- src/plugins/value/domains/cvalue/builtins_malloc.ml 16 additions, 16 deletionssrc/plugins/value/domains/cvalue/builtins_malloc.ml
- src/plugins/value/domains/cvalue/builtins_memory.ml 18 additions, 18 deletionssrc/plugins/value/domains/cvalue/builtins_memory.ml
- src/plugins/value/domains/cvalue/builtins_misc.ml 2 additions, 2 deletionssrc/plugins/value/domains/cvalue/builtins_misc.ml
- src/plugins/value/domains/cvalue/builtins_print_c.ml 4 additions, 4 deletionssrc/plugins/value/domains/cvalue/builtins_print_c.ml
- src/plugins/value/domains/cvalue/builtins_split.ml 10 additions, 10 deletionssrc/plugins/value/domains/cvalue/builtins_split.ml
- src/plugins/value/domains/cvalue/builtins_string.ml 2 additions, 2 deletionssrc/plugins/value/domains/cvalue/builtins_string.ml
- src/plugins/value/domains/cvalue/builtins_watchpoint.ml 2 additions, 2 deletionssrc/plugins/value/domains/cvalue/builtins_watchpoint.ml
- src/plugins/value/engine/compute_functions.ml 4 additions, 4 deletionssrc/plugins/value/engine/compute_functions.ml
- src/plugins/value/engine/iterator.ml 3 additions, 3 deletionssrc/plugins/value/engine/iterator.ml
- src/plugins/value/engine/iterator.mli 1 addition, 1 deletionsrc/plugins/value/engine/iterator.mli
- src/plugins/value/engine/transfer_stmt.ml 8 additions, 15 deletionssrc/plugins/value/engine/transfer_stmt.ml
- src/plugins/value/engine/transfer_stmt.mli 2 additions, 2 deletionssrc/plugins/value/engine/transfer_stmt.mli
Loading
Please register or sign in to comment