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.