@inproceedings{IntScope:NDSS09,
  author    = {Tielei Wang and Tao Wei and Zhiqiang Lin and Wei Zou},
  title     = {IntScope: Automatically Detecting Integer Overflow Vulnerability In X86 Binary Using Symbolic Execution},
  booktitle = {Proceedings of the 16th Annual Network and Distributed System Security Symposium},
  address   = {San Diego, CA},
  month     = {February},
  year      = 2009,
}