TY  - RPRT
TI  - Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
AU  - Daniil Kuts
PY  - 2022
DO  - 10.1109/ivmem53963.2021.00014
UR  - https://arxiv.org/abs/2109.03698
ID  - 2109.03698
ER  -