[Eva] Multidim: registers a hook to access other domain states in the join.
Showing
- Makefile 1 addition, 1 deletionMakefile
- src/plugins/value/domains/multidim_domain.ml 43 additions, 0 deletionssrc/plugins/value/domains/multidim_domain.ml
- src/plugins/value/domains/multidim_domain.mli 2 additions, 0 deletionssrc/plugins/value/domains/multidim_domain.mli
- src/plugins/value/engine/abstractions.ml 0 additions, 6 deletionssrc/plugins/value/engine/abstractions.ml
- src/plugins/value/engine/abstractions.mli 0 additions, 1 deletionsrc/plugins/value/engine/abstractions.mli
Loading
Please register or sign in to comment