EWFT：基于程序执行过程的白盒测试工具

• 作者: 杨义先 王颖 董宇欣 谷利泽
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 动态测试 软件脆弱性分析 测试用例生成 压缩存储
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2016-2023
• 页数: 8页
• 分类号: TP309.5
• 字数: 7174字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2014.10.023

摘要

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点。本文基于动态符号执行和污点分析等动态分析技术，提出了程序路径空间的符号模型的构建方法，设计了PWA（Path Weight Analysis）覆盖测试算法，实现了EWFT（Execution-based Whitebox Fuzzing Tool）原型工具。实验测试结果表明，EWFT提高了程序执行空间的测试覆盖率和路径测试深度，相比国际上同类测试工具，能够更加有效地检测出不同软件中存在的多种类型的程序漏洞。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨义先	北京邮电大学信息安全中心	629	8372	39.0	65.0
2	谷利泽	北京邮电大学信息安全中心	32	358	11.0	18.0
3	董宇欣		43	318	9.0	16.0
4	王颖	北京邮电大学信息安全中心	24	174	8.0	12.0