DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Sol | ko |
dc.contributor.author | Heo, Kihong | ko |
dc.contributor.author | Oh, Hakjoo | ko |
dc.contributor.author | Yi, Kwangkeun | ko |
dc.date.accessioned | 2020-01-22T05:20:08Z | - |
dc.date.available | 2020-01-22T05:20:08Z | - |
dc.date.created | 2020-01-22 | - |
dc.date.created | 2020-01-22 | - |
dc.date.created | 2020-01-22 | - |
dc.date.issued | 2016-10 | - |
dc.identifier.citation | SOFTWARE-PRACTICE & EXPERIENCE, v.46, no.10, pp.1317 - 1328 | - |
dc.identifier.issn | 0038-0644 | - |
dc.identifier.uri | http://hdl.handle.net/10203/271735 | - |
dc.description.abstract | In this paper, we present a useful technique for implementing practical static program analyzers that use widening. Our technique aims to improve the efficiency of the conventional widening-with-thresholds technique at a small precision compromise. In static analysis, widening is used to accelerate (or converge) fixed point iterations. Unfortunately, this acceleration often comes with a significant loss in analysis precision. A standard method to improve the precision is to apply the widening with a set of thresholds. However, this technique may significantly slow down the analysis, because in practice it is commonplace to use a large set of thresholds. In worst case, the technique increases the analysis cost by the size N of the threshold set. In this paper, we propose a technique to reduce the worst case by logN, by employing a binary search in the process of applying threshold values. We formalize the technique in the abstract interpretation framework and show that, by experiments with a realistic static analyzer for C, our technique considerably improves the efficiency (by 81.5%) of the existing method with a small compromise (20.9%) on the analysis precision. Copyright (c) 2015 John Wiley & Sons, Ltd. | - |
dc.language | English | - |
dc.publisher | WILEY | - |
dc.title | Widening with thresholds via binary search | - |
dc.type | Article | - |
dc.identifier.wosid | 000383624900002 | - |
dc.identifier.scopusid | 2-s2.0-84986004490 | - |
dc.type.rims | ART | - |
dc.citation.volume | 46 | - |
dc.citation.issue | 10 | - |
dc.citation.beginningpage | 1317 | - |
dc.citation.endingpage | 1328 | - |
dc.citation.publicationname | SOFTWARE-PRACTICE & EXPERIENCE | - |
dc.identifier.doi | 10.1002/spe.2381 | - |
dc.contributor.localauthor | Heo, Kihong | - |
dc.contributor.nonIdAuthor | Kim, Sol | - |
dc.contributor.nonIdAuthor | Oh, Hakjoo | - |
dc.contributor.nonIdAuthor | Yi, Kwangkeun | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | static program analyzers | - |
dc.subject.keywordAuthor | abstract interpretation | - |
dc.subject.keywordAuthor | widening | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.