.png){kind=icon}
Return
Better Debugging via Output Tracing and Callstack-Sensitive Slicing
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2009.66.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
Static program slicing
callstack-sensitive analysis
points of failure
output tracing and attribution
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
5.6
Papers:
2.9K
Citations:
1.1W
Organization
Cited Papers
Far from Naturalness: How Much Does Spatial Ecological Structure of European Tree Assemblages Depart from Potential Natural Vegetation?.png)
PLOS ONE
OAAI
PLOS ONEIF0
OAAIShareSaveShareSaveShareSaveLIF and CNTF, which share the gp130 transduction system, stimulate hepatic lipid metabolism in rats
PREAI
ShareSaveShareSaveHigh-dimensional single-cell cartography reveals novel skeletal muscle resident cell populationsOAAI
IF0
OAAIShareSaveShareSaveShareSaveShareSave
View more