DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kang, Hyun-Goo | ko |
dc.contributor.author | Han, Taisook | ko |
dc.date.accessioned | 2010-02-03T02:45:46Z | - |
dc.date.available | 2010-02-03T02:45:46Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2009-04 | - |
dc.identifier.citation | INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707 | - |
dc.identifier.issn | 0950-5849 | - |
dc.identifier.uri | http://hdl.handle.net/10203/16442 | - |
dc.description.abstract | Pointer 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.sponsorship | This 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.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | Elsevier Science Bv | - |
dc.subject | INTERPROCEDURAL SHAPE-ANALYSIS | - |
dc.subject | LOGIC | - |
dc.title | A bottom-up pointer analysis using the update history | - |
dc.type | Article | - |
dc.identifier.wosid | 000263495600002 | - |
dc.identifier.scopusid | 2-s2.0-58549099452 | - |
dc.type.rims | ART | - |
dc.citation.volume | 51 | - |
dc.citation.issue | 4 | - |
dc.citation.beginningpage | 691 | - |
dc.citation.endingpage | 707 | - |
dc.citation.publicationname | INFORMATION AND SOFTWARE TECHNOLOGY | - |
dc.identifier.doi | 10.1016/j.infsof.2008.11.003 | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Han, Taisook | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | Flow | - |
dc.subject.keywordAuthor | and context-sensitive pointer analysis | - |
dc.subject.keywordAuthor | Modular analysis | - |
dc.subject.keywordAuthor | Strong update | - |
dc.subject.keywordAuthor | Type system | - |
dc.subject.keywordPlus | INTERPROCEDURAL SHAPE-ANALYSIS | - |
dc.subject.keywordPlus | LOGIC | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.