2013
DOI: 10.1145/2544173.2509510
|View full text |Cite
|
Sign up to set email alerts
|

Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management

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, programmers need more than static program locations to understand the behavior of increasingly complex and concurrent software. Dynamic calling context provides additional information, but it is expensive to record calling context frequently, e.g., at every read and write. Context-sensitive dynamic analyses can build and maintain a calling context tree (CCT) to tr… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2015
2015
2021
2021

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(3 citation statements)
references
References 60 publications
0
3
0
Order By: Relevance
“…Using this nursery size is a good balance between the size of the access trace and the coverage of mature object behaviors. We label allocation sites with unique identifiers, as in Reference [31].…”
Section: Profilingmentioning
confidence: 99%
“…Using this nursery size is a good balance between the size of the access trace and the coverage of mature object behaviors. We label allocation sites with unique identifiers, as in Reference [31].…”
Section: Profilingmentioning
confidence: 99%
“…In a recent work , a novel data structure is proposed to avoid the node lookup operation in dynamic bug detectors. A new node is instead allocated for each context, and the costs of allocations are mitigated by extending the garbage collector not only to collect unused node but also to merge duplicate ones lazily.…”
Section: Related Workmentioning
confidence: 99%
“…Sumner et al [23] describe a similar approach for encoding the calling context as a number and report an overhead of 2%. Huang and Bond [13] claim that the accuracy of such approaches does not scale well with program complexity and propose an approach that continuously builds a CCT-like data structure through instrumentation. It creates tree nodes eagerly and relies on a modified garbage collector to release unused nodes and to merge duplicate nodes.…”
Section: Dynamic Analysismentioning
confidence: 99%