基于符号执行的代码安全检查技术研究与实现

	载入中...

基于符号执行的代码安全检查技术研究与实现

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→安全保密论文

基于符号执行的代码安全检查技术研究与实现

论文目录
摘要	第1-6页
ABSTRACT	第6-11页
第一章绪论	第11-20页
1.1 研究背景	第11-12页
1.2 研究的目的和意义	第12页
1.3 符号执行研究现状	第12-14页
1.3.1 广义符号执行	第12-13页
1.3.2 并行符号执行	第13页
1.3.3 动态符号执行	第13-14页
1.4 相关技术和研究	第14-16页
1.5 研究内容	第16-18页
1.6 组织结构	第18-20页
第二章符号执行概述	第20-25页
2.1 符号执行简介	第20-21页
2.2 约束求解器简介	第21-22页
2.3 符号执行面临的挑战	第22-24页
2.3.1 执行路径空间爆炸问题	第22-23页
2.3.2 高效约束求解器实现问题	第23页
2.3.3 复杂数据类型的建模问题	第23页
2.3.4 面向多线程环境问题的符号执行	第23-24页
2.4 本章小结	第24-25页
第三章动态符号执行的优化研究	第25-41页
3.1 缓解路径爆炸的优化	第25-31页
3.1.1 函数摘要思想	第25-27页
3.1.2 基于CFG的执行状态选择算法	第27-31页
3.2 基于无用函数分析的优化	第31-37页
3.2.1 死代码消除	第31-33页
3.2.2 无用函数消除	第33-37页
3.3 内存模型的改进	第37-40页
3.3.1 常见的内存模型	第38页
3.3.2 基于数组模型的改进	第38-39页
3.3.3 内存模型实例	第39-40页
3.4 本章小结	第40-41页
第四章系统实现	第41-65页
4.1 总体架构	第41-43页
4.2 bitcode优化模块	第43-46页
4.2.1 bitcode优化模块主要功能	第43页
4.2.2 bitcode优化模块的实现	第43-46页
4.3 语义解释器模块	第46-50页
4.3.1 语义解释器主要功能	第46-47页
4.3.2 语义解释器模块的实现	第47-50页
4.4 执行状态选择模块	第50-54页
4.4.1 执行状态选择模块主要功能	第50页
4.4.2 执行状态分支的实现	第50-52页
4.4.3 执行状态选择的实现	第52-54页
4.5 内存模型模块	第54-57页
4.5.1 内存模型模块主要功能	第54页
4.5.2 内存对象的实现	第54-56页
4.5.3 栈结构的实现	第56-57页
4.6 安全缺陷检查模块	第57-64页
4.6.1 内存安全检查的实现	第58-62页
4.6.2 整形溢出检查的实现	第62-63页
4.6.3 除0错误检查的实现	第63-64页
4.7 本章小结	第64-65页
第五章实验与结论	第65-76页
5.1 实验说明	第65-66页
5.2 实验环境	第66页
5.3 安全缺陷检查实验	第66-71页
5.3.1 测试用例说明	第66-69页
5.3.2 内存越界问题	第69-70页
5.3.3 访问野指针问题	第70页
5.3.4 内存泄露问题	第70-71页
5.3.5 内存指针的二次释放问题	第71页
5.4 无用函数分析实验	第71-73页
5.5 执行状态选择算法实验	第73-75页
5.6 实验总结	第75-76页
第六章总结与展望	第76-78页
6.1 本文总结	第76页
6.2 展望	第76-78页
致谢	第78-79页
参考文献	第79-82页
攻读硕士期间的研究成果	第82-83页

本篇论文共83页，点击这进入下载页面。

更多论文
基于符号执行的代码安全检查技术研
基于行为监控的病毒程序自动化鉴定
基于Ovirt-Kvm桌面云管理平台安全子
容错增强安全关键实时应用的优化设
基于感兴趣区的医学图像易碎水印算
数字视频混沌加密算法的设计与实现
基于渗透测试的网络游戏平台安全性
移动智能终端地理位置信息的隐私保
面向多租户应用的隐私保护动态评测
面向SSL Error-Handling漏洞的自动
中间相遇攻击的自动检测算法的研究
面向SaaS应用的动态数据隐私保护机
二进制代码函数相似度匹配技术研究
基于相位恢复的光学图像加密和认证
移动群智感知中基于弱安全网络编码
混淆电路在水印协议和分类协议中的
基于权限和多特征信息增益分析的An
混合云计算下基于PKI和IBC组合的身
ZUC算法随机序列统计可视化系统检测
基于细胞神经网络的图像加密方法研
基于H.264/AVC的视频感兴趣区域检测
基于JPEG图像的加密术与隐写术混合
基于身份密码体制的移动支付安全协
基于Android手机的图像加密算法研究
Android应用广告插件的安全机制分析
基于能量权重的信息隐写算法设计与
云存储下数据完整性和安全性研究
移动终端感知安全技术的研究与实现
基于RCC技术的手机支付系统空圈平台
基于cache的边信道攻击可行性分析符
图像无损信息隐藏算法研究
基于差分隐私的社交网络隐私保护方
基于HDCP协议的认证加密算法及软件
高效用隐私保护数据挖掘的研究
线上支付用户对设备便利性与安全忧
基于笔尖运动轨迹的签名认证方法研
Android移动终端隐私数据保护系统设
千万级网络与信息安全事件仿真系统
基于混沌的音视频加密系统的设计与
基于混沌的图像无损压缩加密算法的
基于相位剪切操作非对称光学加密系
JavaScript脚本恶意代码检测系统
程序最差执行时间的混合估算方法研
基于ABAQUS显式分析的钢筋和砌体材
并行程序性能建模关键技术研究
基于Android和LBS的城市交通出行系
遂宁市环保局排污管理系统的设计与
海量异构数据定制平台的设计与实现
MIS系统在移动端扩展的研究与实现—
基于组合Skyline查询的电子地图系统
秦皇岛武警交通某部应急救援系统
基于SCA的波形组件化技术研究与实现
基于iOS手机客户端装维系统的研究
基于Web的供热用户报修系统的研发
基于SEO的女村官信息支持系统设计与
基于电子签章的电子合同系统设计与
基于动态规划的机房排课管理系统设
基于iBeacon技术的室内定位系统的研
CMMI在H组织项目管理中的应用研究
中国铁塔物业成本管理系统的设计和
游戏管理系统的设计与实现
基于.NET框架的工厂智能监控分析系
ATS沙盘教学演练系统的设计与实现
基于网络爬虫的在线教育平台设计与
百度Hi移动平台的设计与实现
基于DPDK的云AC系统设计与实现
基于集中式订阅模式的供应链物流跟
基于移动Web的伺服驱动器远程诊断控
InnoTREE股权投融资平台的设计与实
酒店分销商业务系统的设计与实现
商业银行电子银行软件项目成本管理
SEM广告数据分析系统的设计与实现
基于Spring与iBatis的游戏活动商城
基于iOS平台的企业级IM软件的设计与

符号执行论文 LLVM论文符号执行优化论文 Z3
版权申明：目录由用户黄**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved