Efficient, Context-Sensitive Dynamic Analysis via Calling Context Uptrees


State-of-the-art dynamic bug detectors such as data race and memory leak detectors report program locations that are likely causes of bugs. However, static program location is not enough for developers to understand the behavior of increasingly complex and concurrent software. Dynamic calling context provides additional information, but it is expensive to… (More)


11 Figures and Tables

Slides referencing similar topics