科研之友
微信
新浪微博
Facebook
分享链接
摘要
为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法。该算法使用当前最优秀的基于包含的指针分析在线改进技术。首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用CIL工具进行实验,实验证明上下文敏感的横向传播算法在分析大规模程序时的时间花费减少了9s左右。
-
单位中国电子科技集团公司第三十二研究所
