Efficient, Context-Sensitive Dynamic Analysis via Calling Context Uptrees

Abstract

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)

Topics

11 Figures and Tables

Slides referencing similar topics