白盒模糊测试中环境交互问题的解决方案

• 作者: 张婉莹 曹晓梅 陈伟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 漏洞检测 白盒模糊测试 环境交互 外部函数 路径覆盖
• 年，卷（期）: 2020,（1）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 216-221
• 页数: 6页
• 分类号: TP311.53
• 字数: 4705字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0053800

摘要

针对白盒模糊测试中的环境交互问题,提出一种基于外部函数探测和校正的隐藏路径搜索方案 HPSBEF.利用约束求解获取外部函数在执行新路径时的输出值,并将结果记录在链表中,在执行该路径时检测其中的外部函数,根据链表中的信息进行动态修正,以达到驱动该路径进而提高路径覆盖率的目的.实验结果表明,与 FMM方案相比,HPSBEF方案的路径覆盖率和漏洞检测能力均得到提升,且时间开销较低.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈伟	南京邮电大学计算机学院	61	546	11.0	22.0
2	曹晓梅	南京邮电大学计算机学院	31	269	7.0	15.0
3	张婉莹	南京邮电大学计算机学院	1	0	0.0	0.0