基于整数遗传算法的整数溢出漏洞检测技术研究

摘要：

近些年来,整数溢出漏洞迅速增长,给计算机系统带来严重威胁.针对软件中复杂条件分支导致的路径爆炸问题给漏洞检测带来的困难,本文提出了一种智能的软件漏洞检测技术,来识别二进制可执行程序中的整数溢出漏洞.该方法使用符号执行技术获取二进制可执行程序的路径约束条件,利用整数遗传算法的适应度函数值来引导检测软件漏洞所需的输入数据的生成.实验结果显示,引入符号执行和整数遗传算法来构造输入数据的智能检测技术,和传统Fuzzing检测技术相比,能快速的识别出目标程序中的整数溢出漏洞.

关键词： 二进制可执行程序 符号执行技术 整数遗传算法 整数溢出漏洞检测技术

作者: 崔宝江 梁晓兵 王建新

作者单位: 北京邮电大学计算机学院,北京,100876 北京林业大学信息学院,北京,100083

会议类型: 国内会议

会议名称: 第三届信息安全漏洞分析与风险评估大会

会议地点: 合肥

会议语种:中文

页码: 286-296

在线出版日期: 2010-10-01（万方平台首次上网日期，不代表论文的发表时间）