@misc{indiciaea08578718640,
  title = {Pushdown Abstractions of JavaScript},
  author = {David Van Horn and Matthew Might},
  year = {2011},
  url = {https://arxiv.org/abs/1109.4467},
  note = {Source identifier: 1109.4467}
}