[Eva] multidim: keep track of the assigned range in arrays
Showing
- src/kernel_services/abstract_interp/abstract_offset.ml 25 additions, 21 deletionssrc/kernel_services/abstract_interp/abstract_offset.ml
- src/kernel_services/abstract_interp/abstract_offset.mli 2 additions, 2 deletionssrc/kernel_services/abstract_interp/abstract_offset.mli
- src/kernel_services/abstract_interp/ival.ml 4 additions, 0 deletionssrc/kernel_services/abstract_interp/ival.ml
- src/kernel_services/abstract_interp/ival.mli 2 additions, 0 deletionssrc/kernel_services/abstract_interp/ival.mli
- src/kernel_services/abstract_interp/memory_map.ml 114 additions, 48 deletionssrc/kernel_services/abstract_interp/memory_map.ml
- src/kernel_services/abstract_interp/memory_map.mli 1 addition, 1 deletionsrc/kernel_services/abstract_interp/memory_map.mli
- src/plugins/value/domains/multidim_domain.ml 4 additions, 3 deletionssrc/plugins/value/domains/multidim_domain.ml
- tests/value/oracle/multidim.res.oracle 14 additions, 6 deletionstests/value/oracle/multidim.res.oracle
Loading
Please register or sign in to comment