Yang Zhang, Xiaoshan Sun, Yi Deng, Liang Cheng, Shuke Zeng, Yu Fu, Dengguo Feng. Improving Accuracy of Static Integer Overflow Detection in Binary. In Herbert Bos, Fabian Monrose, Gregory Blanc, editors, Research in Attacks, Intrusions, and Defenses - 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, Proceedings. Volume 9404 of Lecture Notes in Computer Science, pages 247-269, Springer, 2015. [doi]
Abstract is missing.