Detecting integer overflow in Windows binary executables based on symbolic execution.

Bin Zhang, Chao Feng, Bo Wu, Chaojing Tang

Browse the full SNPD paper archive.