论文部分内容阅读
C程序中的缓冲区溢出漏洞是影响系统安全性的严重问题，利用工具有效地检测并消除出这一漏洞，可以大大提高系统的安全性．针对现有工具在检测缓冲区溢出漏洞上的不足，提出了一种利用模型检测技术对C语言代码中潜在的缓）中区溢出漏洞进行精确检测的新方法．该方法首先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定，再使用模型检测工具对可达性进行验证．使用这一方法建立了一个精确检测C程序中缓冲区溢出漏洞的原型系统，并使用该原型系统进行了试验．结果表明该方法可以较为精确地检测并定位出代码中的漏洞。