高级检索

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

    Improved InclusionBased Pointer Analysis

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

       

      Abstract: The main issues of inclusionbased pointer analysis are the limitation of inclusion constraints language limitation and the simplification of constraint graph. Aiming the above shortcoming, this paper proposes a pointer analysis algorithm based on inclusion constraint language. Firstly, the language of inclusion constraints is extended such that it is no longer confined to several basic forms, and the rules of constraint propagation are given. Then, a constraint graph is constructed at a time, in which there are not the complex edges and the whole process of analysis is changed into static from dynamic. Finally, an algorithm is given to analyze the simplified constraint graph such that the pointer's information is obtained. Experiment results show that the new algorithm can accurately analyze any level of dereferenced pointsto information of a pointer.

       

    /

    返回文章
    返回