[Eva] Avoids changing the origin of an existing garbled mix.
This has no impact as the join of origins now chooses the oldest known origin, but it could be better if we ever change the implementation of the origin join.
Showing
- src/kernel_services/abstract_interp/cvalue.ml 4 additions, 14 deletionssrc/kernel_services/abstract_interp/cvalue.ml
- src/kernel_services/abstract_interp/locations.ml 2 additions, 4 deletionssrc/kernel_services/abstract_interp/locations.ml
- src/kernel_services/abstract_interp/offsetmap.ml 1 addition, 1 deletionsrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/abstract_interp/origin.ml 1 addition, 1 deletionsrc/kernel_services/abstract_interp/origin.ml
- src/plugins/eva/domains/cvalue/cvalue_domain.ml 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/cvalue_domain.ml
- src/plugins/eva/values/cvalue_forward.ml 2 additions, 2 deletionssrc/plugins/eva/values/cvalue_forward.ml
- tests/builtins/oracle/memcpy.res.oracle 1 addition, 1 deletiontests/builtins/oracle/memcpy.res.oracle
Loading
Please register or sign in to comment