The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (2005 vol.31)
pp: 657-678
Markus Mock , IEEE Computer Society
Darren C. Atkinson , IEEE Computer Society
ABSTRACT
Program slicing is a potentially useful analysis for aiding program understanding. However, in reality even slices of small programs are often too large to be useful. Imprecise pointer analyses have been suggested as one cause of this problem. In this paper, we use dynamic points-to data, which represents optimistic pointer information, to obtain a bound on the best case slice size improvement that can be achieved with improved pointer precision. Our experiments show that slice size can be reduced significantly for programs that make frequent use of calls through function pointers because for them the dynamic pointer data results in a considerably smaller call graph, which leads to fewer data dependences. Programs without or with only few calls through function pointers, however, show considerably less improvement. We discovered that C programs appear to have a significant fraction of direct and nonspurious pointer data dependences so that reducing spurious dependences via pointers is only of limited benefit. Consequently, to make slicing useful in general for such programs, improvements beyond better pointer analyses will be necessary. On the other hand, since we show that collecting dynamic function pointer information can be performed with little overhead (average slowdown of 10 percent for our benchmarks), dynamic pointer information may be a practical approach to making slicing of programs with frequent function pointer use more successful in practice.
INDEX TERMS
Index Terms- Dynamic analysis, points-to analysis, program slicing.
CITATION
Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers, "Program Slicing with Dynamic Points-To Sets", IEEE Transactions on Software Engineering, vol.31, no. 8, pp. 657-678, August 2005, doi:10.1109/TSE.2005.94
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool