封面
中文摘要
英文摘要
目录
第1章 绪论
1.1 课题来源
1.2 课题背景及研究的目的和意义
1.3 国内外的研究现状及分析
1.4 主要研究内容
第2章 多线程程序中关联变量挖掘与提取
2.1 引言
2.2 支持多程序语言的静态信息提取方法
2.3 保持原子性的多线程关联变量的特点分析
2.4 基于程序依赖图的关联变量挖掘与提取
2.5 实验及分析
2.6 本章小结
第3章 面向变量访问次序判别的图可达性分析
3.1 引言
3.2 结构化控制流图可达性分析
3.3 非结构化控制流图的虚拟区域
3.4 本章小结
第4章 流敏感精度的按需指针别名分析
4.1 引言
4.2 流敏感对别名分析精度的影响分析
4.3 流敏感信息的按需查询
4.4 赋值流图
4.5 赋值流搜索
4.6 流敏感按需别名分析算法
4.7 实验与分析
4.8 本章小结
第5章 基于并行干扰插值的多线程程序原子性验证
5.1 引言
5.2 相关概念
5.3 并行程序的符号分析
5.4 并行干扰插值
5.5 算法描述
5.6 实验与分析
5.7 本章小结
结论
参考文献
攻读博士学位期间发表的学术论文
声明
致谢
个人简历