SSA, Java and Points-to Analysis

vidyut.vidyut@gmail.com
26 Jan 2006 14:15:25 -0500

          From comp.compilers

Related articles
SSA, Java and Points-to Analysis vidyut.vidyut@gmail.com (2006-01-26)
Re: SSA, Java and Points-to Analysis shreyas76@gmail.com (shrey) (2006-01-28)
Re: SSA, Java and Points-to Analysis dnovillo@redhat.com (Diego Novillo) (2006-01-28)
Re: SSA, Java and Points-to Analysis liekweg@ipd.info.uni-karlsruhe.de (Florian Liekweg) (2006-01-28)
Re: SSA, Java and Points-to Analysis jsinger@cs.man.ac.uk (Jeremy Singer) (2006-01-28)
| List of all articles for this month |

From: vidyut.vidyut@gmail.com
Newsgroups: comp.compilers
Date: 26 Jan 2006 14:15:25 -0500
Organization: http://groups.google.com
Keywords: Java, analysis, question
Posted-Date: 26 Jan 2006 14:15:25 EST

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.



Post a followup to this message

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