A method for detecting buffer overflow vulnerabilities | IEEE Conference Publication | IEEE Xplore