[Soot-list] Implement a flow-sensitive points-to analyzer with SOOT?

[Z]

Hello,

I would like to know how to implement a flow-sensitive points-to analyzer
with SOOT? Can I use the library of Spark/Paddle? Apparently they are build
in flow-insensitive, and I have not found options to make them sensitive to
control flow. Am I obliged to implement it from scratch as a standard
dataflow problem?

It is difficult for me to get started with SOOT. You and your documents are
so helpful, thank you.

Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120320/245826e9/attachment.html