The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (2003 vol.29)
pp: 883-897
ABSTRACT
<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>
INDEX TERMS
Points-to analysis, program analysis, reachability analysis, model checking.
CITATION
Glenn Bruns, Satish Chandra, "Searching for Points-To Analysis", IEEE Transactions on Software Engineering, vol.29, no. 10, pp. 883-897, October 2003, doi:10.1109/TSE.2003.1237170
32 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool