Issue No. 10 - October (2003 vol. 29)
Satish Chandra , IEEE
<p><b>Abstract</b>—The points-to analysis problem is to find the pointer relationships that could arise during program execution. Many points-to analysis algorithms exist, each making a particular trade off between cost of the analysis and precision of the results. In this paper, we show how points-to analysis algorithms can be defined as transformed versions of an exact algorithm. We present a set of program transformations over a general program model and use them to define some existing points-to analysis algorithms. Doing so makes explicit the approximations involved in these algorithms. We also show how the transformations can be used to define new points-to analysis algorithms. Our transformations are generic and may be useful in the design of other program analysis algorithms.</p>
Points-to analysis, program analysis, reachability analysis, model checking.
S. Chandra and G. Bruns, "Searching for Points-To Analysis," in IEEE Transactions on Software Engineering, vol. 29, no. , pp. 883-897, 2003.