缓冲区溢出漏洞精确检测方法研究.pdfVIP

第 11 期 电　　子 　　学 　　报 Vol . 36 　No . 11 　2008 年 11 月 ACTA ELECTRONICA SINICA Nov . 　2008 　 缓冲区溢出漏洞精确检测方法研究 王 　雷 ,李 　吉 ,李博洋 (北京航空航天大学计算机学院 ,北京 100083) 　　摘 　要 : 　缓冲区溢出漏洞是影响系统安全性的严重问题之一 ,本文提出了一种利用模型检测技术对代码中潜在 的缓冲区溢出漏洞进行精确检测的方法. 该方法通过静态分析 ,先将对缓冲区漏洞的检测转化为对程序某个位置可达 性的判定. 然后 ,利用模型检测技术对可达性进行验证. 基于 GCC 和 Blast ,我们使用这一方法构造了一个精确检测缓