基于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)
..............................

上一篇：PROMETHEE城市群城市竞争力测算与比较分析

下一篇：基金经理的培训课程(DOC 28页)

创业经理10大必备素质(doc 6页)

优秀的部门经理技能培训(DOC 80页)

职业经理人素养修炼讲座(PPT 96页)

职业经理人基本素质培训课程(ppt 119页)

管理学原理与实践讲义(PPT 31页)

人际关系技巧.ppt12