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

摘要：

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

关键词：漏洞检测、白盒模糊测试、环境交互、外部函数、路径覆盖

所属期刊栏目：46

分类号：TP311.53(计算技术、计算机技术)

资助基金：国家自然科学基金61602258

在线出版日期：2020-03-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：216-221