[Soot-list] object-sensitive points-to analysis

[Ondrej Lhotak]

On Thu, Jul 13, 2006 at 05:14:35PM -0400, Raul Santelices wrote:
> Hi,
>  I'm new to Soot, and I am looking for an implementation of an 
> object-sensitive points-to analysis for Java, like the one presented by 
> Milanova, Rountev and Ryder, or the Jedd-based implementation for the 
> Sable TR 2005-2.
>  I can only find the spark analysis in the soot distribution. Are the 
> analyses mentioned above available?  (Just in case, I want to perform 
> data-flow analysis, which seems to require close interaction with the 
> points-to algorithm).

The context-sensitive analyses (including object-sensitive) are
implemented in Paddle, which although logically a part of Soot, is
maintained separately. You can find it at:
http://www.sable.mcgill.ca/paddle/

Ondrej

> 
> Thanks!
> 
> -- 
> Raul Santelices
> Ph.D. Student
> College of Computing
> Georgia Institute of Technology
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>