Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Oh, Hakjoo | - |
dc.contributor.author | Lee, Wonchan | - |
dc.contributor.author | Heo, Kihong | - |
dc.contributor.author | Yang, Hongseok | - |
dc.contributor.author | Yi, Kwangkeun | - |
dc.date.accessioned | 2021-09-04T04:46:32Z | - |
dc.date.available | 2021-09-04T04:46:32Z | - |
dc.date.created | 2021-06-18 | - |
dc.date.issued | 2016-01 | - |
dc.identifier.issn | 0164-0925 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/90065 | - |
dc.description.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. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.title | Selective X-Sensitive Analysis Guided by Impact Pre-Analysis | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Oh, Hakjoo | - |
dc.identifier.doi | 10.1145/2821504 | - |
dc.identifier.scopusid | 2-s2.0-84953277475 | - |
dc.identifier.wosid | 000368081200003 | - |
dc.identifier.bibliographicCitation | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2 | - |
dc.relation.isPartOf | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.citation.title | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.citation.volume | 38 | - |
dc.citation.number | 2 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordAuthor | Programming Languages | - |
dc.subject.keywordAuthor | Program Analysis | - |
dc.subject.keywordAuthor | Static analysis | - |
dc.subject.keywordAuthor | context-sensitive analysis | - |
dc.subject.keywordAuthor | abstract interpretation | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.