面向源码的软件漏洞静态检测技术研究与实现
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 1 绪论 | 第9-15页 |
| 1.1 研究背景和意义 | 第9-10页 |
| 1.2 国内外研究概况 | 第10-13页 |
| 1.3 论文主要工作 | 第13-14页 |
| 1.4 论文的组织结构 | 第14-15页 |
| 2 常见软件漏洞的机理分析 | 第15-27页 |
| 2.1 软件漏洞 | 第15-17页 |
| 2.2 缓冲区溢出漏洞 | 第17-19页 |
| 2.3 空指针引用 | 第19-20页 |
| 2.4 资源操作相关缺陷 | 第20-21页 |
| 2.5 格式化字符串 | 第21-24页 |
| 2.6 竞争条件 | 第24-26页 |
| 2.7 本章小结 | 第26-27页 |
| 3 软件漏洞静态检测模型 | 第27-36页 |
| 3.1 软件的缺陷模式 | 第27-28页 |
| 3.2 相关定义 | 第28-30页 |
| 3.3 软件漏洞静态检测模型 | 第30-35页 |
| 3.4 本章小结 | 第35-36页 |
| 4 软件漏洞静态检测框架 | 第36-46页 |
| 4.1 漏洞可执行路径集VEPS | 第36-38页 |
| 4.2 基于VEPS的软件漏洞静态检测框架设计 | 第38-45页 |
| 4.3 本章小结 | 第45-46页 |
| 5 实验验证及结果对比分析 | 第46-56页 |
| 5.1 一个漏洞示例的分析 | 第46-52页 |
| 5.2 开源项目试验 | 第52-55页 |
| 5.3 本章小结 | 第55-56页 |
| 6 总结与展望 | 第56-58页 |
| 6.1 全文总结 | 第56-57页 |
| 6.2 课题展望 | 第57-58页 |
| 致谢 | 第58-60页 |
| 参考文献 | 第60-64页 |
