[Soot-list] About break statement in loop

[Qingzhou Luo]

Hi Eric,
 
I want to get all the break statements(and their basic blocks) in a LOOP. These basic blocks do NOT count for loop exits in Jimple, because they are always executed for only once in a loop (thus not included in Loop.getLoopStatements() ). I tried LoopFinder and found above conclusion.
 
Do you have any suggestions?
 
Thanks,
 
Qingzhou


--- 10年2月2日，周二, Eric Bodden <bodden at st.informatik.tu-darmstadt.de> 写道：


发件人: Eric Bodden <bodden at st.informatik.tu-darmstadt..de>
主题: Re: [Soot-list] About break statement in loop
收件人: "Qingzhou Luo" <seriousamlqz at yahoo.cn>
抄送: soot-list at sable.mcgill.ca
日期: 2010年2月2日,周二,下午3:51


Hi.

I think that in general it will be very hard to tell apart a "normal"
loop exit from a "break" statement on the Jimple level because both
will be compiled into a "goto" statement. So do you really need to
know all break statements or are you just interested in all possible
loop exits?

Eric

--
Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt


On 2 February 2010 06:58, Qingzhou Luo <seriousamlqz at yahoo.cn> wrote:
>
> Hi all,
>
> I want to use Soot to find all the break statements in a loop(for,while,do, not in switch). But actually it doesn't count for loop exit statement in Jimple. So I'm wondering if there a way to do such things?
>
> Thanks,
>
> Qingzhou
> ________________________________
> 好玩贺卡等你发，邮箱贺卡全新上线！
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



      ___________________________________________________________ 
  好玩贺卡等你发，邮箱贺卡全新上线！ 
http://card.mail.cn.yahoo.com/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100202/8ebff6bd/attachment.html