Java代码缺陷检测分析与应用

摘要	第1-5页
ABSTRACT	第5-8页
第一章 绪论	第8-12页
·本论文研究背景及意义	第8-9页
·国内外研究现状	第9-10页
·本论文研究目标与主要研究内容	第10-11页
·论文的组织	第11-12页
第二章 Java语言安全特性分析	第12-18页
·Java语言概述	第12-13页
·Java语言特点	第12页
·Java语言安全特性	第12-13页
·Java语言常见缺陷	第13-18页
·缺陷产生的原因	第13-14页
·常见缺陷及漏洞利用	第14-18页
第三章 静态分析技术概述	第18-23页
·静态分析特点	第18-19页
·静态分析方法	第19-23页
·抽象解释	第19页
·模型检测	第19-20页
·定理证明	第20-21页
·符号执行	第21页
·类型推断	第21-22页
·方法小结	第22-23页
第四章 Java代码缺陷检测工具的设计与实现	第23-45页
·LAPSE+简介	第23-26页
·LAPSE+的结构框架	第23页
·污染对象传播分析	第23-26页
·规范的完整性	第26页
·静态分析	第26-32页
·上下文敏感指针分析的意义	第26-28页
·静态查找缺陷	第28-30页
·改进的对象命名方法	第30页
·PQL查询语句	第30-32页
·RCP应用开发	第32-45页
·将eclipse插件转化为rcp应用	第32-40页
·分析工具的扩展	第40-45页
第五章 实验	第45-58页
·实验环境	第45页
·实验思路	第45-46页
·实验结果	第46-58页
·LAPS可用性实验	第46-47页
·LAPS与LAPSE等工具的比较	第47-56页
·LAPS与findbugs比较	第56-58页
第六章 结束语	第58-60页
·本文工作总结	第58页
·进一步的研究工作	第58-60页
参考文献	第60-62页
致谢	第62页