EWFT_基于程序执行过程的白盒测试工具.pdfVIP

第 期 电 子 学 报 １０ Ｖｏｌ．４２ Ｎｏ．１０ 年 月 ２０１４ １０ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ． ２０１４ ＥＷＦＴ：基于程序执行过程的白盒测试工具 １ １ １ ２ 王 颖 ，谷利泽 ，杨义先 ，董宇欣 （ 北京邮电大学信息安全中心，北京 ； 哈尔滨工程大学，黑龙江哈尔滨 ） １． １００８７６２． １５０００１ 摘 要： 应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点 本文基于动态符号执行 ． 和污点分析等动态分析技术，提出了程序路径空间的符号模型的构建方法，设计了 （ ）覆盖测试 ＰＷＡＰａｔｈＷｅｉｇｈｔＡｎａｌｙｓｉｓ 算法，实现了 （ ）原型工具 实验测试结果表明， 提高了程序执行空间的 ＥＷＦＴＥｘｅｃｕｔｉｏｎｂａｓｅｄＷｈｉｔｅｂｏｘＦｕｚｚｉｎｇＴｏｏｌ ． ＥＷＦＴ 测试覆盖率和路径测试深度，相比国际上同类测试工具，能够更加有效地检测出不同软件中存在的多种类型的程序漏 洞． 关键词： 动态测试；软件脆弱性分析；测试用例生成；压缩存储 中图分类号： 文献标识码： 文章编号： （ ） ＴＰ３０９５ Ａ ０３７２２１１２２０１４１０２０１６０８ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１４．１０．０２３ ： ＥＷＦＴＥｘｅｃｕｔｉｏｎｂａｓｅｄＷｈｉｔｅｂｏｘＦｕｚｚｉｎｇｆｏｒＥｘｅｃｕｔａｂｌｅｓ １ １ １ ２ ， ， ， ＷＡＮＧＹｉｎｇＧＵＬｉｚｅＹＡＮＧＹｉｘｉａｎ ＤＯＮＧＹｕｘｉｎ （ ， ， ， ， ； １．ＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙＣｅｎｔｅｒＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＰｏｓｔｓａｎｄＴｅｌｅｃｏｍｍｕｎｉｃａｔｉｏｎｓＢｅｉｊｉｎｇ１００８７６Ｃｈｉｎａ ， ， ） ２．ＨａｒｂｉｎＥｎｇｉｎｅｅｒｉｎｇＵｎｉｖｅｒｓｉｔｙＨａｒｂｉｎ１５０００１Ｃｈｉｎａ ： Ａｂｓｔｒａｃｔ Ｔｈｅｄｙｎａｍｉｃｔｅｓｔｉｎｇｆｏｒａｕｔｏｍａｔ