Hybrid Top-down and Bottom-up Interprocedural Analysis

Cited 4 time in webofscience Cited 0 time in scopus
  • Hit : 81
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorZhang, Xinko
dc.contributor.authorMangal, Raviko
dc.contributor.authorNaik, Mayurko
dc.contributor.authorYang, Hongseokko
dc.date.accessioned2017-08-08T06:54:09Z-
dc.date.available2017-08-08T06:54:09Z-
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.249 - 258-
dc.identifier.issn0362-1340-
dc.identifier.urihttp://hdl.handle.net/10203/225270-
dc.description.abstractInterprocedural static analyses are broadly classified into top-down and bottom-up, depending upon how they compute, instantiate, and reuse procedure summaries. Both kinds of analyses are challenging to scale: top-down analyses are hindered by ineffective reuse of summaries whereas bottom-up analyses are hindered by inefficient computation and instantiation of summaries. This paper presents a hybrid approach SWIFT that combines top-down and bottom-up analyses in a manner that gains their benefits without suffering their drawbacks. SWIFT is general in that it is parametrized by the top-down and bottom-up analyses it combines. We show an instantiation of SWIFT on a type-state analysis and evaluate it on a suite of 12 Java programs of size 60-250 KLOC each. SWIFT outperforms both conventional approaches, finishing on all the programs while both of those approaches fail on the larger programs.-
dc.languageEnglish-
dc.publisherASSOC COMPUTING MACHINERY-
dc.titleHybrid Top-down and Bottom-up Interprocedural Analysis-
dc.typeArticle-
dc.identifier.wosid000344455800028-
dc.identifier.scopusid2-s2.0-84907032571-
dc.type.rimsART-
dc.citation.volume49-
dc.citation.issue6-
dc.citation.beginningpage249-
dc.citation.endingpage258-
dc.citation.publicationnameACM SIGPLAN NOTICES-
dc.identifier.doi10.1145/2594291.2594328-
dc.contributor.localauthorYang, Hongseok-
dc.contributor.nonIdAuthorZhang, Xin-
dc.contributor.nonIdAuthorMangal, Ravi-
dc.contributor.nonIdAuthorNaik, Mayur-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle; Proceedings Paper-
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 4 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0