[Soot-list] pointer analysis frameworks in soot

[Ondrej Lhotak]

On Fri, Aug 26, 2005 at 12:51:59PM -0700, Deepak Chandra wrote:
> Hi ,
> 
> I want to do some java pointer analysis using the soot framework. I
> was wondering if there are other points-to analysis available other
> than the two provided with soot. Also, where can I find more
> information about the PAG points-to analysis-- is it context-sensitive
> or not? Any papers or documentation ?   I am looking for context and
> flow sensitive points-to analysis.

Hi Deepak...

The Spark framework is context-insensitive and flow-insensitive. It is
documented in my master's thesis, and in the paper about Spark in CC 2003.
See http://www.sable.mcgill.ca/~olhota/Publications.html

The Paddle framework is context-sensitive and flow-insensitive. It will
be documented in my PhD thesis, which is not quite finished yet.

The Indus project seems to have some stuff that may be relevant:
http://indus.projects.cis.ksu.edu/
I am not associated with the Indus project.

Ondrej

> 
> 
> Deepak
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>