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

摘要：

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

关键词：在线优化、纵向传播、调用图、上下文敏感指针分析、环消除、约束图

分类号：TP311(计算技术、计算机技术)

资助基金：上海市教委创新基金资助项目11ZZ124

在线出版日期：2014-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：62-66