IntFinder: Automatically Detecting Integer Bugs in x86 Binary Program.

Ping Chen, Hao Han, Yi Wang, Xiaobin Shen, Xinchun Yin, Bing Mao, Li Xie

Browse the full ICICS paper archive.