[Soot-list] About break statement in loop

[Eric Bodden]

Oh I see, you are right. Hmmm, in that case I don't think there's a
way to really detect break statements on the Jimple level. The only
thing you could do is look at the source code positions. But that may
not work in 100% of the cases either.

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 09:49, Qingzhou Luo <seriousamlqz at yahoo.cn> wrote:
>
> 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
> >
>
> ________________________________
> 好玩贺卡等你发，邮箱贺卡全新上线！