A bottom-up pointer analysis using the update history

Cited 2 time in webofscience Cited 0 time in scopus
  • Hit : 362
  • Download : 2
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.
Publisher
Elsevier Science Bv
Issue Date
2009-04
Language
English
Article Type
Article
Keywords

INTERPROCEDURAL SHAPE-ANALYSIS; LOGIC

Citation

INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707

ISSN
0950-5849
DOI
10.1016/j.infsof.2008.11.003
URI
http://hdl.handle.net/10203/16442
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