A bottom-up pointer analysis using the update history

Cited 2 time in webofscience Cited 0 time in scopus
  • Hit : 368
  • Download : 2
DC FieldValueLanguage
dc.contributor.authorKang, Hyun-Gooko
dc.contributor.authorHan, Taisookko
dc.date.accessioned2010-02-03T02:45:46Z-
dc.date.available2010-02-03T02:45:46Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2009-04-
dc.identifier.citationINFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707-
dc.identifier.issn0950-5849-
dc.identifier.urihttp://hdl.handle.net/10203/16442-
dc.description.abstractPointer analysis is an important part for the source code analysis of C programs. In this paper, we propose a bottom-up and flow- and context-sensitive pointer analysis algorithm, where bottom-up refers to the ability to perform the analysis from callee modules to caller modules. Our approach is based on a new modular pointer analysis domain named the update history that can abstract memory states of a procedure independently of the information on aliases between memory locations and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a bottom-up analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts. The experiments performed on a pilot implementation of the method shows that our approach is effective for improving the precision of a client analysis. (C) 2008 Elsevier B.V. All rights reserved.-
dc.description.sponsorshipThis research was supported by the MKE (Ministry of Knowledge Economy), Korea, under the ITRC (Information Technology Research Center) support program supervised by the institute of information technology advancement (IITA-2008-C1090-0801-0020).en
dc.languageEnglish-
dc.language.isoen_USen
dc.publisherElsevier Science Bv-
dc.subjectINTERPROCEDURAL SHAPE-ANALYSIS-
dc.subjectLOGIC-
dc.titleA bottom-up pointer analysis using the update history-
dc.typeArticle-
dc.identifier.wosid000263495600002-
dc.identifier.scopusid2-s2.0-58549099452-
dc.type.rimsART-
dc.citation.volume51-
dc.citation.issue4-
dc.citation.beginningpage691-
dc.citation.endingpage707-
dc.citation.publicationnameINFORMATION AND SOFTWARE TECHNOLOGY-
dc.identifier.doi10.1016/j.infsof.2008.11.003-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.localauthorHan, Taisook-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorFlow-
dc.subject.keywordAuthorand context-sensitive pointer analysis-
dc.subject.keywordAuthorModular analysis-
dc.subject.keywordAuthorStrong update-
dc.subject.keywordAuthorType system-
dc.subject.keywordPlusINTERPROCEDURAL SHAPE-ANALYSIS-
dc.subject.keywordPlusLOGIC-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 2 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0