浮点程序符号执行关键技术研究.pdf

《浮点程序符号执行关键技术研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号TP311学号14063035ＵＤＣ004.41密级公开工学硕士学位论文浮点程序符号执行关键技术研究硕士生姓名全明辉学科专业软件工程研究方向软件工程方法与理论指导教师董威教授国防科学技术大学研究生院二〇一七年五月KeyTechnologyResearchonSymbolicExecutionofFloating-pointProgramsCandidate：QuanMinghuiAdvisor：ProfessorDongWeiAthesisSubmittedinpartialfulfillmentoftherequirementsforthedegree

2、ofMasterofEngineeringinSoftwareEngineeringGraduateSchoolofNationalUniversityofDefenseTechnologyChangsha，Hunan，P.R.China（May,2017）国防科学技术大学研究生院硕士学位论文目录摘要..................................................................................................................iABSTRACT.........

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

4、..................................11.2问题描述........................................................................................................31.3研究思路与内容............................................................................................41.4论文结构..........................

5、..............................................................................51.5本章小结........................................................................................................6第二章符号执行技术...................................................................................

6、.....72.1符号执行技术简介........................................................................................72.1.1静态符号执行.....................................................................................72.1.2动态符号执行.....................................................................

7、................82.2符号执行主要应用.........................................................................................92.2符号执行面临的困难..................................................................................102.3符号执行典型工具..........................................................

8、...................