CSOD: Context-Sensitive Overflow Detection

Hongyu Liu, Sam Silvestro, Xiaoyin Wang, Lide Duan, Tongping Liu. CSOD: Context-Sensitive Overflow Detection. In Mahmut Taylan Kandemir, Alexandra Jimborean, Tipp Moseley, editors, IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019, Washington, DC, USA, February 16-20, 2019. pages 50-60, IEEE, 2019. [doi]

@inproceedings{LiuSWDL19,
  title = {CSOD: Context-Sensitive Overflow Detection},
  author = {Hongyu Liu and Sam Silvestro and Xiaoyin Wang and Lide Duan and Tongping Liu},
  year = {2019},
  doi = {10.1109/CGO.2019.8661198},
  url = {https://doi.org/10.1109/CGO.2019.8661198},
  researchr = {https://researchr.org/publication/LiuSWDL19},
  cites = {0},
  citedby = {0},
  pages = {50-60},
  booktitle = {IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019, Washington, DC, USA, February 16-20, 2019},
  editor = {Mahmut Taylan Kandemir and Alexandra Jimborean and Tipp Moseley},
  publisher = {IEEE},
  isbn = {978-1-7281-1436-1},
}