嵌入式C代码审核系统设计与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-13页 |
| ·课题研究背景 | 第8-10页 |
| ·嵌入式系统 | 第8-9页 |
| ·嵌入式软件的安全可靠性 | 第9-10页 |
| ·研究目的和意义 | 第10页 |
| ·论文的研究内容 | 第10-11页 |
| ·论文的组织结构 | 第11-13页 |
| 2 软件代码静态检测研究综述 | 第13-21页 |
| ·静态分析与动态测试 | 第13页 |
| ·静态分析方法 | 第13-15页 |
| ·静态检测工具 | 第15-17页 |
| ·安全编程规范 | 第17-20页 |
| ·本章小结 | 第20-21页 |
| 3 系统的设计方法研究 | 第21-36页 |
| ·代码审核系统设计思想 | 第21-22页 |
| ·XML中间模型 | 第22-29页 |
| ·XML介绍 | 第22页 |
| ·源代码结构模型 | 第22-24页 |
| ·词法单元信息模型 | 第24-26页 |
| ·类型模型线性化表示 | 第26-29页 |
| ·缺陷模式 | 第29-32页 |
| ·软件缺陷 | 第29-30页 |
| ·缺陷模式的定义 | 第30页 |
| ·缺陷模式的形式化表示 | 第30-32页 |
| ·安全知识库 | 第32-35页 |
| ·XML查询语言XQUERY | 第32-33页 |
| ·安全知识库的设计 | 第33-35页 |
| ·本章小结 | 第35-36页 |
| 4 代码审核系统的实现 | 第36-48页 |
| ·系统总体结构设计 | 第36-37页 |
| ·系统前端解析模块 | 第37-38页 |
| ·预处理模块 | 第37-38页 |
| ·源代码解析模块 | 第38页 |
| ·系统后端检测模块 | 第38-47页 |
| ·规则配置模块 | 第39-40页 |
| ·多文件处理模块 | 第40-43页 |
| ·检测驱动模块 | 第43-46页 |
| ·缺陷反向重映射模块 | 第46-47页 |
| ·缺陷报告模块 | 第47页 |
| ·本章小结 | 第47-48页 |
| 5 系统验证 | 第48-54页 |
| ·系统执行流程验证 | 第48-51页 |
| ·系统执行环境 | 第48页 |
| ·系统执行流程 | 第48-51页 |
| ·系统流程验证分析 | 第51页 |
| ·安全编程规范实现验证 | 第51-53页 |
| ·测试用例的设计和选择 | 第51-52页 |
| ·测试过程与结果分析 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 结论 | 第54-56页 |
| 参考文献 | 第56-58页 |
| 攻读硕士学位期间发表学术论文情况 | 第58-59页 |
| 致谢 | 第59-61页 |
