IntEQ: Recognizing benign integer overflows via equivalence checking across multiple precisionsHao SunXiangyu Zhanget al.2016ICSE 2016