Title :
Pointer analysis for source-to-source transformations
Author :
Buss, Marcio ; Edwards, Stephen A. ; Yao, Bin ; Waddington, Daniel
Author_Institution :
Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
fDate :
30 Sept.-1 Oct. 2005
Abstract :
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.
Keywords :
C language; program diagnostics; program interpreters; reverse engineering; C program; abstract syntax trees; dataflow analysis; inference rules; pointer analysis; source-to-source transformations; source-to-source translation; Algorithm design and analysis; Application software; Computer science; Data analysis; Inference algorithms; Information analysis; Resource management; Runtime; Scheduling; Target tracking;
Conference_Titel :
Source Code Analysis and Manipulation, 2005. Fifth IEEE International Workshop on
Print_ISBN :
0-7695-2292-0
DOI :
10.1109/SCAM.2005.20