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

Method of Context-Sensitive Wave Propagation

作　　者：邓朝日 刘鹏辉 顾梦园 DENG Zhaori;LIU Penghui;GU Mengyuan(No.32 Research Institute of China Electronics Technology Group Corporation,Shanghai 201808)

机构地区：[1]中国电子科技集团公司第三十二研究所,上海201808

出　　处：《计算机与数字工程》2021年第6期1063-1067,共5页Computer & Digital Engineering

摘　　要：为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法。该算法使用当前最优秀的基于包含的指针分析在线改进技术。首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用CIL工具进行实验,实验证明上下文敏感的横向传播算法在分析大规模程序时的时间花费减少了9s左右。In order to improve the time efficiency of the technology of cycle elimination for invocation graph-based con⁃text-sensitive pointer analysis,a new context sensitive lateral propagation algorithm is proposed.The algorithm uses the best on-line optimization technology of pointer analysis based on inclusion.Firstly,the definition of the new constraint graph is ex⁃plained and initialized.Secondly,in order to prove that the context sensitive horizontal propagation algorithm can accurately and ef⁃fectively analyze the context sensitive pointer of the source program,an example is introduced.Finally,the CIL tool is used for ex⁃periments,and the results show that the context sensitive lateral propagation algorithm can save about 9 seconds in analyzing large-scale programs.

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

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]