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

[Raul Santelices]

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).

Thanks!

-- 
Raul Santelices
Ph.D. Student
College of Computing
Georgia Institute of Technology