DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ko, Yoon Seok | ko |
dc.contributor.author | Heo, Kihong | ko |
dc.contributor.author | Oh, Hakjoo | ko |
dc.date.accessioned | 2015-11-20T09:12:01Z | - |
dc.date.available | 2015-11-20T09:12:01Z | - |
dc.date.created | 2015-01-20 | - |
dc.date.created | 2015-01-20 | - |
dc.date.created | 2015-01-20 | - |
dc.date.created | 2015-01-20 | - |
dc.date.issued | 2014-10 | - |
dc.identifier.citation | COMPUTER LANGUAGES SYSTEMS & STRUCTURES, v.40, no.3-4, pp.99 - 111 | - |
dc.identifier.issn | 1477-8424 | - |
dc.identifier.uri | http://hdl.handle.net/10203/201081 | - |
dc.description.abstract | We present a sparse evaluation technique that is effectively applicable to a set of elaborate semantic-based static analyses. Existing sparse evaluation techniques are effective only when the underlying analyses have comparably low precision. For example, if a pointer analysis precision is not affected by numeric statements like x:=1 then existing sparse evaluation techniques can remove the statement, but otherwise, the statement cannot be removed. Our technique, which is a fine-grained sparse evaluation technique, is effectively applicable even to elaborate analyses. A key insight of our technique is that, even though a statement is relevant to an analysis, it is typical that analyzing the statement involves only a tiny subset of its input abstract memory and the most are irrelevant. By exploiting this sparsity, our technique transforms the original analysis into a form that does not involve the fine-grained irrelevant semantic behaviors. We formalize our technique within the abstract interpretation framework. In experiments with a C static analyzer, our technique improved the analysis speed by on average 14 x. | - |
dc.language | English | - |
dc.publisher | PERGAMON-ELSEVIER SCIENCE LTD | - |
dc.title | A sparse evaluation technique for detailed semantic analyses | - |
dc.type | Article | - |
dc.identifier.wosid | 000346550900001 | - |
dc.identifier.scopusid | 2-s2.0-84912150052 | - |
dc.type.rims | ART | - |
dc.citation.volume | 40 | - |
dc.citation.issue | 3-4 | - |
dc.citation.beginningpage | 99 | - |
dc.citation.endingpage | 111 | - |
dc.citation.publicationname | COMPUTER LANGUAGES SYSTEMS & STRUCTURES | - |
dc.identifier.doi | 10.1016/j.cl.2014.05.001 | - |
dc.contributor.localauthor | Heo, Kihong | - |
dc.contributor.nonIdAuthor | Oh, Hakjoo | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | Static analysis | - |
dc.subject.keywordAuthor | Abstract interpretation | - |
dc.subject.keywordAuthor | Sparse evaluation | - |
dc.subject.keywordAuthor | Data-flow analysis | - |
dc.subject.keywordPlus | SINGLE-ASSIGNMENT FORM | - |
dc.subject.keywordPlus | CONSTANT PROPAGATION | - |
dc.subject.keywordPlus | DEPENDENCE GRAPH | - |
dc.subject.keywordPlus | PRECISE | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.