Name
Abstract | ||
|---|---|---|
Context-sensitivity is the primary approach for adding more precision to a points-to analysis, while hopefully also maintaining scalability. An oft-reported problem with context-sensitive analyses, however, is that they are bi-modal: either the analysis is precise enough that it manipulates only manageable sets of data, and thus scales impressively well, or the analysis gets quickly derailed at the first sign of imprecision and becomes orders-of-magnitude more expensive than would be expected given the program's size. There is currently no approach that makes precise context-sensitive analyses (of any flavor: call-site-, object-, or type-sensitive) scale across the board at a level comparable to that of a context-insensitive analysis. To address this issue, we propose introspective analysis: a technique for uniformly scaling context-sensitive analysis by eliminating its performance-detrimental behavior, at a small precision expense. Introspective analysis consists of a common adaptivity pattern: first perform a context-insensitive analysis, then use the results to selectively refine (i.e., analyze context-sensitively) program elements that will not cause explosion in the running time or space. The technical challenge is to appropriately identify such program elements. We show that a simple but principled approach can be remarkably effective, achieving scalability (often with dramatic speedup) for benchmarks previously completely out-of-reach for deep context-sensitive analyses. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2594291.2594320 | PLDI |
Keywords | Field | DocType |
primary approach,context-insensitive analysis,program element,precise context-sensitive analysis,points-to analysis,introspective analysis,deep context-sensitive analysis,context-sensitive analysis,principled approach,precise enough | Introspection,Computer science,Theoretical computer science,Scaling,Speedup,Scalability | Conference |
Volume | Issue | ISSN |
49 | 6 | 0362-1340 |
Citations | PageRank | References |
29 | 1.05 | 19 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yannis Smaragdakis | 1 | 2247 | 147.50 |
| George Kastrinis | 2 | 122 | 6.95 |
| George Balatsouras | 3 | 84 | 4.43 |