高级检索

    从变量的初始化中获取指针指向信息

    GETTING POINT\|TO INFORMATION FROM VARIABLE INITIALIZERS

    • 摘要: 从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个实用的从变量的初始化中获取指针指向信息的方法.在此方法中,变量的初始化首先被转换成语义等价的语句序列,然后在指针分析的过程中融入对这些语句序列的分析而求取出相关的指针指向信息.这个方法被实现在复旦大学并行处理研究所开发的C程序分析工具Agassiz系统内,实验数据说明是非常有效的.

       

      Abstract: Getting point\|to information from variable initializers can improve the accuracy of dataflow analysis, which is an indispensable part of a comprehensive pointer analysis algorithm. In this paper, a practical method of getting point\|to information from variable initializers is presented. At first, the variable initializers are transformed into semantic equivalent statement serials, and then these statement serials are analyzed during pointer analysis in order to get much more point\|to information. The details about the integration of initializer handling into pointer analysis are also presented. This initializers handling method is implemented in Agassiz, an analyzing tool for C program developed by Institute of Parallel Processing, Fudan University. Experimental data show that this method is effective.

       

    /

    返回文章
    返回