一种改进的上下文敏感的过程间指针分析方法

利用包含约束的指针分析法构建局部约束图,以过程调用图为基础,将局部约束图替换过程调用结点来构建全局约束图,并对全局约束图进行相应的调整和更新。采用在线优化与离线优化相结合优化策略,提出一个改进的上下文敏感的过程间指针分析方法。