| 摘要 | 第1-7页 |
| Abstract | 第7-8页 |
| 第1章 绪论 | 第8-12页 |
| ·论文课题提出的背景以及研究意义 | 第8-9页 |
| ·论文的研究内容 | 第9页 |
| ·论文的组织结构 | 第9-12页 |
| 第2章 格式化字符串漏洞的形成及检测技术 | 第12-18页 |
| ·格式化字符串漏洞 | 第12-14页 |
| ·格式化字符串漏洞的危害 | 第14-15页 |
| ·格式化字符串漏洞的检测技术 | 第15-18页 |
| 第3章 类型限定符理论 | 第18-32页 |
| ·Lambda演算 | 第18-19页 |
| ·标准类型系统 | 第19-23页 |
| ·偏序关系 | 第23-24页 |
| ·类型限定符的声明、检测和推断 | 第24-32页 |
| 第4章 格式化字符串漏洞检测系统FSDS | 第32-40页 |
| ·类型限定符理论在C语言中的具体应用 | 第32-36页 |
| ·格式化字符串漏洞检测系统FSDS | 第36-40页 |
| 第5章 FSDS检测系统检测实验 | 第40-48页 |
| ·FSDS检测过程和结果 | 第40-46页 |
| ·FSDS检测系统和其他检测技术的比较 | 第46-48页 |
| 第6章 总结和展望 | 第48-50页 |
| ·工作总结 | 第48页 |
| ·工作展望 | 第48-50页 |
| 参考文献 | 第50-53页 |
| 致谢 | 第53-54页 |
| 学位论文评阅及答辩情况表 | 第54页 |