Hongyu Liu, Sam Silvestro, Xiaoyin Wang, Lide Duan, Tongping Liu: CSOD: Context-Sensitive Overflow Detection. CGO 2019: 50-60