10.3969/j.issn.1672-9722.2021.06.006
上下文敏感的横向传播方法
为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法.该算法使用当前最优秀的基于包含的指针分析在线改进技术.首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用CIL工具进行实验,实验证明上下文敏感的横向传播算法在分析大规模程序时的时间花费减少了9s左右.
在线改进、横向传播、调用图、上下文敏感指针分析、环消除、约束图
49
TP3(计算技术、计算机技术)
2021-07-02(万方平台首次上网日期,不代表论文的发表时间)
共5页
1063-1067