教育论文网

基于动态符号执行和静态分析的Fuzzing测试算法研究

硕士博士毕业论文站内搜索    
分类1:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文软件工程论文
分类2:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文一般性问题论文安全保密论文
基于动态符号执行和静态分析的Fuzzing测试算法研究
论文目录
 
摘要第1-7页
ABSTRACT第7-11页
第一章 绪论第11-17页
 1.1 研究背景及意义第11页
 1.2 研究动机及现状第11-14页
 1.3 本文主要工作内容第14-15页
 1.4 本文组织结构第15-16页
 1.5 本章小结第16-17页
第二章 相关技术研究第17-34页
 2.1 软件漏洞检测第17-21页
  2.1.1 软件漏洞第17-20页
  2.1.2 漏洞检测第20-21页
 2.2 模糊测试技术第21-25页
  2.2.1 漏洞检测技术Fuzzing测试的整体流程第22-23页
  2.2.2 Fuzzing测试种子能量调度和队列筛选第23-24页
  2.2.3 Fuzzing测试的局限性第24-25页
 2.3 静态分析技术第25-29页
  2.3.1 LLVM第25-27页
  2.3.2 程序控制流分析第27-29页
 2.4 动态符号执行技术第29-33页
  2.4.1 动态符号执行流程第30-31页
  2.4.2 路径空间探索第31-32页
  2.4.3 动态符号执行与模糊测试结合存在的问题第32-33页
 2.5 本章小结第33-34页
第三章 基于动态符号执行和静态分析的Fuzzing测试算法研究第34-54页
 3.1 分支代码块危险性静态评估算法第34-39页
  3.1.1 危险性评估准备工作第34-37页
  3.1.2 分支代码块危险性评估思路第37-38页
  3.1.3 分支代码块接近度评分方法第38页
  3.1.4 分支代码块连通度评分方法第38-39页
 3.2 基于危险分数的导向型Fuzzing测试算法第39-46页
  3.2.1 问题引出第39-40页
  3.2.2 导向型Fuzzing测试算法优化思路第40-41页
  3.2.3 基于危险分数的导向型Fuzzing测试流程设计第41-42页
  3.2.4 种子队列筛选和能量调度优化第42-46页
 3.3 动态符号执行路径探索算法第46-49页
  3.3.1 问题引出第46页
  3.3.2 路径探索算法优化思路第46-47页
  3.3.3 路径约束和危险分支节点序列设计第47-48页
  3.3.4 危险分支节点优先的路径搜索策略第48-49页
 3.4 漏洞检测方法Fuzzing测试整体设计第49-52页
  3.4.1 Fuzzing测试与动态符号执行结合方式的优化第49-50页
  3.4.2 整体Fuzzing测试算法设计第50-52页
 3.5 本章小结第52-54页
第四章 Fuzzing测试工具SpeedyFuzz设计与实现第54-70页
 4.1 整体架构及调度模块第54-58页
  4.1.1 整体框架设计及工作流程第54-55页
  4.1.2 调度模块第55-58页
 4.2 静态分析模块第58-61页
 4.3 模糊测试模块第61-65页
 4.4 符号执行模块第65-69页
 4.5 本章小结第69-70页
第五章 实验与评估第70-82页
 5.1 实验环境第70页
 5.2 实验内容第70-81页
  5.2.1 有效性评估第71-78页
  5.2.2 LAVA-M对比测试第78-81页
 5.3 本章小结第81-82页
第六章 结束语第82-84页
 6.1 工作总结第82-83页
 6.2 问题与展望第83-84页
参考文献第84-88页
致谢第88-89页
攻读学位期间发表的学术论文第89页

本篇论文共89页,点击这进入下载页面
 
更多论文
基于动态符号执行和静态分析的Fuzz
基于全局函数调用关系的Android系统
面向驾驶场景的车载应用检测技术研
面向医疗图像的可逆数字水印算法研
基于双向Transformer编码器及分段卷
基于交互式图模型的关系抽取模型研
基于抽象语法树的代码缺陷检测技术
文本主题建模技术研究与实现
支持隐私保护的数据挖掘方法研究及
基于对抗网络的跨领域关系抽取研究
面向Android平台的App保护方案研究
基于FAHP与SVM的安全风险评估方案研
面向车联网的分层区块链设计与实现
基于微服务业务平台的服务监控研究
视频智能填充的研究与实现
基于web的三维虚拟形象生成与控制方
基于微服务架构的加氢站选址系统设
面向文本的实体关系提取方法的研究
组件化可配置B2B2C平台运营前端系统
基于微服务的B2B2C平台销售系统服务
基于LDA主题模型和ALS协同过滤的节
基于隐式社群和多模态的视频推荐算
复合型日志模版提取方法的研究与实
面向智能客服的多人交互式WebAR系统
基于网络切片下的车联网无线资源分
基于雾计算的智能工厂网络资源调度
基于Hyperledger的私有区块链系统设
示例图像的特征表示和检索
行人的特征表示与再辨识
面向物联网应用的增强安全机制研究
可扩展的智能合约扫描器的研究与实
基于视频分析的动态纹理缺陷检测
基于Appium的APP并行自动化测试平台
面向异构计算的大数据智能分析平台
基于移动大数据的人群移动事件的检
基于移动摄像头的多目标检测、跟踪
复杂条件下的高效人脸检测算法
个性化推荐的城市穿越与定向运动平
“城市穿越”的智能化数据管理系统
Scratch教学平台教师端管理系统的设
面向篮球运动的智能比赛解析系统设
基于上下文感知和多特征的群组活动
基于仿射匹配的双目视觉由运动恢复
面向三维重建的单目深度估计研究与
网络文档的信息隐藏技术研究与实现
纸质文件的溯源追踪技术研究
基于Web的数据挖掘可视化平台研究与
面向多场景的大数据集成存储与治理
基于GIS的海量交通数据可视化系展现
水生态治理建设中水资源管理平台的
路桥维护管理系统的设计与实现
光场图像的快速视差计算与并行化实
边缘约束的3D场景三角剖分深度估计
基于多特征融合的遮挡关系推理研究
动态异质信息网络表示学习研究
基于Scratch3的在线编程系统的设计
Python在线学习平台的设计与实现
基于跨模态关联的文本到图像生成系
面向知识库问答的实体链接技术研究
基于注意力模型的图像高级语义标注
基于区块链的智慧城市资源共享系统
大规模数据的谱聚类算法的设计与实
基于社交关系和地理位置的兴趣点推
基于图像特征迁移学习的PM2.5估算系
Android恶意软件检测系统的研究与实
立体仓库模拟系统的可视化设计与实
 
模糊测试论文 漏洞检测论文 静态分析论文 符号执行论文
版权申明:目录由用户1858035**提供,www.51papers.com仅收录目录,作者需要删除请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved