基于有限回溯符号执行的软件疑似缺陷的自动验证

• 作者: 唐艳武 林锦滨 程绍银 蒋凡
• 来源期刊: 清华大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件疑似缺陷 自动验证 静态分析 符号执行 约束求解
• 年，卷（期）: 2009,（z2）
• 页码范围: 2222-2227
• 页数: 6页
• 分类号: TP302.1
• 语种: 中文

摘要

人工方武验证包含大量误报的软件疑似缺陷集, 耗时费力, 难以发现真实的缺陷.本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法.该方法首先查找可能的触发软件缺陷的执行路径片段, 然后对其进行符号执行获得路径条件, 最后结合路径条件和缺陷触发条件以进行缺陷自动验证.通过对OPENSSL程序进行缓冲区溢出类缺陷的分析, 验证了方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋凡		97	867	16.0	25.0
2	程绍银		26	104	6.0	8.0
3	林锦滨		3	3	1.0	1.0
4	唐艳武		2	1	1.0	1.0