@misc{indiciaeb6ab1a4e9137,
  title = {Static Analysis of File-Processing Programs using File Format Specifications},
  author = {Raveendra Kumar Medicherla and Raghavan Komondoor and S. Narendran},
  year = {2015},
  url = {https://arxiv.org/abs/1501.04730},
  note = {Source identifier: 1501.04730}
}