Technical reports:
Pointer Analysis for C Programs Through AST Traversal
Marcio Buss; Stephen A. Edwards; Bin Yao; Daniel Waddington
Downloads:
- Title:
- Pointer Analysis for C Programs Through AST Traversal
- Author(s):
-
Buss, Marcio
Edwards, Stephen A.
Yao, Bin
Waddington, Daniel - Date:
- 2005
- Type:
- Technical reports
- Department:
- Computer Science
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:29390
- Series:
- Columbia University Computer Science Technical Reports
- Part Number:
- CUCS-028-05
- Publisher:
- Department of Computer Science, Columbia University
- Publisher Location:
- New York
- 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.
- Subject(s):
- Computer science
- Item views:
- 263