检索结果-内蒙古大学图书馆

计算机应用研究 2024年第11期41卷 3455-3463页

作者：李泽源尹中旭宗国笑桑海涯信息工程大学网络空间安全学院郑州450001

当前定向模糊测试技术的平均距离模型在多目标测试中缺乏对逐个目标的指向性,在导向同一目标时路径多样化不强,且未根据不同目标的覆盖程度动态调整距离度量,导致多目标测试不均衡和效率降低,难以在结合静态分析告警等多目标环境中开展... 详细信息

当前定向模糊测试技术的平均距离模型在多目标测试中缺乏对逐个目标的指向性,在导向同一目标时路径多样化不强,且未根据不同目标的覆盖程度动态调整距离度量,导致多目标测试不均衡和效率降低,难以在结合静态分析告警等多目标环境中开展漏洞挖掘。针对以上问题,提出了一种多目标定向探索的模糊测试技术MTDFuzz,识别待遍历多目标的支配节点,利用基于多目标支配分析的测试用例优选,通过支配节点覆盖评分激励机制引导生成能够覆盖支配节点和目标的测试用例,实现在限定关键覆盖要素的前提下,对目标路径的多样化和指向性探索;根据目标的覆盖状态进行路径动态修剪优化,已被充分测试的路径和目标不参与距离信息反馈,通过剪枝和全局支配节点修正动态调整支配节点和目标基本块评分,利用支配节点覆盖度优化种子调度策略,实现对多目标测试资源的有效分配。实验结果表明:与常用的定向模糊测试工具对比,多目标下MTDFuzz的平均漏洞发现时间缩短了57.6%,且在Glibc、FFmpeg等4个开源程序中发现了12个未公开漏洞,显著提高了定向模糊测试的多目标探索能力和漏洞挖掘效率。

关键词：定向模糊测试漏洞挖掘多目标导向程序分析

来源：评论

学校读者我要写书评

暂无评论

基于关键障碍点分析的网络程序状态变量定位与推断方法及系统

基于关键障碍点分析的网络程序状态变量定位与推断方法及系统

引用

作者：尹中旭宗国笑黄辉辉陈昊文李俊儒桑海涯 450000 河南省郑州市高新区科学大道62号

本发明提供一种基于关键障碍点分析的网络程序状态变量定位与推断方法，及系统。该方法包括：使用测试用例对目标网络程序进行模糊测试以确定执行路径中遇到的障碍点;所述障碍点是指目标网络程序的CFG中位于覆盖区域边界上的节点;使用...

标准号: CN119046145A

本发明提供一种基于关键障碍点分析的网络程序状态变量定位与推断方法，及系统。该方法包括：使用测试用例对目标网络程序进行模糊测试以确定执行路径中遇到的障碍点;所述障碍点是指目标网络程序的CFG中位于覆盖区域边界上的节点;使用障碍点来定位状态变量的初始搜索空间;评估所有障碍点的重要性，选取重要性得分较高的障碍点作为关键障碍点;基于所述关键障碍点对状态变量的初始搜索空间进行缩小以确定最终搜索空间，并根据状态变量特征从所述最终搜索空间中定位状态变量;分析状态变量的不同取值之间的流向关系以构建状态模型，基于所述状态模型进行状态转移推断。

关键词：

来源：评论

学校读者我要写书评

暂无评论

一种面向关键障碍的推理驱动污点分析方法和系统

一种面向关键障碍的推理驱动污点分析方法和系统

引用

作者：尹中旭宗国笑蔡锦辉李泽源李俊儒桑海涯王振国 450000 河南省郑州市高新区科学大道62号

本发明提供一种面向关键障碍的推理驱动污点分析方法和系统。该方法包括：步骤1：确定待测试程序中的障碍点，并为每个障碍点赋予权重；步骤2：将权重较高的障碍点作为目标障碍点，选择能够到达所述目标障碍点的测试用例；步骤3：对能... 详细信息

标准号: CN118035083A

本发明提供一种面向关键障碍的推理驱动污点分析方法和系统。该方法包括：步骤1：确定待测试程序中的障碍点，并为每个障碍点赋予权重；步骤2：将权重较高的障碍点作为目标障碍点，选择能够到达所述目标障碍点的测试用例；步骤3：对能够到达目标障碍点的测试用例进行突变，利用污点推断算法推断目标障碍点与输入之间的关联关系；步骤4：根据目标障碍点与输入之间的关联关系，指定输入中的相关字节作为污点，采用动态污点分析算法进行污点跟踪；步骤5：根据污点跟踪结果，采用动态权重调整算法对每个障碍点的权重进行更新，并返回执行步骤2，直至达到停止条件；所述动态权重调整算法用于减少难以到达的节点的权重。

关键词：障碍点污点权重调整算法关联关系动态权推断待测试程序测试分析算法跟踪结果关键障碍停止条件算法推理突变驱动返回跟踪赋予更新分析

来源：评论

学校读者我要写书评

暂无评论

一种多目标环境下定向探索的模糊测试方法

一种多目标环境下定向探索的模糊测试方法

引用

作者：尹中旭宗国笑李泽源蔡锦辉桑海涯李俊儒王振国 450000 河南省郑州市高新区科学大道62号

本发明属于模糊测试技术领域，公开一种多目标环境下定向探索的模糊测试方法，通过目标优先级动态调配策略，通过维护目标路径树对所有目标的覆盖情况进行全局控制，通过已执行和覆盖情况，动态修剪目标路径树和动态计算目标距离，使得... 详细信息

标准号: CN118363848A

本发明属于模糊测试技术领域，公开一种多目标环境下定向探索的模糊测试方法，通过目标优先级动态调配策略，通过维护目标路径树对所有目标的覆盖情况进行全局控制，通过已执行和覆盖情况，动态修剪目标路径树和动态计算目标距离，使得所有目标根据动态执行情况得到不同程度的测试验证。本发明收集所有待遍历目标的节点，并通过计算前驱节点的途径情况来深入分析潜在目标的覆盖状态，从而在不同目标之间取得平衡；本发明增强了测试用例趋向目标位置的灵敏度，为测试目标的充分覆盖与深度测试提供重要支撑。

关键词：模糊测试覆盖优先级动态测试测试目标动态计算动态修剪动态执行覆盖状态目标距离目标路径目标位置前驱节点潜在目标全局控制深度测试维护目标重要支撑多目标灵敏度路径树遍历调配验证平衡探索分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：