Modular interprocedural pointer analysis using access paths: Design, implementation, and evaluation

Ben Chung Cheng, Wen-Mei W Hwu

Research output: Contribution to journalReview article

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.

Original languageEnglish (US)
Pages (from-to)57-69
Number of pages13
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume35
Issue number5
DOIs
StatePublished - May 2000

Fingerprint

Transfer functions
Linux

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

Cite this

@article{5ec1430c6aa640278260e4c3a3084dc7,
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.",
author = "Cheng, {Ben Chung} and Hwu, {Wen-Mei W}",
year = "2000",
month = "5",
doi = "10.1145/358438.349311",
language = "English (US)",
volume = "35",
pages = "57--69",
journal = "ACM SIGPLAN Notices",
issn = "1523-2867",
publisher = "Association for Computing Machinery (ACM)",
number = "5",

}

TY - JOUR

T1 - Modular interprocedural pointer analysis using access paths

T2 - Design, implementation, and evaluation

AU - Cheng, Ben Chung

AU - Hwu, Wen-Mei W

PY - 2000/5

Y1 - 2000/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=17144409441&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=17144409441&partnerID=8YFLogxK

U2 - 10.1145/358438.349311

DO - 10.1145/358438.349311

M3 - Review article

AN - SCOPUS:17144409441

VL - 35

SP - 57

EP - 69

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

SN - 1523-2867

IS - 5

ER -