论文部分内容阅读
缓冲区溢出漏洞是影响系统安全性的严重问题之一，本文提出了一种利用模型检测技术对代码中潜在的缓冲区溢出漏洞进行精确检测的方法．该方法通过静态分析，先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定．然后，利用模型检测技术对可达性进行验证．基于GCC和Blast，我们使用这一方法构造了一个精确检测缓冲区溢出漏洞的原型系统．最后，使用该原型系统对wu-ftpd，minicom和CoreHTTP等三个实际应用程序进行了检测，结果不仅检测出了已知的漏洞，而且发现了一些新漏洞．