针对白盒模糊测试中的环境交互问题,提岀一种基于外部函数探测和校正的隐藏路径搜索方案 HPSBEF。利用约束求解获取外部函数在执行新路径时的输出值,并将结果记录在链表中,在执行该路径时检测其中的外部函数,根据链表中的信息进行动态修正,以达到驱动该路径进而提高路径覆盖率的目的。实验结果表明,与FMM方案相比, HPSBEF方案的路径覆盖率和漏洞检测能力均得到提升,且时间开销较低。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
全部0条评论
快来发表一下你的评论吧 !