没有合适的资源?快使用搜索试试~ 我知道了~
基于符号执行的Fuzzing漏洞检测系统的研究与设计1
需积分: 0 0 下载量 99 浏览量
2022-08-04
16:00:43
上传
评论
收藏 15.87MB PDF 举报
温馨提示
试读
74页
摘要随着 互联 网 产 业 的不断 发展, 软件 己 经融 入人们 日 常 生活 的各个方面生 活需 求 的 多 样性 引 导 着软件功 能 的 多 样性相关业
资源详情
资源评论
资源推荐
密级
:
保
密
期 限
:
\ >
硕
士
学
位
论
文
题
目
:
基
于
符
号
执
行
的
F
u
z z i n
g
漏
洞
检
测
系
统
的
研
究与
设
计
学
号
:
2
0
1
6
1
1 0 74 8
姓
名
:
刘
昭
专
业
:
计
算
机
科
学与 技
术
导
师
:
杨
义
先
学
院
:
网
络
空
间安
全
2 0 1 9
年
4
月
1 5
日
中
国
?
北
京
密
级
:
保
密
期 限
:
财
却
索
大
摩
硕
士
学
位
论
文
题
目
:
基
于
符
号
执
行
的 F
u
z z i n
g
漏
洞
检
测
系
统
的
研
究
与设
计
学
号
:
2 0 1 61 1 0
7 4
8
姓
名
:
刘
昭
专
业
:
计
算
机
科
学
与
技术
导
师
:
杨 义
先
学
院
:
网
络空
间
安
全
学
院
20 1
9
年
4
月
1
5
日
B
e i j i ng
U
n i ve rs i tyof
P
ostsan d
Te l ecom m u n i cati o ns
T
h
e s
i
s
f
o r
M
a
s
t
e
r
D
e
g
r
e e
To
p
ic :
R
E
SE
AR
C
H
A
N
D
D
E S
I
G
N
O
FF
U
ZZI
N
G
V
U L
N
E
R
A
BILIT
Y
DE T
E C
TI
O
NS
Y
S T
E
M
B
A
S
ED
O
N
S
Y
M
B
O
LI
C
E
X
E
C UT
I
O
N
S t ud e n ts N o
. :
2
0 1 6
1 1
0 7
4
8
C a
n
di da t e :
L i
u
Zh a o
S
u
b
j
e c t :
C o
m
p
u t e r Sc i e n c e
S
u
p
er
v
i
s o r :
Y
a n
g
Y
i
x
i a n
I n s t i t u t
e
:
S c h o o
l
ofC
y
b e r s
p
a c eS e c u r i t y
(
A
p
r i l
) (
1 5 t h
) (
2 0 1 9
)
独
创性 ( 或创 新性 ) 声 明
本 人 声 明 所
呈
交 的
论
文是
本人 在 导 师 指 导
下
进
行 的 研
究
工
作
及
取
得 的
研
究
成
果
。
尽
我
所
知 , 除
了
文 中 特
别
加 以 标
注
和
致谢 中 所罗 列 的 内 容 以 外
,
论
文
中
不
包
含
其他
人
己
经
发表 或 撰
写
过
的
研
究
成
果
,
也
不
包
含 为 获 得
北
京 邮 电 大 学
或
其他教育 机构 的 学 位或
证
书
而
使 用
过
的
材
料
。
与
我
一
同
工
作 的 同 志
对
本
研
究
所
做 的
任 何
贡
献
均 己在 论
文
中 作
了 明
确 的 说 明 并
表
示
了 谢意
。
申 请
学
位论
文
与 资 料 若 有不 实
之
处 , 本人
承
担
一
切 相 关 责
任
。
本 人
签
名
:
曰 期 : 2
〇
U
d
关
于
论
文使用 授 权 的 说 明
本人 完 全
了
解北
京 邮 电 大学 有 关保 留 和 使 用 学 位
论
文 的 规定
,
即
:
研
究
生
在
校
攻读学 位 期 间
论
文
工
作 的
知
识
产
权
单位 属北 京 邮
电 大
学
。
学
校
有权保 留
并
向 国
家
有关 部 门
或
机
构
送
交论 文 的复 印 件和 磁
盘
, 允许学
位论
文
被查 阅
和 借
阅
;
学 校
可
以 公布 学 位论 文 的
全
部
或
部 分 内 容 ,
可
以 允 许 采用
影
印
、 缩
印
或
其
它 复 制
手
段
保存
、
汇
编
学
位
论
文
。
本 学 位 论文 不 属 于
保
密 范 围
,
适
用 本
授
权 书
。
本 人
签
名 :
灸
祕
日
期
:
导 师
签
名 :
1 /
°
^
?
\
日
期
:
基
于
符
号
执
行
的
F u z z i n
g
漏
洞
检
测 系
统的
研
究
与
设
计
摘
要
随着
互
联
网 产
业
的 不 断 发 展 ,
软
件
己
经
融
入
人
们 日 常
生
活
的 各个
方面
。
生
活
需 求 的 多 样 性 引 导 着 软 件功 能 的 多 样 性
,
相 关
业
务 的 复杂 度和
源
代
码
数 目
也
逐
渐增 高
。
多 样
性
背
后
的 安
全
问
题
引 起 了
研
究 人 员 的
广
泛
关
注
,
软
件 的 安
全
问
题
直
接
影 响 着
用
户 的 信 息财 产 安
全
,
一
旦
攻
击
者
通
过
软件
漏
洞
控
制 用 户 的 信 息 财产
,
将
会 导 致十 分
严
重
的 后
果
。
所
以 增
强
软 件安
全
性变
得 尤 为
重
要
,
漏 洞检 测 是 增 强 软 件 安
全
性的 首
要
步
骤
, 快
速
准 确 的 检 测 到
漏
洞
可
以
及
时 降 低
风
险
,
因
此
研
宄
漏
洞检测 技 术 具
有
很 强 的 使 用 价值
。
本文
主
要
研
宄
基
于
符号 执 行 的
模
糊 测
试
技
术
,
探
索
提
升
模
糊 测
试
效率
的 有 效方
法
。
通
过
阅 读
大
量
文 献
, 总
结
主
流软 件测
试
技 术
,
研
宄 不
同
软
件
测 试技 术 的
基
本 原
理
,
对
比
国 内 外 符 号
执
行 与 模 糊 测 试 的
研
宄
成
果
,
探
宄
其优 点 与 不
足
, 总
结 模糊 测
试
与 符 号 执 行 的 测 试
过
程
,
为 下
一
步
研
究
工
作
奠定
基
础
。
本
文
主
要
完成
的
工
作
如
下
:
首 先
,
提 出
了
一
种 新 的
基
于 符 号 执
行
的 模糊 测
试
方
法
。
本文
经
过
对
模
糊 测 试 技术与 符 号执 行 原
理
的
深
入
研
究 ,
探
索 如 何 将模 糊
测
试
与 符 号
执
行
相 结 合 , 提
出
一
种 新 的 融合 方
法
。
该 方
法
通
过
预
处
理
筛
选
出
可
能存 在
漏
洞
的 代
码
块
,
之
后
使用
模
糊 测 试检测 代
码
块 的 漏 洞
,
最
后
使用 符 号执
行
技
术
探
索 触 发 路
径
,
生
成
具 体 的 测
试
用
例
。
在模 糊 测
试过
程 中 , 符 号执 行
还
会
指
导 测
试
用 例 的
生
成
, 降
低
了
基
于
随
机变
异
生
成测
试
用 例 的
无
效性 , 减少
了 触 发
重
复
漏洞
的 概 率
,
提
高
整
体
测试 的 效 率
。
其次
,
本文
研
究 了
优
化措
施
辅助 测
试
系 统 的
运
行
。
1 )
在静态 分 析 中 引
入
危 险系 数
公
式
,
通
过
多
方
面
危 险 因 素 的 判 定
,
降
低
代
码
块筛
选
的
难
度
。
2 )
着
重
优 化
了
模糊
测
试
的 变
异
策 略
,
针
对
模糊
测
试
执
行
流
程
中 使
用 随
机
变
异
策略 产
生
大
量
重
复 测 试 用
例
的 问
题
,
提
出 将
基
于
随
机 的 变异 方 式 与
基
于
语
法
的变
异
策略 相 结
合
的
方
式 ,
提
高 了
测
试
用
例
生
成
的 质
量
。 3 )
优化 符号
执行
流
程
中 求解
器
模
块
的 单
一
求
解
问
题
,
研
究 并 行 求解
器
方
法
,
使 其能 够
并 行
实
现
多 种 约 束 求
解
的 功
能
。
最后
,
基
于
本文
研
究
内 容实
现
了 原
型
工
具
La
m
b Fu
z
z
,
并对
真实
环
境 中
剩余73页未读,继续阅读
余青葭
- 粉丝: 38
- 资源: 303
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0