上下文敏感的横向传播方法
邓朝日
刘鹏辉
顾梦园
中国电子科技集团公司第三十二研究所 上海 201808
摘要：为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法.该算法使用当前最优秀的基于包含的指针分析在线改进技术.首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用CIL工具进行实验,实验证明上下文敏感的横向传播算法在分析大规模程序时的时间花费减少了9s左右.
关键词：在线改进横向传播调用图上下文敏感指针分析环消除约束图
分类号：TP3(计算技术、计算机技术)
论文发表日期：2021-06-20
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 1063-1067 )
英文信息