过程间数据流分析技术研究

第一章 引言	第1-8页
·选题依据	第5页
·国内外研究现状	第5-6页
·主要研究内容	第6-7页
·论文结构	第7-8页
第二章 数据流分析基础	第8-12页
·基本概念	第8-9页
·基本数据流方程	第9页
·基本算法分析	第9-10页
·控制流分析	第10-12页
第三章 基本数据流分析技术	第12-19页
·数据流分析框架	第12-13页
·过程内的数据流分析	第13-14页
·过程间的数据流分析	第14-15页
·数组、结构和指针变量的处理	第15-16页
·数据流分析应用实例	第16-19页
第四章 过程间数据流分析框架	第19-28页
·常见的处理过程调用的策略	第19-21页
·参数的传递方式分析	第21-24页
·值传递	第21页
·引用传递	第21页
·值-结果传递	第21-22页
·按名传递	第22页
·分析实例	第22-24页
·指针变量的分析	第24-25页
·过程间数据流分析模型	第25-28页
第五章 程序静态分析系统的设计	第28-36页
·系统的总体框架	第28页
·源代码分析器的设计	第28-31页
·用户界面的设计	第31页
·系统的主要数据结构	第31-33页
·数据流分析模块的实现	第33-34页
·应用模块的实现	第34-36页
第六章 结束语	第36-37页
致谢	第37-38页
参考文献	第38-39页