Academic Commons


Pointer Analysis for Source-to-Source Transformations

Buss, Marcio; Edwards, Stephen A.; Yao, Bin; Waddington, Daniel

We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantled intermediate form of the source program, making them difficult to apply to source-to-source tools that generally work on abstract syntax trees to preserve details of the source program. Our pointer analysis algorithm operates directly on the abstract syntax tree of a C program and uses a form of standard dataflow analysis to compute the desired points-to information. We have implemented our algorithm in a source-to-source translation framework and experimental results show that it is practical on real-world examples.



Also Published In

SCAM 2005: Proceedings: Fifth IEEE International Workshop on Source Code Analysis and Manipulation: 30 September - 1 October 2005, Budapest, Hungary

More About This Work

Academic Units
Computer Science
Published Here
March 8, 2012
Academic Commons provides global access to research and scholarship produced at Columbia University, Barnard College, Teachers College, Union Theological Seminary and Jewish Theological Seminary. Academic Commons is managed by the Columbia University Libraries.