Detecting integer overflow in Windows binary executables based on symbolic execution | IEEE Conference Publication | IEEE Xplore