基于函数摘要的C++程序全局静态分析研究

摘要	第1-5页
ABSTRACT	第5-9页
第一章 绪论	第9-13页
·研究背景	第9-10页
·研究内容	第10-11页
·论文结构和主要内容	第11-13页
第二章 相关研究	第13-19页
·静态测试	第13-15页
·静态分析的理论	第13-14页
·静态分析的工具	第14-15页
·动态测试	第15-16页
·面向缺陷模式测试	第16-19页
第三章 C++程序全局分析框架	第19-27页
·全局预分析	第20页
·本地分析	第20-23页
·缺陷模式检测	第23-25页
·效率的讨论	第25-27页
第四章 C++程序类型分析及实现	第27-35页
·类型分析和推导	第27-31页
·程序依赖性分析	第31-35页
第五章 函数摘要分析及实现	第35-47页
·函数特征的抽象	第35-37页
·函数摘要生成	第37-39页
·库函数摘要获取	第39-42页
·缺陷模式中函数摘要的使用	第42-46页
·附录:库函数摘要描述文件	第46-47页
第六章 实验结果	第47-52页
·基于缺陷模式的评测指标分析	第47-48页
·评测数据集的讨论	第48-50页
·实验结果分析	第50-52页
第七章 总结与展望	第52-54页
·论文总结	第52页
·进一步的研究工作	第52-54页
参考文献	第54-57页
术语缩略语	第57-58页
作者攻读学位期间发表的论文	第58-59页
致谢	第59页