[Eva] fixes traces domain assign cases
- store lval, type and exp instead of kinstr in order to handle the function call case
Showing
- src/plugins/value/domains/abstract_domain.mli 5 additions, 1 deletionsrc/plugins/value/domains/abstract_domain.mli
- src/plugins/value/domains/traces/traces_domain.ml 18 additions, 9 deletionssrc/plugins/value/domains/traces/traces_domain.ml
- src/plugins/value/eval.ml 3 additions, 0 deletionssrc/plugins/value/eval.ml
- tests/value/traces/oracle/test1.res.oracle 17 additions, 17 deletionstests/value/traces/oracle/test1.res.oracle
- tests/value/traces/oracle/test2.res.oracle 21 additions, 21 deletionstests/value/traces/oracle/test2.res.oracle
Loading
Please register or sign in to comment