DC Field | Value | Language |
---|---|---|
dc.contributor.author | Zhang, Xin | ko |
dc.contributor.author | Mangal, Ravi | ko |
dc.contributor.author | Naik, Mayur | ko |
dc.contributor.author | Yang, Hongseok | ko |
dc.date.accessioned | 2017-08-08T06:54:09Z | - |
dc.date.available | 2017-08-08T06:54:09Z | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.issued | 2014-06 | - |
dc.identifier.citation | ACM SIGPLAN NOTICES, v.49, no.6, pp.249 - 258 | - |
dc.identifier.issn | 0362-1340 | - |
dc.identifier.uri | http://hdl.handle.net/10203/225270 | - |
dc.description.abstract | Interprocedural 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.language | English | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.title | Hybrid Top-down and Bottom-up Interprocedural Analysis | - |
dc.type | Article | - |
dc.identifier.wosid | 000344455800028 | - |
dc.identifier.scopusid | 2-s2.0-84907032571 | - |
dc.type.rims | ART | - |
dc.citation.volume | 49 | - |
dc.citation.issue | 6 | - |
dc.citation.beginningpage | 249 | - |
dc.citation.endingpage | 258 | - |
dc.citation.publicationname | ACM SIGPLAN NOTICES | - |
dc.identifier.doi | 10.1145/2594291.2594328 | - |
dc.contributor.localauthor | Yang, Hongseok | - |
dc.contributor.nonIdAuthor | Zhang, Xin | - |
dc.contributor.nonIdAuthor | Mangal, Ravi | - |
dc.contributor.nonIdAuthor | Naik, Mayur | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.