嵌入式应用程序内存检测技术的研究与实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-15页 |
| ·研究背景 | 第9-10页 |
| ·研究现状 | 第10-12页 |
| ·课题研究内容 | 第12-13页 |
| ·本文的组织结构 | 第13-15页 |
| 第二章 理论基础与实验平台 | 第15-37页 |
| ·嵌入式系统概述 | 第15-18页 |
| ·嵌入式系统的简介 | 第15页 |
| ·嵌入式软件开发 | 第15-16页 |
| ·嵌入式交叉开发环境 | 第16-18页 |
| ·静态检测技术 | 第18-22页 |
| ·静态检测的优缺点 | 第19-20页 |
| ·静态分析技术和工具 | 第20-22页 |
| ·常见内存错误概述 | 第22-33页 |
| ·缓冲区溢出 | 第22-23页 |
| ·内存泄露 | 第23-28页 |
| ·指针解引用 | 第28-33页 |
| ·实验平台 | 第33-36页 |
| ·硬件设备 | 第34页 |
| ·软件运行环境 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| 第三章 缓冲区溢出检测方法研究 | 第37-54页 |
| ·引言 | 第37-38页 |
| ·缓冲区溢出相关理论基础 | 第38-48页 |
| ·缓冲区溢出检测研究 | 第48-51页 |
| ·缓冲区溢出检测算法 | 第48-50页 |
| ·缓冲区溢出防范 | 第50-51页 |
| ·缓冲区溢出检测的设计流程 | 第51-52页 |
| ·实验分析 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 指针有效性检测方法研究 | 第54-70页 |
| ·引言 | 第54页 |
| ·指针有效性检测的理论基础 | 第54-58页 |
| ·指针指向和变量指针集 | 第54-55页 |
| ·指针有限状态机描述 | 第55-58页 |
| ·指针故障分析 | 第58页 |
| ·指针有效性检测方法 | 第58-64页 |
| ·数据结构设计 | 第58-59页 |
| ·指针解引用算法描述 | 第59-60页 |
| ·提取变量定义信息 | 第60-61页 |
| ·指针使用解析 | 第61-64页 |
| ·指针有效性检测的设计流程 | 第64-66页 |
| ·实验分析 | 第66-69页 |
| ·本章小结 | 第69-70页 |
| 第五章 静态代码检测系统SCDS | 第70-81页 |
| ·SCDS需求说明 | 第70-71页 |
| ·SCDS基本框架 | 第71-73页 |
| ·SCDS结构图 | 第71-72页 |
| ·用户接口 | 第72-73页 |
| ·SCDS设计与实现 | 第73-76页 |
| ·静态代码检测流程 | 第73-74页 |
| ·数据结构设计 | 第74页 |
| ·SCDS类关系图 | 第74-76页 |
| ·基于Cppcheck 的静态代码检测 | 第76页 |
| ·SCDS测试 | 第76-80页 |
| ·本章小结 | 第80-81页 |
| 第六章 结束语 | 第81-83页 |
| ·全文总结 | 第81-82页 |
| ·下一步工作 | 第82-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-88页 |
| 攻硕期间取得的研究成果 | 第88-89页 |
