[Eva] The evaluation engine gives a context record to domain queries.
The context currently contains the fields: - root: is the queried expression the root expression being evaluated, or is it a subexpression? - sudivision: the maximum number of subdivisions for the current evaluation. - subdivided: is the evaluation being subdivided? [root] is always set to false for subdivided evaluations.
Showing
- src/plugins/value/domains/abstract_domain.mli 22 additions, 10 deletionssrc/plugins/value/domains/abstract_domain.mli
- src/plugins/value/domains/apron/apron_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/apron/apron_domain.ml
- src/plugins/value/domains/cvalue/cvalue_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/cvalue/cvalue_domain.ml
- src/plugins/value/domains/domain_builder.ml 8 additions, 8 deletionssrc/plugins/value/domains/domain_builder.ml
- src/plugins/value/domains/domain_lift.ml 4 additions, 4 deletionssrc/plugins/value/domains/domain_lift.ml
- src/plugins/value/domains/domain_product.ml 6 additions, 6 deletionssrc/plugins/value/domains/domain_product.ml
- src/plugins/value/domains/equality/equality_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/equality/equality_domain.ml
- src/plugins/value/domains/gauges/gauges_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/gauges/gauges_domain.ml
- src/plugins/value/domains/inout_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/inout_domain.ml
- src/plugins/value/domains/octagons.ml 2 additions, 2 deletionssrc/plugins/value/domains/octagons.ml
- src/plugins/value/domains/offsm_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/offsm_domain.ml
- src/plugins/value/domains/simple_memory.ml 2 additions, 2 deletionssrc/plugins/value/domains/simple_memory.ml
- src/plugins/value/domains/symbolic_locs.ml 2 additions, 2 deletionssrc/plugins/value/domains/symbolic_locs.ml
- src/plugins/value/domains/traces_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/traces_domain.ml
- src/plugins/value/domains/unit_domain.ml 2 additions, 2 deletionssrc/plugins/value/domains/unit_domain.ml
- src/plugins/value/engine/evaluation.ml 6 additions, 4 deletionssrc/plugins/value/engine/evaluation.ml
Loading
Please register or sign in to comment