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

GETTING POINT\|TO INFORMATION FROM VARIABLE INITIALIZERS

作　　者：黄波[1] 臧斌宇[1] 朱传琪[1] 

机构地区：[1]复旦大学并行处理研究所,上海200433

出　　处：《计算机研究与发展》2000年第2期147-154,共8页Journal of Computer Research and Development

基　　金：国家自然科学基金

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

关 键 词：指针指向信息 指针分析 C语言 编译程序 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP314[自动化与计算机技术—计算机科学与技术]