基于GCC的缓冲区溢出检测研究
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-23页 |
| ·研究意义 | 第9-11页 |
| ·研究现状 | 第11-22页 |
| ·静态检测技术 | 第11-13页 |
| ·动态检测技术 | 第13-20页 |
| ·其它方法 | 第20-22页 |
| ·本文的工作 | 第22-23页 |
| 第2章 缓冲区溢出原理 | 第23-31页 |
| ·溢出的原理 | 第23页 |
| ·缓冲区溢出分类 | 第23-29页 |
| ·缓冲区溢出的原因 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第3章 GCC 编译器结构 | 第31-38页 |
| ·GCC 简介 | 第31-32页 |
| ·GCC 编译流程 | 第32-33页 |
| ·语法树结构分析 | 第33-35页 |
| ·RTL 结构分析 | 第35-37页 |
| ·本章小结 | 第37-38页 |
| 第4章 静态与动态结合的检测方法 | 第38-49页 |
| ·静态检测 | 第38-43页 |
| ·检测方法 | 第38-42页 |
| ·生成约束条件 | 第42-43页 |
| ·安全检测 | 第43页 |
| ·动态检测 | 第43-48页 |
| ·基于双栈结构的动态检测 | 第44-47页 |
| ·对函数调用的影响 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 第5章 测试与结果分析 | 第49-73页 |
| ·静态检测 | 第49-57页 |
| ·静态检测的实现 | 第49-56页 |
| ·实验分析 | 第56-57页 |
| ·动态检测 | 第57-72页 |
| ·双栈结构 | 第57-63页 |
| ·基于双栈结构的动态检测 | 第63-68页 |
| ·实验效果 | 第68-71页 |
| ·实验分析 | 第71-72页 |
| ·本章小结 | 第72-73页 |
| 结论 | 第73-74页 |
| 参考文献 | 第74-76页 |
| 攻读硕士学位期间发表的论文及取得的科研成果 | 第76-77页 |
| 致谢 | 第77页 |
