Improving Accuracy of Static Integer Overflow Detection in Binary.

Yang Zhang, Xiaoshan Sun, Yi Deng, Liang Cheng, Shuke Zeng, Yu Fu, Dengguo Feng

Browse the full RAID paper archive.