基于符号执行的驱动程序缺陷检测技术研究

《基于符号执行的驱动程序缺陷检测技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号TP311学号14060099UDC004.41密级公开工学硕士学位论文基于符号执行的驱动程序缺陷检测技术研究硕士生姓名陈英杰学科专业软件工程研究方向基于符号执行的软件安全性分析指导教师董威教授国防科学技术大学研究生院二〇一六年十一月SymbolicExecutionBasedBugDetectionofDriversCandidate：ChenYingjieAdvisor：ProfessorDongWeiAthesisSubmittedinpartialfulfillmentoftherequirementsforthedegreeofMast

2、erofEngineeringinSoftwareEngineeringGraduateSchoolofNationalUniversityofDefenseTechnologyChangsha，Hunan，P.R.ChinaNovember，2016国防科学技术大学研究生院硕士学位论文目录摘要..................................................................................................................iABSTRACT........

3、.................................................................................................ii第一章绪论........................................................................................................11.1研究背景...............................................................

4、........................................11.2符号执行简介..................................................................................................31.2.1符号执行技术的原理.............................................................................31.2.2符号执行面临的困难........................

5、.....................................................51.3本文工作.........................................................................................................71.4相关工作.........................................................................................................

6、81.5论文结构.........................................................................................................9第二章复杂数据类型的符号化支持...................................................................112.1示例............................................................................

7、................................112.2方法介绍.......................................................................................................152.2.1懒初始化处理基本框架......................................................................152.2.2结构体指针的懒初始化...............................

8、.......................................162.2.3非