Tech Report on Points-to Analysis Available.

Hi all,


Our technical report on points-to analysis: "Context-Sensitive
Interprocedural Points-to Analysis in the Presence of Function
Pointers. Maryam Emami, Rakesh Ghiya and Laurie J. Hendren" is
now available for anon ftp from wally.cs.mcgill.ca.
The relevant file is: pub/doc/memos/memo54


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


We illustrate the effectiveness of the method with empirical results from
an implementation in the McCAT optimizing/parallelizing C compiler.
-----------------------------------------------------------------------


The analysis is described in complete detail in Maryam Emami's Master's
thesis: "A Practical Interprocedural Alias Analysis for an
Optimizing/Parallelizing C Compiler". It is also available via anon ftp
from wally.cs.mcgill.ca. The relevant directory is : pub/doc/thesis/emami


Rakesh Ghiya.
School of Computer Science,
McGill University,
Montreal, Canada.
--

Return to the comp.compilers page.
Search the comp.compilers archives again.