上下文敏感的纵向传播算法

• 作者: 张玉萍 梁辰 邓朝日 陈雄
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 在线优化 纵向传播 调用图 上下文敏感指针分析 环消除 约束图
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 62-66
• 页数: 5页
• 分类号: TP311
• 字数: 3218字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.02.014

摘要

通过基于包含的指针分析在线优化技术中的纵向传播方法，改进基于调用图上下文敏感指针分析的环消除技术，提出一种上下文敏感的纵向传播算法。初始化约束图，在约束图中进行环探测及其合并，执行差异传播并循环处理复杂约束，直到一次调用纵向传播例程后图中所有结点指向集不变为止，从而得到图中各结点到其指向集的映射。应用 CIL 工具的实验结果表明，该算法能有效地对源程序进行上下文敏感的指针分析，与环消除技术相比，在分析大规模程序时具有更高的时间效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈雄	上海师范大学信息与机电工程学院	3	8	2.0	2.0
2	张玉萍	上海师范大学信息与机电工程学院	23	103	6.0	9.0
3	邓朝日	上海师范大学信息与机电工程学院	2	2	1.0	1.0
4	梁辰	上海师范大学信息与机电工程学院	1	2	1.0	1.0