您的位置： 专家智库 > >

梁辰

作品数：1 被引量：1H指数：1
供职机构：上海师范大学信息与机电工程学院更多>>
发文基金：上海市教育委员会创新基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇调用图
  • 1篇约束图
  • 1篇上下文
  • 1篇上下文敏感

机构

  • 1篇上海师范大学

作者

  • 1篇邓朝日
  • 1篇陈雄
  • 1篇张玉萍
  • 1篇梁辰

传媒

  • 1篇计算机工程

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
上下文敏感的纵向传播算法被引量：1
2014年
通过基于包含的指针分析在线优化技术中的纵向传播方法,改进基于调用图上下文敏感指针分析的环消除技术,提出一种上下文敏感的纵向传播算法。初始化约束图,在约束图中进行环探测及其合并,执行差异传播并循环处理复杂约束,直到一次调用纵向传播例程后图中所有结点指向集不变为止,从而得到图中各结点到其指向集的映射。应用CIL工具的实验结果表明,该算法能有效地对源程序进行上下文敏感的指针分析,与环消除技术相比,在分析大规模程序时具有更高的时间效率。
邓朝日张玉萍陈雄梁辰
关键词：调用图约束图
全选 清除 导出
共1页<1>
聚类工具0