Re: SSA, Java and Points-to Analysis

vidyut.vidyut@gmail.com wrote:


> Is there any paper/(any other resource) that describes the extension of
> SSA form for object oriented languages ?
>
You may want to take a look at GCC. We represent aliasing information
directly in the IR (a mixed blessing which is in the process of being
transformed), including structure fields. The representation is similar
to what is used in the SGI compiler.


You may find some high-level descriptions in the GCC summit proceedings
from 2004 and 2005:


Structure aliasing in GCC, Daniel Berlin, GCC Summit 2005
(http://www.gccsummit.org/2005/2005-GCC-Summit-Proceedings.pdf)


Design and Implementation of Tree SSA, Diego Novillo, GCC Summit 2004
(http://www.gccsummit.org/2004/2004-GCC-Summit-Proceedings.pdf)




> (2) Does the use of SSA for Java help in points to analysis ?
>
It does. You almost automatically get flow sensitivity if you do your
analysis on SSA names. We are also working on context sensitive algorithms.

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