基于PAT树的符号执行工具的设计与实现(DOC 54页)

摘  要....I
ABSTRACT....II
1   绪 论
1.1 研究背景....(1)
1.2 符号执行系统的意义....(3)
1.3 符号执行系统的研究现状....(5)
1.4 论文的组织结构....(8)
2   符号执行系统JSE
2.1 符号执行系统概述....(9)
2.2 符号执行系统架构....(10)
2.3 小结....(13)
3   JAVA程序静态分析技术
3.1程序静态分析....(15)
3.2程序静态分析树....(16)
3.3 小结....(22)
4   基于PAT树的符号执行技术
4.1控制流图....(23)
4.2基于PAT树的符号执行方法....(25)
4.3 小结....(32)
5   符号执行系统测试
5.1测试环境....(33)
5.2功能测试....(33)
5.3 小结....(39)
6   总结及未来的工作
6.1本文总结....(40)
6.2进一步工作....(40)
致  谢....(42)
参考文献....(44)
..............................