Re: SSA, Java and Points-to Analysis

> Is there any paper/(any other resource) that describes the extension of
> SSA form for object oriented languages ?


I recommend "Unified Analysis of Array and Object References in Strongly
Typed Languages", Fink/Knobe/Sarkar at SAS 2000. Their ideas have been
incorporated into the IBM Jikes RVM, which does SSA analysis for Java
bytecode programs.


> (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 ?


Hasti+Horwitz talk about turning flow-sensitive alias analysis into
flow-insensitive analysis by transforming into SSA, see "Using static
single assignment form to improve flow-insensitive pointer analysis" at
PLDI 1998.




You might like to check out my recently constructed SSA bibliography
page - it's at:


http://www.cs.man.ac.uk/~jsinger/ssa.html


Please mail me with details of important SSA papers that are missing
from this bibliography.


Cheers,
Jeremy

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