| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 引言 | 第8-17页 |
| ·机载代码静态安全检测的研究背景和意义 | 第8-9页 |
| ·静态代码分析技术的发展和研究现况 | 第9-12页 |
| ·静态代码分析技术的发展史 | 第9-10页 |
| ·现有的各种源代码检测工具 | 第10-12页 |
| ·代码静态分析通用方法介绍 | 第12-15页 |
| ·检测代码所采用的国家军用软件 C 语言使用标准 | 第15页 |
| ·本文主要工作与论文的结构安排 | 第15-17页 |
| 第二章 机载代码静态安全检测的方法和流程 | 第17-31页 |
| ·机载代码静态分析方法综述 | 第17-24页 |
| ·预处理和词法分析 | 第18-20页 |
| ·语法分析 | 第20-22页 |
| ·语义分析 | 第22-24页 |
| ·逻辑检查 | 第24页 |
| ·针对资源泄漏问题的源代码安全检测算法设计 | 第24-29页 |
| ·块内资源泄漏问题的检测算法 | 第25-26页 |
| ·对于条件分支语句的分析 | 第26-27页 |
| ·存在过程间指针传递的代码的资源泄漏问题分析 | 第27-29页 |
| ·可定制规则的代码安全检测方法 | 第29-30页 |
| ·规则定制的实现方式 | 第29-30页 |
| ·规则库分析技术 | 第30页 |
| ·本章总结 | 第30-31页 |
| 第三章 规则库分析技术的设计与实现 | 第31-43页 |
| ·规则库分析器和规则库定制机制的设计 | 第31-34页 |
| ·规则库分析器的结构 | 第31-32页 |
| ·规则库的设计 | 第32页 |
| ·规则库编辑器的设计 | 第32-34页 |
| ·规则库分析器的实现 | 第34-39页 |
| ·规则类库 | 第34-35页 |
| ·规则结构和规则文件 | 第35-36页 |
| ·规则库的解析 | 第36-38页 |
| ·分析过程中对规则库的调用 | 第38-39页 |
| ·基于国军标的规则库设计 | 第39-42页 |
| ·国军标中的入库规则 | 第40-41页 |
| ·规则类的匹配 | 第41页 |
| ·根据耦合性优化规则 | 第41-42页 |
| ·本章总结 | 第42-43页 |
| 第四章 飞控系统机载代码静态安全检测系统的设计与实现 | 第43-68页 |
| ·代码静态安全检测系统框架构造 | 第43-44页 |
| ·静态分析系统的数据结构及设计过程 | 第44-58页 |
| ·词法分析器的设计 | 第44-49页 |
| ·语法分析器的设计 | 第49-57页 |
| ·语法树遍历机制 | 第57-58页 |
| ·用户界面和输出系统的设计 | 第58-62页 |
| ·主界面的设计 | 第59-60页 |
| ·子系统的配置界面设计 | 第60-61页 |
| ·输出系统的设计 | 第61-62页 |
| ·系统的验证 | 第62-67页 |
| ·报错性能测试 | 第62-64页 |
| ·预处理能力和文件管理测试 | 第64-66页 |
| ·无效代码的辨识 | 第66-67页 |
| ·本章总结 | 第67-68页 |
| 第五章 总结与展望 | 第68-69页 |
| 致谢 | 第69-70页 |
| 参考文献 | 第70-74页 |
| 在学期间的研究成果 | 第74-75页 |