Pointer Analysis for Source-to-Source Transformations

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 y 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 sourceto-source translation framework and experimental results show that it is practical on real-world examples.

• Type: Conference
• Year: 2005
• Where: SCAM
• Authors: Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. Waddington
• Keywords: Abstract Syntax Tree, Pointer Analysis Algorithm, SCAM 2005, Software Engineering, Source Program