Journal article icon

Journal article

Selective X-sensitive analysis guided by impact pre-analysis

Abstract:

We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only when and where doing so is likely to improve the precision that matters for resolving given queries. The idea is to use a pre-analysis to estimate the impact of context-sensitivity on the main analysis’s precision, and to use this information to find out when and where the main analysis should turn on or off its context-sensitivity. We formalize...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1145/2821504

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Samsung Electronics More from this funder
Publisher:
Association for Computing Machinery Publisher's website
Journal:
ACM Transactions on Programming Languages and Systems Journal website
Volume:
38
Issue:
2
Publication date:
2015-01-01
DOI:
EISSN:
1558-4593
ISSN:
0164-0925
URN:
uuid:91cebef8-b87b-43ea-a317-77160a236303
Source identifiers:
581049
Local pid:
pubs:581049

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP