Auditing Buffer Overflow Vulnerabilities Using Hybrid Static-Dynamic Analysis | IEEE Conference Publication | IEEE Xplore