基于符号化执行的Fuzzing测试方法

• 作者: 熊小兵 舒辉 陈建敏
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Fuzzing测试 代码插装 符号化执行 污点分析
• 年，卷（期）: 2009,（21）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 33-35
• 页数: 3页
• 分类号: TP311
• 字数: 4279字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.21.011

摘要

设计并实现一种基于符号化执行的Fuzzing测试方法.通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据.提出一种改进的污点分析机制,对路径约束条件进行简化,提高了代码覆盖率和漏洞检测的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	舒辉	解放军信息工程大学信息工程学院	21	172	7.0	12.0
2	熊小兵	解放军信息工程大学信息工程学院	3	54	3.0	3.0
3	陈建敏	解放军信息工程大学信息工程学院	1	14	1.0	1.0