[Soot-list] Use soot to output flow-sensitive points-to graphs for a tiny list inverse procedure

[Z]

Hi,

Can SOOT give an  intra-procedural flow-sensitive points-to analysis for a
tiny list-inverse procedure,

j = null;
while i != null do
   k = i.n;
  i.n = j;
  j = i;
  i = k;
end while

(code copied from the paper  "Storeless semantics and alias logic" )

This should be the smallest bench for any pointer analysis. Can SOOT gives
a precise points-to graph for each program point of this example? If I
understand correctly, SPARK and PADDLE are flow-insensitive, the analysis
under

*soot.jimple.toolkits.pointer.InstanceKey*

are only for local variables but not for heap?

Thanks.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120423/2f062dab/attachment.html