Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis

Cited 3 time in webofscience Cited 2 time in scopus
  • Hit : 322
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorHeo, Kihongko
dc.contributor.authorOh, Hakjooko
dc.contributor.authorYi, Kwangkeunko
dc.date.accessioned2020-01-22T05:20:04Z-
dc.date.available2020-01-22T05:20:04Z-
dc.date.created2020-01-22-
dc.date.created2020-01-22-
dc.date.issued2017-11-
dc.identifier.citationSOFTWARE-PRACTICE & EXPERIENCE, v.47, no.11, pp.1677 - 1705-
dc.identifier.issn0038-0644-
dc.identifier.urihttp://hdl.handle.net/10203/271733-
dc.description.abstractWe present a practical technique for achieving a scalable and precise global static analysis by selectively applying context-sensitivity and the octagon relational domain. For precise analysis, context-sensitivity and relational analysis are key properties, but it has been hard to practically combine both of them. Our approach turns on those precision improvement features only when the analysis is likely to improve the precision to resolve given queries. The guidance comes from an impact pre-analysis that estimates the impact of a fully context-sensitive and relational octagon analysis. We designed a cost-effective pre-analysis and implemented this method in a realistic octagon analysis for full C. The experimental results show that our approach proves eight times more queries, while saving the time cost by 73.1% compared with a partially relational octagon analysis enabled by a syntactic heuristic. Copyright (C) 2017 John Wiley & Sons, Ltd.-
dc.languageEnglish-
dc.publisherWILEY-
dc.titleSelective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis-
dc.typeArticle-
dc.identifier.wosid000423279500010-
dc.identifier.scopusid2-s2.0-85014669638-
dc.type.rimsART-
dc.citation.volume47-
dc.citation.issue11-
dc.citation.beginningpage1677-
dc.citation.endingpage1705-
dc.citation.publicationnameSOFTWARE-PRACTICE & EXPERIENCE-
dc.identifier.doi10.1002/spe.2493-
dc.contributor.localauthorHeo, Kihong-
dc.contributor.nonIdAuthorOh, Hakjoo-
dc.contributor.nonIdAuthorYi, Kwangkeun-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorstatic analysis-
dc.subject.keywordAuthorcontext-sensitive analysis-
dc.subject.keywordAuthorrelational analysis-
dc.subject.keywordAuthorabstract interpretation-
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 3 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0