Re: SSA, Java and Points-to Analysis

What you are referring to is the more general problem of "Field
sensitivity", I cant recall the paper but try search with this keyword


        As regards flow sensitivity, it is nice to have but such algorithms
are not scalable in real world. So more importance now is on faster,
scalable pointer analysis and so these
have to flow insensitive and may be field insensitive too, but
andersons is field insensitive


Shrey


vidyut.vid...@gmail.com wrote:
> 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.