Bounds Checking with Taint-Based Analysis

Weihaw Chuang, Satish Narayanasamy, Brad Calder, Ranjit Jhala. Bounds Checking with Taint-Based Analysis. In Koen De Bosschere, David R. Kaeli, Per Stenström, David B. Whalley, Theo Ungerer, editors, High Performance Embedded Architectures and Compilers, Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007, Proceedings. Volume 4367 of Lecture Notes in Computer Science, pages 71-86, Springer, 2007. [doi]

@inproceedings{ChuangNCJ07,
  title = {Bounds Checking with Taint-Based Analysis},
  author = {Weihaw Chuang and Satish Narayanasamy and Brad Calder and Ranjit Jhala},
  year = {2007},
  doi = {10.1007/978-3-540-69338-3_6},
  url = {http://dx.doi.org/10.1007/978-3-540-69338-3_6},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/ChuangNCJ07},
  cites = {0},
  citedby = {0},
  pages = {71-86},
  booktitle = {High Performance Embedded Architectures and Compilers, Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007, Proceedings},
  editor = {Koen De Bosschere and David R. Kaeli and Per Stenström and David B. Whalley and Theo Ungerer},
  volume = {4367},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69337-6},
}