BOFSanitizer: Efficient locator and detector for buffer overflow vulnerability | IEEE Conference Publication | IEEE Xplore