Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (1994)
| Citations: | 359 - 23 self |
BibTeX
@INPROCEEDINGS{Emami94context-sensitiveinterprocedural,
author = {Maryam Emami and Rakesh Ghiya and Laurie J. Hendren},
title = {Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers},
booktitle = {},
year = {1994},
pages = {242--256}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper reports on the design, implementation, and empirical results of a new method for dealing with the aliasing problem in C. The method is based on approximating the points-to relationships between accessible stack locations, and can be used to generate alias pairs, or used directly for other analyses and transformations. Our method provides context-sensitive interprocedural information based on analysis over invocation graphs that capture all calling contexts including recursive and mutually-recursive calling contexts. Furthermore, the method allows the smooth integration for handling general function pointers in C.
