[Eva] In each domain module, defines the domain name.
Documents the need for a clear and simple name in the domain interface. In the engine, the registration of abstractions does not change the domain name anymore.
Showing
- src/plugins/value/domains/abstract_domain.mli 4 additions, 0 deletionssrc/plugins/value/domains/abstract_domain.mli
- src/plugins/value/domains/cvalue/cvalue_domain.ml 2 additions, 1 deletionsrc/plugins/value/domains/cvalue/cvalue_domain.ml
- src/plugins/value/domains/domain_builder.ml 1 addition, 0 deletionssrc/plugins/value/domains/domain_builder.ml
- src/plugins/value/domains/domain_builder.mli 2 additions, 0 deletionssrc/plugins/value/domains/domain_builder.mli
- src/plugins/value/domains/domain_product.ml 4 additions, 3 deletionssrc/plugins/value/domains/domain_product.ml
- src/plugins/value/domains/equality/equality_domain.ml 2 additions, 0 deletionssrc/plugins/value/domains/equality/equality_domain.ml
- src/plugins/value/domains/gauges/gauges_domain.ml 2 additions, 0 deletionssrc/plugins/value/domains/gauges/gauges_domain.ml
- src/plugins/value/domains/inout_domain.ml 1 addition, 1 deletionsrc/plugins/value/domains/inout_domain.ml
- src/plugins/value/domains/multidim/multidim_domain.ml 2 additions, 0 deletionssrc/plugins/value/domains/multidim/multidim_domain.ml
- src/plugins/value/domains/octagons.ml 1 addition, 1 deletionsrc/plugins/value/domains/octagons.ml
- src/plugins/value/domains/offsm_domain.ml 2 additions, 0 deletionssrc/plugins/value/domains/offsm_domain.ml
- src/plugins/value/domains/printer_domain.ml 1 addition, 0 deletionssrc/plugins/value/domains/printer_domain.ml
- src/plugins/value/domains/simple_memory.ml 5 additions, 3 deletionssrc/plugins/value/domains/simple_memory.ml
- src/plugins/value/domains/simple_memory.mli 1 addition, 1 deletionsrc/plugins/value/domains/simple_memory.mli
- src/plugins/value/domains/symbolic_locs.ml 1 addition, 1 deletionsrc/plugins/value/domains/symbolic_locs.ml
- src/plugins/value/domains/taint_domain.ml 1 addition, 1 deletionsrc/plugins/value/domains/taint_domain.ml
- src/plugins/value/domains/traces_domain.ml 1 addition, 1 deletionsrc/plugins/value/domains/traces_domain.ml
- src/plugins/value/domains/unit_domain.ml 1 addition, 1 deletionsrc/plugins/value/domains/unit_domain.ml
- src/plugins/value/engine/abstractions.ml 0 additions, 1 deletionsrc/plugins/value/engine/abstractions.ml
Loading
Please register or sign in to comment