Re: SSA, Java and Points-to Analysis

Jeremy Singer <jsinger@cs.man.ac.uk>
28 Jan 2006 15:17:52 -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: Jeremy Singer <jsinger@cs.man.ac.uk>
Newsgroups: comp.compilers
Date: 28 Jan 2006 15:17:52 -0500
Organization: Compilers Central
References: 06-01-080
Keywords: Java, analysis
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
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



Post a followup to this message

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