期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于动态能量调控的导向式灰盒模糊测试技术
1
作者
戴渭
陆余良
朱凯龙
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2020年第8期1534-1542,共9页
导向式灰盒模糊测试(DGF)是能够快速生成测试用例,达到给定的程序目标区域并且发现漏洞的模糊测试技术.针对当前DGF技术测试效率较低的问题,提出基于动态能量调控的DGF技术.通过静态分析技术构建程序的函数调用图(CG)和控制流图(CFGs),...
导向式灰盒模糊测试(DGF)是能够快速生成测试用例,达到给定的程序目标区域并且发现漏洞的模糊测试技术.针对当前DGF技术测试效率较低的问题,提出基于动态能量调控的DGF技术.通过静态分析技术构建程序的函数调用图(CG)和控制流图(CFGs),定义并计算更准确的函数级别、基本块级别的目标距离;通过跟踪种子的执行轨迹,计算种子到目标区域的距离;基于动态能量调控函数对模糊测试中种子的变异数量进行更有效的调控,引导生成到达目标区域的测试用例.基于该方法,实现导向式模糊测试原型系统AFL-Ant,并与现有的导向式模糊测试方法进行对比实验.结果表明,本研究所提出的方法能够更加快速、有效地对目标区域进行测试,在补丁测试、漏洞复现方面具有较强的应用价值.
展开更多
关键词
灰盒
模糊
测试
静态分析
距离计算
动态能量调控
导向式模糊测试
在线阅读
下载PDF
职称材料
结合混合符号执行的导向式灰盒模糊测试技术
被引量：
5
2
作者
戴渭
陆余良
朱凯龙
《计算机工程》
CAS
CSCD
北大核心
2020年第8期190-196,共7页
导向式灰盒模糊测试是一种能够快速生成测试用例,达到给定程序目标区域并且发现漏洞的模糊测试技术。针对当前导向式模糊测试难以通过魔术字节等检查语句,且对目标区域路径覆盖率较低的问题,提出结合混合符号执行的导向式灰盒模糊测试...
导向式灰盒模糊测试是一种能够快速生成测试用例,达到给定程序目标区域并且发现漏洞的模糊测试技术。针对当前导向式模糊测试难以通过魔术字节等检查语句,且对目标区域路径覆盖率较低的问题,提出结合混合符号执行的导向式灰盒模糊测试方法。通过跟踪种子的执行路径,使用约束求解器对种子的遗传变异加以辅助,生成能够通过检查语句的测试用例,从而对目标区域进行有效测试。实验结果表明,该测试方法能够提高导向式模糊测试对目标区域的覆盖率。
展开更多
关键词
导向
式
灰盒
模糊
测试
动态能量调控
混合符号执行
遗传变异
约束求解器
在线阅读
下载PDF
职称材料
题名
基于动态能量调控的导向式灰盒模糊测试技术
1
作者
戴渭
陆余良
朱凯龙
机构
国防科技大学电子对抗学院
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2020年第8期1534-1542,共9页
基金
国家重点研发计划重点专项资助项目(2017YFB0802900)。
文摘
导向式灰盒模糊测试(DGF)是能够快速生成测试用例,达到给定的程序目标区域并且发现漏洞的模糊测试技术.针对当前DGF技术测试效率较低的问题,提出基于动态能量调控的DGF技术.通过静态分析技术构建程序的函数调用图(CG)和控制流图(CFGs),定义并计算更准确的函数级别、基本块级别的目标距离;通过跟踪种子的执行轨迹,计算种子到目标区域的距离;基于动态能量调控函数对模糊测试中种子的变异数量进行更有效的调控,引导生成到达目标区域的测试用例.基于该方法,实现导向式模糊测试原型系统AFL-Ant,并与现有的导向式模糊测试方法进行对比实验.结果表明,本研究所提出的方法能够更加快速、有效地对目标区域进行测试,在补丁测试、漏洞复现方面具有较强的应用价值.
关键词
灰盒
模糊
测试
静态分析
距离计算
动态能量调控
导向式模糊测试
Keywords
grey-box fuzzing
static analysis
distance calculation
dynamic energy regulation
directed fuzzing
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
结合混合符号执行的导向式灰盒模糊测试技术
被引量：
5
2
作者
戴渭
陆余良
朱凯龙
机构
国防科技大学电子对抗学院
出处
《计算机工程》
CAS
CSCD
北大核心
2020年第8期190-196,共7页
基金
国家重点研发计划(2017YFB0802900)。
文摘
导向式灰盒模糊测试是一种能够快速生成测试用例,达到给定程序目标区域并且发现漏洞的模糊测试技术。针对当前导向式模糊测试难以通过魔术字节等检查语句,且对目标区域路径覆盖率较低的问题,提出结合混合符号执行的导向式灰盒模糊测试方法。通过跟踪种子的执行路径,使用约束求解器对种子的遗传变异加以辅助,生成能够通过检查语句的测试用例,从而对目标区域进行有效测试。实验结果表明,该测试方法能够提高导向式模糊测试对目标区域的覆盖率。
关键词
导向
式
灰盒
模糊
测试
动态能量调控
混合符号执行
遗传变异
约束求解器
Keywords
Directed Gray-box Fuzzing(DGF)test
dynamic energy regulation
mixed symbolic execution
genetic variation
constraint solver
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于动态能量调控的导向式灰盒模糊测试技术
戴渭
陆余良
朱凯龙
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2020
0
在线阅读
下载PDF
职称材料
2
结合混合符号执行的导向式灰盒模糊测试技术
戴渭
陆余良
朱凯龙
《计算机工程》
CAS
CSCD
北大核心
2020
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
