|SSA, Java and Points-to Analysis email@example.com (2006-01-26)|
|Re: SSA, Java and Points-to Analysis firstname.lastname@example.org (shrey) (2006-01-28)|
|Re: SSA, Java and Points-to Analysis email@example.com (Diego Novillo) (2006-01-28)|
|Re: SSA, Java and Points-to Analysis firstname.lastname@example.org (Florian Liekweg) (2006-01-28)|
|Re: SSA, Java and Points-to Analysis email@example.com (Jeremy Singer) (2006-01-28)|
|From:||Jeremy Singer <firstname.lastname@example.org>|
|Date:||28 Jan 2006 15:17:52 -0500|
|Posted-Date:||28 Jan 2006 15:17:52 EST|
> 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
> (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
You might like to check out my recently constructed SSA bibliography
page - it's at:
Please mail me with details of important SSA papers that are missing
from this bibliography.
Return to the
Search the comp.compilers archives again.