改进的基于包含约束的指针分析法

针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展，使其不再局限于几个基本形式，并进一步给出约束传播规则；然后一次性构建约束图，图中不再存在复杂边，整个分析过程由动态转化为静态；最后，提出一个算法对简化的约束图进行分析，得到指针信息。实验结果表明，该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。