Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

Cited 7 time in webofscience Cited 0 time in scopus
  • Hit : 427
  • 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:03Z-
dc.date.available2017-08-08T06:54:03Z-
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.issued2016-01-
dc.identifier.citationACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.2-
dc.identifier.issn0164-0925-
dc.identifier.urihttp://hdl.handle.net/10203/225266-
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 and a selective flow-sensitive analysis. Our experiments show that the method cost-effectively improves the precision in the these analyses as well.-
dc.languageEnglish-
dc.publisherACM-
dc.titleSelective X-Sensitive Analysis Guided by Impact Pre-Analysis-
dc.typeArticle-
dc.identifier.wosid000368081200003-
dc.identifier.scopusid2-s2.0-84953277475-
dc.type.rimsART-
dc.citation.volume38-
dc.citation.issue2-
dc.citation.publicationnameACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS-
dc.identifier.doi10.1145/2821504-
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-
dc.subject.keywordAuthorProgramming Languages-
dc.subject.keywordAuthorProgram Analysis-
dc.subject.keywordAuthorStatic analysis-
dc.subject.keywordAuthorcontext-sensitive analysis-
dc.subject.keywordAuthorabstract interpretation-
dc.subject.keywordPlusSTATIC 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 7 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0