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

[Cheng Zhang]

Hi Guru,

The implementations of the LocalDefs interface may be what you want:
http://www.sable.mcgill.ca/soot/doc/soot/toolkits/scalar/LocalDefs.html

Best,
Cheng


On Fri, Jun 28, 2013 at 7:14 PM, Guru Devanla <gdevan2 at uic.edu> wrote:

> 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
>
>
>
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130628/8fb8da76/attachment-0001.html