DC Field | Value | Language |
---|---|---|
dc.contributor.author | Oh, Hakjoo | ko |
dc.contributor.author | Lee, Wonchan | ko |
dc.contributor.author | Heo, Kihong | ko |
dc.contributor.author | Yang, Hongseok | ko |
dc.contributor.author | Yi, Kwangkeun | ko |
dc.date.accessioned | 2017-08-08T06:54:03Z | - |
dc.date.available | 2017-08-08T06:54:03Z | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.issued | 2016-01 | - |
dc.identifier.citation | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2 | - |
dc.identifier.issn | 0164-0925 | - |
dc.identifier.uri | http://hdl.handle.net/10203/225266 | - |
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.publisher | ACM | - |
dc.title | Selective X-Sensitive Analysis Guided by Impact Pre-Analysis | - |
dc.type | Article | - |
dc.identifier.wosid | 000368081200003 | - |
dc.identifier.scopusid | 2-s2.0-84953277475 | - |
dc.type.rims | ART | - |
dc.citation.volume | 38 | - |
dc.citation.issue | 2 | - |
dc.citation.publicationname | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.identifier.doi | 10.1145/2821504 | - |
dc.contributor.localauthor | Heo, Kihong | - |
dc.contributor.localauthor | Yang, Hongseok | - |
dc.contributor.nonIdAuthor | Oh, Hakjoo | - |
dc.contributor.nonIdAuthor | Lee, Wonchan | - |
dc.contributor.nonIdAuthor | Yi, Kwangkeun | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article | - |
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 | - |
dc.subject.keywordPlus | STATIC ANALYSIS | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.