TY  - RPRT
TI  - Deciding Memory Safety for Single-Pass Heap-Manipulating Programs
AU  - Umang Mathur
AU  - Adithya Murali
AU  - Paul Krogmeier
AU  - P. Madhusudan
AU  - Mahesh Viswanathan
PY  - 2019
DO  - 10.1145/3371103
UR  - https://arxiv.org/abs/1907.00298
ID  - 1907.00298
ER  -