@misc{indiciae0fce4ea41bbc,
  title = {Event-Flow Graphs for Efficient Path-Sensitive Analyses},
  author = {Ahmed Tamrawi and Suresh Kothari},
  year = {2015},
  url = {https://arxiv.org/abs/1404.1279},
  note = {Source identifier: 1404.1279}
}