教育论文网

数据竞争型漏洞注入技术的研究与实现
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文
数据竞争型漏洞注入技术的研究与实现
论文目录
 
摘要第1-6页
ABSTRACT第6-9页
第一章 绪论第9-14页
　1.1 研究背景和意义第9-10页
　1.2 国内外研究现状第10-12页
　　1.2.1 数据竞争语料库第10-11页
　　1.2.2 漏洞注入第11-12页
　1.3 本文研究内容第12页
　1.4 本文结构安排第12-14页
第二章 相关理论和技术第14-23页
　2.1 数据竞争第14-15页
　2.2 数据竞争检测技术第15-17页
　　2.2.1 锁集分析第15-16页
　　2.2.2 happens-before分析第16页
　　2.2.3 混合型分析第16-17页
　2.3 抽象语法树第17-19页
　2.4 漏洞注入第19-20页
　2.5 静态分析第20-21页
　2.6 程序调试第21-22页
　2.7 本章小节第22-23页
第三章 数据竞争型漏洞注入工具的设计第23-30页
　3.1 数据竞争在源码中表现形式第23-25页
　3.2 数据竞争构造及注入方法第25-27页
　3.3 DRInject整体框架第27-29页
　　3.3.1 静态分析第28页
　　3.3.2 动态分析第28-29页
　　3.3.3 代码插入第29页
　3.4 本章小结第29-30页
第四章 数据竞争型漏洞注入工具的实现第30-38页
　4.1 需求分析第30页
　4.2 系统设计第30-31页
　4.3 系统实现第31-37页
　　4.3.1 静态分析模块第32-33页
　　4.3.2 动态分析模块第33-36页
　　4.3.3 代码插入模块第36-37页
　4.4 本章小结第37-38页
第五章 实验和评估第38-52页
　5.1 实验环境第38页
　5.2 DRInject评估第38-46页
　　5.2.1 宿主程序选取第38-39页
　　5.2.2 DRInject数据竞争注入评估第39-42页
　　5.2.3 DRInject数据竞争注入实例第42-46页
　5.3 数据竞争检测工具评估第46-51页
　　5.3.1 数据竞争检测工具选取第46-47页
　　5.3.2 数据竞争再现评估第47-49页
　　5.3.3 数据竞争检测能力评估第49-51页
　5.4 本章小结第51-52页
第六章 总结与展望第52-54页
　6.1 论文总结第52页
　6.2 未来展望第52-54页
参考文献第54-58页
致谢第58-59页
攻读学位期间发表的学术论文第59页

本篇论文共59页，点击这进入下载页面。
 
更多论文
数据竞争型漏洞注入技术的研究与实
面向大规模软件系统的实用混合执行
基于自适应学习系统的学习资源推荐
基于多核处理器的高可靠实时软件架
物联网开放平台服务管理的研究与应
社交网络国民安全突发事件动态画像
基于语义匹配的在线社交网络对象精
基于用户画像的社交网络跨媒体大数
基于远程监督的关系抽取的算法研究
指静脉加密算法的研究
基于行人重识别的行人路径生成系统
司法领域知识图谱构建及推荐应用的
面向监控场景的图像去夜技术的研究
基于可伸缩区块链的航空监视信息存
塔防游戏关卡自动生成与验证技术的
基于图嵌入与多任务学习的推荐算法
结合区块链的物联网服务系统安全保
基于未来帧预测的视频异常检测算法
基于RGB-D图像的人体三维重建在iOS
大数据持续分析平台的设计与实现
面向多源大数据的数据准备平台的设
基于多时间维度的运动数据的分析和
面向电网大数据的电力用户行为分析
基于联盟链的新型数据交易市场的公
基于SRL策略的网络学习空间中集体知
面向异构平台的混合任务调度系统设
基于区块链优化物联网数据汇聚安全
基于草图提取的人脸矢量化算法研究
IMS虚拟化与车联网资源分配算法研究
文档图像质量评价系统的设计与实现
融合内容的协同过滤推荐系统
微博与有线电视用户群的关联性研究
面向REST接口模型的SSM框架多层代码
Android系统服务半自动化模糊测试工
基于多步攻击检测的电力二次系统安
基于配置核查和漏洞树方式的OpenSt
以太坊交易探测技术研究
数据感知的流程预测方法研究
敏捷开发模式在软件质量管理中的应
基于Scrum敏捷开发方法的A项目进度
5G赋能场景教学项目的应用策略研究
基于大数据的电视节目类型供需平衡
基于Spark的数据流转监测和作业调度
长时间尺度内二分网络社团发现系统
基于边缘结构提取的传统纹样矢量化
分布式传统民族服饰图案存储平台的
基于全局与局部风格化约束的传统纹
基于数据边缘缓存的可信认证服务模
基于联盟链的光伏补贴系统设计与实
基于诱饵的Android加密型勒索软件的
基于流量的安卓恶意远控软件检测系
基于关键帧提取和跨模态特征融合的
基于跨模态特征融合的用户兴趣挖掘
基于区块链的防伪溯源技术研究与系
产教融合式物联网教学平台的设计与
 
漏洞注人论文 数据竞争论文 静态分析论文 调试
版权申明：目录由用户maggie**提供，www.51papers.com仅收录目录，作者需要删除请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved