Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
- Authors
- Oh, Hakjoo; Lee, Wonchan; Heo, Kihong; Yang, Hongseok; Yi, Kwangkeun
- Issue Date
- 1월-2016
- Publisher
- ASSOC COMPUTING MACHINERY
- Keywords
- Programming Languages; Program Analysis; Static analysis; context-sensitive analysis; abstract interpretation
- Citation
- ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2
- Indexed
- SCIE
SCOPUS
- Journal Title
- ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
- Volume
- 38
- Number
- 2
- URI
- https://scholar.korea.ac.kr/handle/2021.sw.korea/90065
- DOI
- 10.1145/2821504
- ISSN
- 0164-0925
- 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 this approach and prove that the analysis always benefits from the pre-analysis-guided context-sensitivity. We implemented this selective method for an existing industrial-strength interval analyzer for full C. The method reduced the number of (false) alarms by 24.4% while increasing the analysis cost by 27.8% on average. The use of the selective method is not limited to context-sensitivity. We demonstrate this generality by following the same principle and developing a selective relational analysis and a selective flow-sensitive analysis. Our experiments show that the method cost-effectively improves the precision in the these analyses as well.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Graduate School > Department of Computer Science and Engineering > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.