[Soot-list] Obtaining ReachingDefs of a local in Jimple body

[Guru Devanla]

Hello All,

I am a PhD student at UIC working on static analysis and test generation.

We are performing code analysis using Soot. I am trying to find a way to
find the reachingdefs of a local from a given point in the body. Is there
an easy api call to do this? Or do I need to iterate through all units in
the body and find this myself? I looked around and the only ReachingDef
class I found was under **.djava** package. I am not sure if this is useful
to me. Right now I am dealing with code at the Jimple level.

Thanks
Guru
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130628/61082a20/attachment.html