[Soot-list] About reaching definitions analysis in soot

[Steven Lee]

Hello everyone, would anyone can help me with some questions?

1.      How to do reaching definitions analysis with soot? Does soot already
implement it, or I need to implement it myself with the data-flow framework?


2.      I want to do this analysis for some java source code and then mark
each variables potential definitions, but I find that soot does its main
analysis on the corresponding jimple file. So my question is: if I finished
the analysis on a jimple file, how to I transform these results to my java
source file?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140327/819d14cd/attachment.html