基于前向探针的符号执行路径搜索算法

• 作者: 柳晓龙 武泽慧 王允超 魏强
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 符号执行 覆盖率 前向探针 状态转移
• 年，卷（期）: 2019,（4）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 427-431
• 页数: 5页
• 分类号: TN918.1|O157.4
• 字数: 4478字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2019.04.008

摘要

Driller利用符号执行技术辅助模糊测试工具绕过复杂检查,有效提高测试覆盖率.为减少路径数量,Driller的符号执行路径选择算法对于不能立即产生新的状态转移的分支点不翻转,不约束求解.有些分支点,例如循环结构内的分支点,虽然被翻转后并不能立即产生新的状态转移,但是可能间接影响后续的状态转移.设计基于前向探针的符号执行路径搜索算法FB-SA,即向前符号执行若干步来探测分支点附近是否存在新的状态转移.若存在新的状态转移,则翻转该分支点.实验数据表明,FB-SA算法可以快速提高覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏强		20	66	4.0	7.0
2	武泽慧		4	3	1.0	1.0
3	柳晓龙		1	0	0.0	0.0
4	王允超		1	0	0.0	0.0