| 表目录 | 第1-9页 |
| 图目录 | 第9-10页 |
| 摘要 | 第10-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-21页 |
| ·论文研究背景 | 第12页 |
| ·研究现状 | 第12-20页 |
| ·程序分析方法 | 第12-16页 |
| ·C 语言安全编程规则集 | 第16-17页 |
| ·安全编程规则的检测工具 | 第17-20页 |
| ·论文的主要工作及创新 | 第20页 |
| ·论文结构 | 第20-21页 |
| 第二章 航天C 程序安全规则集 | 第21-32页 |
| ·背景介绍 | 第21-22页 |
| ·MISRA-C 安全规则集和Testbed 编程规则 | 第22-25页 |
| ·MISRA-C 安全规则集 | 第22-23页 |
| ·Testbed 编程规则 | 第23-25页 |
| ·《航天器软件C 语言编程规范》的分类及内容 | 第25-27页 |
| ·安全规则集对比分析 | 第27-28页 |
| ·《航天器软件C 语言编程规范》的支撑工具分析 | 第28-31页 |
| ·静态分析工具QAC 分析 | 第28页 |
| ·静态分析工具LDRA Testbed 分析 | 第28-30页 |
| ·分析结论 | 第30-31页 |
| ·小结 | 第31-32页 |
| 第三章 编译器的前端实现原理分析 | 第32-52页 |
| ·编译器基本结构 | 第32页 |
| ·词法分析 | 第32-37页 |
| ·词法分析功能 | 第32-33页 |
| ·单词的类型和类别码 | 第33-34页 |
| ·词法分析器生成工具Lex | 第34-37页 |
| ·语法分析 | 第37-41页 |
| ·文法 | 第37-38页 |
| ·LR 分析 | 第38-39页 |
| ·构造LALR 语法分析表 | 第39-40页 |
| ·语法分析器的自动生成工具Yacc | 第40-41页 |
| ·语义分析 | 第41-42页 |
| ·GCC 编译器工作过程分析 | 第42-51页 |
| ·GCC 编译器系统结构 | 第42页 |
| ·GCC 的前端组成 | 第42-43页 |
| ·GCC 的整体控制流程 | 第43-45页 |
| ·GCC 中的数据结构分析 | 第45-51页 |
| ·小结 | 第51-52页 |
| 第四章 SC-RuleChecker 的设计与实现 | 第52-66页 |
| ·SC-RuleChecker 的检查算法设计与实现 | 第52-63页 |
| ·SC-RuleChecker 的实现流程 | 第52-53页 |
| ·SC-RuleChecker 的规则配置文件 | 第53-54页 |
| ·SC-RuleChecker 的实现方法 | 第54-62页 |
| ·SC-RuleChecker 实现方法总结 | 第62-63页 |
| ·SC-RuleChecker 界面设计 | 第63-65页 |
| ·SC-RuleChecker 的功能模块 | 第63-64页 |
| ·SC-RuleChecker 运行界面 | 第64-65页 |
| ·小结 | 第65-66页 |
| 第五章 SC-RuleChecker 的系统测试及实际应用 | 第66-76页 |
| ·SC-RuleChecker 的系统测试 | 第66-72页 |
| ·测试用例1 | 第66-68页 |
| ·测试用例2 | 第68-69页 |
| ·测试用例3 | 第69-70页 |
| ·测试用例4 | 第70-71页 |
| ·测试结论 | 第71-72页 |
| ·SC-RuleChecker 的实际应用 | 第72-75页 |
| ·用SC-RuleChecker 检测航天嵌入式软件 | 第72-74页 |
| ·用SC-RuleChecker 检测μc/os 系统 | 第74-75页 |
| ·小结 | 第75-76页 |
| 第六章 结束语 | 第76-78页 |
| ·工作总结 | 第76页 |
| ·下一步工作 | 第76-78页 |
| 致谢 | 第78-79页 |
| 参考文献 | 第79-82页 |
| 作者在学期间取得的学术成果 | 第82-83页 |
| 附录A 攻读硕士期间参加的科研项目 | 第83-84页 |
| 附录B 工程文档 | 第84页 |
