The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (2010 vol. 36)
ISSN: 0098-5589
pp: 7-19
Marina Polishchuk , Microsoft Corporation, Redmond
Ben Liblit , University of Wisconsin-Madison, Madison
Susan Horwitz , University of Wisconsin-Madison, Madison
ABSTRACT
Debugging often involves 1) finding the point of failure (the first statement that produces bad output) and 2) finding and fixing the actual bug. Print statements and debugger break points can help with step 1. Slicing the program back from values used at the point of failure can help with step 2. However, neither approach is ideal: Debuggers and print statements can be clumsy and time-consuming and backward slices can be almost as large as the original program. This paper addresses both problems. We present callstack-sensitive slicing, which reduces slice sizes by leveraging the series of calls active when a program fails. We also show how slice intersections may further reduce slice sizes. We then describe a set of tools that identifies points of failure for programs that produce bad output. Finally, we apply our point-of-failure tools to a suite of buggy programs and evaluate callstack-sensitive slicing and slice intersection as applied to debugging. Callstack-sensitive slicing is very effective: On average, a callstack-sensitive slice is about 0.31 time the size of the corresponding full slice, down to just 0.06 time in the best case. Slice intersection is less impressive, on average, but may sometimes prove useful in practice.
INDEX TERMS
Static program slicing, callstack-sensitive analysis, points of failure, output tracing and attribution.
CITATION
Marina Polishchuk, Ben Liblit, Susan Horwitz, "Better Debugging via Output Tracing and Callstack-Sensitive Slicing", IEEE Transactions on Software Engineering, vol. 36, no. , pp. 7-19, January/February 2010, doi:10.1109/TSE.2009.66
85 ms
(Ver 3.1 (10032016))