首页|上下文敏感的横向传播方法

上下文敏感的横向传播方法

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法.该算法使用当前最优秀的基于包含的指针分析在线改进技术.首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用CIL工具进行实验,实验证明上下文敏感的横向传播算法在分析大规模程序时的时间花费减少了9s左右.
Method of Context-Sensitive Wave Propagation

邓朝日、刘鹏辉、顾梦园

展开 >

中国电子科技集团公司第三十二研究所 上海 201808

在线改进 横向传播 调用图 上下文敏感指针分析 环消除 约束图

2021

10.3969/j.issn.1672-9722.2021.06.006

计算机与数字工程
中国船舶重工集团公司第七0九研究所

计算机与数字工程

CSTPCD
影响因子：0.355
ISSN：1672-9722
年,卷(期)：2021.49(6)
  • 3