检索结果-南通市图书馆

检索条件"主题词=覆盖导向"

共 3 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于条件分支回溯的导向型模糊测试技术研究与实现

基于条件分支回溯的导向型模糊测试技术研究与实现

引用

作者：邓雪平北京邮电大学

学位级别：硕士

模糊测试技术已经成为目前发现软件安全漏洞最广泛采用的技术。基于覆盖引导的模糊测试可以通过fuzzing过程中得到部分信息指导测试样例生成,以提高种子的质量,不断优化种子执行到更深的代码分支,挖掘出更多隐藏的漏洞。其中AFL是最早... 详细信息

模糊测试技术已经成为目前发现软件安全漏洞最广泛采用的技术。基于覆盖引导的模糊测试可以通过fuzzing过程中得到部分信息指导测试样例生成,以提高种子的质量,不断优化种子执行到更深的代码分支,挖掘出更多隐藏的漏洞。其中AFL是最早提出基于覆盖引导模糊测试概念的fuzzing工具,但由于AFL存在覆盖信息记录不全及覆盖率信息计算不准确的问题,使得后续的模糊测试工作具有很大的局限性。实验数据显示,仅基于路径覆盖引导的模糊测试技术代码覆盖率仍然很低,目前已有研究人员将符号执行与覆盖引导的模糊测试技术结合,用符号执行去求解约束探索新路径,但是符号执行存在路径爆炸,约束求解困难,且效率低下等问题。在软件中,路径数量随着代码块的增加呈指数增长,这就导致无法记录完整的路径覆盖信息,而路径信息覆盖不全和记录不准确（如AFL）会给模糊测试带来巨大的局限性。针对以上背景,本文主要对模糊测试面临的两个问题进行了研究:一是AFL存在的覆盖信息不完整和不准确、二是如何提高模糊测试的代码覆盖率。以下是分别是提出的两种技术解决方案。1.提出了基于全基本块覆盖的模糊测试技术。该技术首先通过以基本块覆盖信息代替路径覆盖信息来引导测试样例生成,并提出了新的位图映射方案,解决了 AFL中存在的覆盖不全问题。2.提出了基于模拟退火算法的条件分支回溯技术该技术首先利用动态插桩获取被测对象的条件控制流。当模糊测试遇到瓶颈时,利用条件分支回溯算法溯源上游分支,寻找当前未被执行过的最优路径进行切换,以获得更好的时效性,使模糊测试朝着代码覆盖率的方向进行。本文最终实现了基于条件分支回溯的导向型模糊测试原型系统CobraFuzzer。通过设计两组与AFL的对比实验,实验数据表明,在相同时间内,CobraFuzzer比AFL具有更高的代码覆盖率,且能发现更多的崩溃。从而验证本文提出方法的有效性。

关键词：模糊测试覆盖导向条分支回溯

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向安卓系统内核的fuzzing工具的设计与实现

面向安卓系统内核的fuzzing工具的设计与实现

引用

作者：陈奕修北京邮电大学

学位级别：硕士

当今安卓系统已经成为移动端的主流系统,占据了绝大部份市场份额,却有着极大的安全风险。特别是安卓内核漏洞,一旦被利用,攻击者就有可能获得系统的所有权限,因此比用户态漏洞有着更严重的危害。随着人们对安全的逐渐重视,现有的内核漏... 详细信息

当今安卓系统已经成为移动端的主流系统,占据了绝大部份市场份额,却有着极大的安全风险。特别是安卓内核漏洞,一旦被利用,攻击者就有可能获得系统的所有权限,因此比用户态漏洞有着更严重的危害。随着人们对安全的逐渐重视,现有的内核漏洞检测工具能力越来越强。许多存在于代码浅层的漏洞已被发现,因此研究人员开始探索隐藏在代码更深处的内核漏洞,而传统的基于随机系统调用的内核模糊测试(fuzzing)方式已无法满足这种需求。针对内核的被动fuzzing技术具有系统调用顺序自然,更容易触发深层次漏洞的特点,是寻找新的攻击面,发现新漏洞的高效技术,但是这种方法在触发漏洞之后不会生成具体的测试用例;而面向内核的主动fuzzing技术利用事先变异好的参数,主动地执行对应的系统调用来进行测试,一旦发现漏洞就可以得到相应的测试用例,但是所有调用都依赖专家知识来配置,不容易触及到深层次代码。为了实现更高效的内核fuzzing,本文提出主被动结合的fuzzing方法。一方面,该方法利用被动fuzzing过程中所运行应用程序的系统调用日志来推理出系统调用模型,通过用主动fuzzing执行该系统调用模型来保留被动fuzzing的调用序列,使主动fuzzing也可以触及到更深层次的代码。另一方面,该方法用被动fuzzing崩溃后的系统调用序列引导主动fuzzing过程,使主动fuzzing尽可能覆盖更多序列中的调用,直至触发调用序列对应的漏洞,从而为被动fuzzing生成对应的测试用例。本文基于AFL和主被动结合的fuzzing方法实现了面向安卓内核的fuzzing工具X-AFL,它包含被动fuzzing,模型推理和主动fuzzing三个模块。本文对三个模块分别进行了实验评估,实验结果表明,被动fuzzing模块能够有效地触发较多内核错误;而且X-AFL使用推理模型比随机系统调用能获得更高的系统调用执行效率;结合了推理模型和序列引导技术的X-AFL是一个有效的安卓内核fuzzing工具。

关键词： fuzzing技术安卓内核覆盖导向模型推理

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

动态符号执行辅助的fuzzing技术的研究与实现

动态符号执行辅助的fuzzing技术的研究与实现

引用

作者：裴霄潇北京邮电大学

学位级别：硕士

随着信息技术的快速发展,软件在人们生活中的应用越加广泛、深入,其安全性也越发受到重视。Fuzzing作为一种高效、实用的软件测试技术,其在发现程序错误、漏洞等问题方面表现突出,是软件安全领域内一项备受关注的技术。近年来,对fuzzin... 详细信息

随着信息技术的快速发展,软件在人们生活中的应用越加广泛、深入,其安全性也越发受到重视。Fuzzing作为一种高效、实用的软件测试技术,其在发现程序错误、漏洞等问题方面表现突出,是软件安全领域内一项备受关注的技术。近年来,对fuzzing技术的研究集中在减少其盲目性、提高其准确性方面。与之相比,动态符号执行通过符号化程序输入、收集并求解路径约束来生成高质量的测试用例,该技术能够精确覆盖程序路径,但运行速度较慢。两种技术优势互补的特性使得将其结合使用成为近年来的一个研究热点,目前在该方向上已取得初步研究成果。本文的工作聚焦在如何更加有效地结合fuzzing和动态符号执行这两种技术,以使它们更大程度上发挥出各自的优势。具体来说,针对目前该方向上存在的程序路径漏解问题,本文分析了其背后的原因,并提出了一个改进的程序路径记录方法来解决该问题。本文运用提出的方法构建了一个二进制程序分析工具Digger。该工具支持Linux系统上64位和32位的程序,能够处理从文件读取数据的程序,且能够支持被测程序附加其他参数。本文在人工构建的程序和现实中的应用(如coreutils工具集、gif2png等)上进行了实验,实验结果表明,与目前该方向上的一个优秀工具相比,Digger能够达到更高的代码覆盖率,且能够发现更多的程序错误,由此证明了本文所提出方法的有效性和实用性。

关键词：模糊测试动态符号执行覆盖导向

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

回到顶部

执行限定条件

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：