基于抽象解释的数值程序分析技术研究

摘要	第1-9页
ABSTRACT	第9-10页
第一章 绪论	第10-17页
·研究背景	第10-11页
·相关工作	第11-13页
·课题研究的主要内容和框架	第13-15页
·论文结构	第15-17页
第二章 抽象解释理论及其相关研究	第17-28页
·抽象解释理论	第17-19页
·WHILE 语言	第19-23页
·WHILE 语言的语法	第19-21页
·WHILE 语言的具体语义	第21-23页
·基于抽象解释的值范围分析	第23-28页
·经典的区间抽象域	第23-25页
·基于单调数据流的值范围分析	第25-28页
第三章 CFAIer 各子模块的设计与实现	第28-50页
·前端预处理和语义抽取	第28-32页
·LLVM 简介	第28-30页
·语义等式提取	第30-32页
·APRON 抽象域库	第32-42页
·八边形抽象域	第33-35页
·单变量区间线形不等式抽象域	第35-42页
·不动点求解器模块	第42-48页
·数据流分析技术	第42-44页
·循环展开和加宽延迟	第44-46页
·基于worklist 算法的前向分析	第46-48页
·本章小结	第48-50页
第四章 复杂程序结构的处理	第50-59页
·过程间函数调用的抽象方法	第50-54页
·数组的抽象与分析	第54-59页
第五章 实验结果与分析	第59-62页
第六章 结束语	第62-65页
·本文的主要贡献	第62-63页
·下一步工作	第63-65页
致谢	第65-66页
参考文献	第66-70页
作者在学期间取得的学术成果	第70页