[Soot-list] More documentation/publications for intra-procedural analysis in soot

[Amit]

I saw the survivor guide and Eric Bodden's example about intra procedural
data flow analysis using soot but now need more internal details of the
algorithm
(i.e. how loops, conditional branches etc are handled). I need this to
recreate soot for a non-java platform.

Please point me to the details of the algorithm used in ForwardFlowAnalysis
(and the others). The wikipedia link on DFA is not that helpful.
(Some publications and pseudo-code style explanation would be great.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120730/223a6f6b/attachment.html