软件静态分析自动化工具的研究与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 1 前言 | 第7-11页 |
| ·选题背景 | 第7页 |
| ·国内外现状 | 第7-9页 |
| ·本文的目标和主要工作内容 | 第9-10页 |
| ·小结 | 第10-11页 |
| 2 静态分析技术 | 第11-22页 |
| ·自动化静态分析技术 | 第11-14页 |
| ·自动和手动分析技术比较 | 第11-14页 |
| ·静态分析工具 | 第14-17页 |
| ·Lex& Yacc | 第14-16页 |
| ·Splint静态分析工具 | 第16-17页 |
| ·GCC编译器 | 第17-19页 |
| ·静态分析的基础知 | 第19-21页 |
| ·编码检查的主要内容 | 第19页 |
| ·代码检查方式 | 第19页 |
| ·代码检查项目常用分析技术 | 第19-21页 |
| ·小结 | 第21-22页 |
| 3 静态分析工具的设计 | 第22-27页 |
| ·静态分析工具的功能 | 第22-23页 |
| ·静态分析的过程 | 第23-24页 |
| ·静态分析工具的设计 | 第24-26页 |
| ·静态分析工具的系统结构图 | 第24-25页 |
| ·静态分析工具的主要模块 | 第25-26页 |
| ·小结 | 第26-27页 |
| 4 静态分析工具的实现 | 第27-46页 |
| ·静态信息提取器的实现 | 第27-39页 |
| ·其于Lex和Yacc开发的静态分析器 | 第27-35页 |
| ·利用AST进行信息提取 | 第35-39页 |
| ·对C源程序进行语法规则检查的实现 | 第39-41页 |
| ·对源程序的结构关系进行分析的实现 | 第41-45页 |
| ·静态分析的方法 | 第41页 |
| ·对源程序进行结构分析 | 第41-44页 |
| ·对源程序进行信息统计 | 第44-45页 |
| ·小结 | 第45-46页 |
| 5 工作总结与展望 | 第46-47页 |
| 致谢 | 第47-48页 |
| 参考文献 | 第48-50页 |
| 在校期间发表的论文 | 第50页 |
