@misc{indiciaeedab124b9526,
  title = {Pruning, Pushdown Exception-Flow Analysis},
  author = {Shuying Liang and Weibin Sun and Matthew Might and Andy Keep and David Van Horn},
  year = {2014},
  doi = {10.1109/scam.2014.44},
  url = {https://arxiv.org/abs/1409.3108},
  note = {Source identifier: 1409.3108}
}