[Eva] In offsetmap and lmap, removes bottom from the argument value.
Returns `Bottom when needed, instead of using V.bottom.
Showing
- src/kernel_services/abstract_interp/cvalue.ml 5 additions, 1 deletionsrc/kernel_services/abstract_interp/cvalue.ml
- src/kernel_services/abstract_interp/cvalue.mli 2 additions, 0 deletionssrc/kernel_services/abstract_interp/cvalue.mli
- src/kernel_services/abstract_interp/lmap.ml 16 additions, 13 deletionssrc/kernel_services/abstract_interp/lmap.ml
- src/kernel_services/abstract_interp/lmap_bitwise.ml 1 addition, 0 deletionssrc/kernel_services/abstract_interp/lmap_bitwise.ml
- src/kernel_services/abstract_interp/lmap_sig.ml 5 additions, 4 deletionssrc/kernel_services/abstract_interp/lmap_sig.ml
- src/kernel_services/abstract_interp/offsetmap.ml 28 additions, 26 deletionssrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/abstract_interp/offsetmap_bitwise_sig.ml 2 additions, 2 deletionssrc/kernel_services/abstract_interp/offsetmap_bitwise_sig.ml
- src/kernel_services/abstract_interp/offsetmap_sig.ml 3 additions, 3 deletionssrc/kernel_services/abstract_interp/offsetmap_sig.ml
- src/plugins/eva/domains/cvalue/builtins_memory.ml 1 addition, 0 deletionssrc/plugins/eva/domains/cvalue/builtins_memory.ml
- src/plugins/eva/domains/cvalue/builtins_string.ml 1 addition, 0 deletionssrc/plugins/eva/domains/cvalue/builtins_string.ml
- src/plugins/eva/domains/cvalue/cvalue_queries.ml 4 additions, 1 deletionsrc/plugins/eva/domains/cvalue/cvalue_queries.ml
- src/plugins/eva/legacy/eval_op.ml 4 additions, 3 deletionssrc/plugins/eva/legacy/eval_op.ml
- src/plugins/eva/values/offsm_value.ml 1 addition, 0 deletionssrc/plugins/eva/values/offsm_value.ml
Loading
Please register or sign in to comment