基于决策树的选择符号执行和Fuzzing测试方法

摘要：

为实现漏洞快速检测,提出了一种基于决策树的选择符号执行和Fuzzing测试方法.在漏洞检测开始之前就判定适合模糊测试(或符号执行)的路径集,从而制导模糊测试(或符号执行)到达适合它们的区域.通过在固定的时间窗口,采集反映模糊测试、符号执行的各项指标,作为生成决策树的输入,以决策树的分类结果,实现对漏洞挖掘中模糊测试、符号测试的自动化调度.同时,还提出路径化简去重算法提升漏洞挖掘的效率.试验结果表明,所提方法相对于单独符号执行或模糊测试,不仅提高了语句和分支覆盖率,还增加了路径数目.

关键词：Fuzzing测试、符号执行、决策树、路径优化、漏洞检测

所属期刊栏目：45

分类号：TP301(计算技术、计算机技术)

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

页数：共4页

页码：98-100,104