Home

Pointer Analysis for C Programs Through AST Traversal

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

Title:
Pointer Analysis for C Programs Through AST Traversal
Author(s):
Buss, Marcio
Edwards, Stephen A.
Yao, Bin
Waddington, Daniel
Date:
Type:
Technical reports
Department:
Computer Science
Permanent URL:
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:
324
Metadata:
text | xml

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use