-
- Downloads
[Eva] Offsetmap: removes the unused alarm boolean returned by some functions.
If needed, this boolean could be computed by the callers of these functions via Base.is_valid_offset. In Base, do not export offset_is_in_validity, that was only used to compute this boolean.
Showing
- src/kernel_services/abstract_interp/base.mli 0 additions, 4 deletionssrc/kernel_services/abstract_interp/base.mli
- src/kernel_services/abstract_interp/lmap.ml 5 additions, 9 deletionssrc/kernel_services/abstract_interp/lmap.ml
- src/kernel_services/abstract_interp/offsetmap.ml 30 additions, 45 deletionssrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/abstract_interp/offsetmap_sig.mli 8 additions, 11 deletionssrc/kernel_services/abstract_interp/offsetmap_sig.mli
- src/kernel_services/abstract_interp/tr_offset.ml 1 addition, 3 deletionssrc/kernel_services/abstract_interp/tr_offset.ml
- src/kernel_services/abstract_interp/tr_offset.mli 4 additions, 9 deletionssrc/kernel_services/abstract_interp/tr_offset.mli
- src/plugins/value/domains/cvalue/builtins_memory.ml 4 additions, 4 deletionssrc/plugins/value/domains/cvalue/builtins_memory.ml
- src/plugins/value/domains/cvalue/builtins_string.ml 1 addition, 1 deletionsrc/plugins/value/domains/cvalue/builtins_string.ml
- src/plugins/value/legacy/eval_op.ml 3 additions, 6 deletionssrc/plugins/value/legacy/eval_op.ml
- src/plugins/value/values/offsm_value.ml 7 additions, 7 deletionssrc/plugins/value/values/offsm_value.ml
Loading
Please register or sign in to comment