邓朝日
- 作品数：2 被引量：1H指数：1
- 供职机构：上海师范大学信息与机电工程学院更多>>
- 发文基金：上海市教育委员会创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 改进的基于包含的指针分析在线优化技术被引量：1
- 2014年
- 针对当前最优秀的基于包含的指针分析在线优化技术即横向传播和纵向传播方法的不足之处,提出一个改进的算法。首先简要介绍基于包含的指针分析方法及其在线优化技术;其次描述横向传播和纵向传播方法,进而说明它们存在的一些缺陷;然后针对这些缺陷提出一个改进的算法,该算法能够在不损失时间开销的条件下以更小的内存开销实现横向传播,能在纵向传播过程中检测出约束图中所有的强连通分量;最后通过一个实例分析及使用CIL工具进行的实验验证了该改进算法的优越性。
- 邓朝日张玉萍
- 关键词：约束图
- 上下文敏感的纵向传播算法被引量：1
- 2014年
- 通过基于包含的指针分析在线优化技术中的纵向传播方法,改进基于调用图上下文敏感指针分析的环消除技术,提出一种上下文敏感的纵向传播算法。初始化约束图,在约束图中进行环探测及其合并,执行差异传播并循环处理复杂约束,直到一次调用纵向传播例程后图中所有结点指向集不变为止,从而得到图中各结点到其指向集的映射。应用CIL工具的实验结果表明,该算法能有效地对源程序进行上下文敏感的指针分析,与环消除技术相比,在分析大规模程序时具有更高的时间效率。
- 邓朝日张玉萍陈雄梁辰
- 关键词：调用图约束图
