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]

Abstract

Abstract is missing.