基于污点指针的二进制代码缺陷检测

摘要：

污点指针严重影响二进制代码数据流和控制流的安全.为此,提出一种二进制代码缺陷检测方法.引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据.在Linux系统下实现ELF二进制代码缺陷检测工具,测试结果表明,该方法能降低测试用例生成数量,并发现Linux系统工具的1个虚函数调用控制缺陷和2个指针内存破坏缺陷.

关键词：污点指针、污点传播、符号执行、边界条件、缺陷检测、内存破坏

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家"863"计划基金资助项目2008AA01Z420

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

页数：共4页

页码：46-49