Selective Context-Sensitivity Guided by Impact Pre-Analysis

Cited 46 time in webofscience Cited 0 time in scopus
  • Hit : 426
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorOh, Hakjooko
dc.contributor.authorLee, Wonchanko
dc.contributor.authorHeo, Kihongko
dc.contributor.authorYang, Hongseokko
dc.contributor.authorYi, Kwangkeunko
dc.date.accessioned2017-08-08T06:54:10Z-
dc.date.available2017-08-08T06:54:10Z-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.issued2014-06-
dc.identifier.citationACM SIGPLAN NOTICES, v.49, no.6, pp.475 - 484-
dc.identifier.issn0362-1340-
dc.identifier.urihttp://hdl.handle.net/10203/225271-
dc.description.abstractWe 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.-
dc.languageEnglish-
dc.publisherASSOC COMPUTING MACHINERY-
dc.titleSelective Context-Sensitivity Guided by Impact Pre-Analysis-
dc.typeArticle-
dc.identifier.wosid000344455800049-
dc.identifier.scopusid2-s2.0-84907026771-
dc.type.rimsART-
dc.citation.volume49-
dc.citation.issue6-
dc.citation.beginningpage475-
dc.citation.endingpage484-
dc.citation.publicationnameACM SIGPLAN NOTICES-
dc.identifier.doi10.1145/2594291.2594318-
dc.contributor.localauthorHeo, Kihong-
dc.contributor.localauthorYang, Hongseok-
dc.contributor.nonIdAuthorOh, Hakjoo-
dc.contributor.nonIdAuthorLee, Wonchan-
dc.contributor.nonIdAuthorYi, Kwangkeun-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle; Proceedings Paper-
dc.subject.keywordAuthorStatic analysis-
dc.subject.keywordAuthorcontext-sensitive analysis-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 46 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0