SSA, Java and Points-to Analysis

Hi,


(1) How does the static single assignment for Java three-address
statements look like in the presence of field references ? For eg, if
there were two references like :
                                                                            a.f = b ;
                                                                            a.f = c ;
then is the equivalent form of SSA this :
                                                                            a1.f = b;
                                                                            a2.f = c; ?
Is there any paper/(any other resource) that describes the extension of
SSA form for object oriented languages ?


(2) Does the use of SSA for Java help in points to analysis ? Does it
mean that any flow-insensitive analysis automatically becomes a
flow-sensitive one ? By the way, is flow-sensitive analysis not that
important ? I am asking this because the most recent papers on
points-to analysis for Java I happened to encounter ( extension of
Anderson's analysis for Java, cloning based context sensitive points to
analysis for Java ) are flow insensitive.

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