内存泄漏静态检测模型的设计与实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·内存泄漏与静态测试 | 第9-10页 |
| ·课题来源及背景 | 第10-11页 |
| ·工作重点 | 第11页 |
| ·论文安排 | 第11-13页 |
| 第二章 内存泄漏 | 第13-19页 |
| ·内存泄漏的概念 | 第13页 |
| ·内存泄漏产生的原因 | 第13-15页 |
| ·内存泄漏产生方式的分类 | 第15-16页 |
| ·内存泄漏检测的重要意义 | 第16-17页 |
| ·国内外研究现状 | 第17-19页 |
| 第三章 静态测试 | 第19-23页 |
| ·静态测试的概念 | 第19页 |
| ·静态测试与动态测试的比较 | 第19页 |
| ·静态检测技术 | 第19-23页 |
| 第四章 静态检测工具DTSC的设计与实现 | 第23-48页 |
| ·DTSC的介绍 | 第23-26页 |
| ·DTSC的框架 | 第23-26页 |
| ·DTSC的特点与优势 | 第26-27页 |
| ·DTSC的设计与实现 | 第27-48页 |
| ·DTSC的抽象语法树生成单元 | 第27-30页 |
| ·DTSC的控制流图生成单元 | 第30-33页 |
| ·DTSC的符号表生成单元 | 第33-38页 |
| ·DTSC的区间运算单元 | 第38-44页 |
| ·DTSC的缺陷模式状态机计算单元 | 第44-47页 |
| ·DTSC的数据库访问单元 | 第47-48页 |
| 第五章 DTSC中内存泄漏模型的设计与实现 | 第48-54页 |
| ·内存泄漏的模式总结 | 第48-51页 |
| ·别名分析 | 第51-52页 |
| ·内存泄漏模型的设计与实现 | 第52-54页 |
| 第六章 DTSC的内存泄漏模型的检测 | 第54-58页 |
| ·测试用例的设计与检测 | 第54-56页 |
| ·与K8检测结果的比较 | 第56-58页 |
| 第七章 总结 | 第58-60页 |
| ·研究工作总结 | 第58-59页 |
| ·进一步工作的展望 | 第59-60页 |
| 附录 | 第60-63页 |
| 附录1 BNF for C.jj | 第60-63页 |
| 参考文献 | 第63-65页 |
| 致谢 | 第65-66页 |
| 攻读硕士学位期间已录用学术论文情况 | 第66页 |
