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

[Guru Devanla]

Perfect, that works. I had tried that interface earlier, but I had totally
misunderstood how it worked.

Thanks
Guru

On Fri, Jun 28, 2013 at 6:23 AM, Cheng Zhang <cheng.zhang.stap at gmail.com>wrote:

> 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/ab9a2381/attachment.html