[Soot-list] Dominator Analysis

[Zeinab Lashkaripour]

Hi,
Thanks Eric.
>> I need to know whether the variable that I have reached by UD chains is
>> inside a loop (if/swithch/...) or not, so that after that I could do the
>> appropriate transformation.

> Shimple won't really help here I think. At least I don't see how.

I'm not sure but as you pointed we have blocks in Shimple therefore if I check the Immediate dominator of the block that my variable is in I can get my answer, is that correct?

If not, Do have any other suggestions because, I used dominator analysis as you said before and it helped partially.

Regards,
Zeinab
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130211/a277975c/attachment-0001.html