Paper Info
Title
Modular Interprocedural Pointer Analysis Using Access Paths: Design, Implementation, and Evaluation
Abstract
In this paper we present a modular interprocedural pointer analysis algorithm based on access-paths for C programs. We argue that access paths can reduce the overhead of representing context-sensitive transfer functions and effectively distinguish non-recursive heap objects. And when the modular analysis paradigm is used together with other techniques to handle type casts and function pointers, we are able to handle significant programs like those in the SPECcint92 and SPECcint95 suites. We have implemented the algorithm and tested it on a Pentium II 450 PC running Linux. The observed resource consumption and performance improvement are very encouraging.
Year
DOI
Venue
2000
10.1145/358438.349311
SIGPLAN Conference on Programming Language Design and Implementation
Keywords
Field
DocType
context-sensitive transfer function,function pointer,speccint95 suite,non-recursive heap object,c program,modular interprocedural pointer analysis,modular analysis paradigm,access path,observed resource consumption,pentium ii,compression,virtual machine,transfer function,pointer analysis
Pointer analysis,Function pointer,Programming language,Escape analysis,Computer science,Parallel computing,Real-time computing,Heap (data structure),Pentium,Modular design,Performance improvement,Runtime system
Conference
Volume
Issue
ISSN
35
5
0362-1340
ISBN
Citations 
PageRank 
1-58113-199-2
71
4.49
References 
Authors
22
2
Name
Order
Citations
PageRank
Ben-Chung Cheng115112.31
Wen-mei W. Hwu24322511.62