IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions.

Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng

Browse the full ICSE paper archive.