@misc{indiciaed24c25bbc28b,
  title = {Deciding Memory Safety for Single-Pass Heap-Manipulating Programs},
  author = {Umang Mathur and Adithya Murali and Paul Krogmeier and P. Madhusudan and Mahesh Viswanathan},
  year = {2019},
  doi = {10.1145/3371103},
  url = {https://arxiv.org/abs/1907.00298},
  note = {Source identifier: 1907.00298}
}