基于PAT树的符号执行工具的设计与实现

摘要	第1-5页
ABSTRACT	第5-8页
1 绪论	第8-16页
·研究背景	第8-10页
·符号执行系统的意义	第10-12页
·符号执行系统的研究现状	第12-15页
·交互符号执行系统EFFIGY	第12页
·功能全面的符号执行系统SELECT	第12-13页
·单元测试引擎CUTE	第13页
·现有研究总结	第13-15页
·论文的组织结构	第15-16页
2 符号执行系统JSE	第16-22页
·符号执行系统概述	第16-17页
·符号执行系统架构	第17-20页
·主体框架结构	第17-19页
·系统模块设计	第19-20页
·小结	第20-22页
3 Java 程序静态分析技术	第22-30页
·程序静态分析	第22-23页
·程序静态分析树	第23-29页
·小结	第29-30页
4 基于PAT 树的符号执行技术	第30-40页
·控制流图	第30-32页
·基于PAT 树的符号执行方法	第32-39页
·输入和输出	第32页
·符号计算	第32-35页
·程序基本结构处理	第35-37页
·模块调用的处理	第37-38页
·数组的处理	第38-39页
·小结	第39-40页
5 符号执行系统测试	第40-47页
·测试环境	第40页
·功能测试	第40-46页
·顺序结构处理	第40-42页
·分支结构处理	第42-44页
·循环结构处理	第44-45页
·函数调用处理	第45-46页
·小结	第46-47页
6 总结及未来的工作	第47-49页
·本文总结	第47页
·进一步工作	第47-49页
致谢	第49-51页
参考文献	第51-54页