[Soot-list] Loops and nop

[Eric Bodden]

Hello.

If the nops are causing you trouble, maybe you can just apply the
NopEliminator manually to the bodies you care about?

Eric

On 19 February 2013 13:01, Zeinab Lashkaripour <lashkaripour at yahoo.com> wrote:
> Thanks Marc-André for your reply.
> I am seeking for loops in the program and for this reason I'm using
> "LoopNestTree".
> Because of the "nop" instructions in the Jimple I don't get the answers I'm
> looking for.
> For example I have the below loop that is identified,
> while (i < j)
>                 i = j++ / i;
> but the loop statements are: [nop, if i < j goto nop, ...] and because of
> the nop at the beginning, my loop head which is "if i < j goto nop" is
> specified "nop" instead.
> And another issue which is related to these nops is that the destination of
> the jump is also specified by these nops instead of the real jump.
>
> This should not occur because we have "jb.ne" has the default value of true
> and I've seen lots of examples (in various refrences) that don't contain
> these nops.
>
> Regards,
>  Zeinab
>
> ________________________________
> From: Marc-Andre Laverdiere-Papineau
> <marc-andre.laverdiere-papineau at polymtl.ca>
> To: soot-list at sable.mcgill.ca
> Sent: Tuesday, February 19, 2013 5:14 AM
> Subject: Re: [Soot-list] Loops and nop
>
> I am not sure what your question is. Would you mind rephrasing?
>
> Marc-André Laverdière-Papineau
> Doctorant - PhD Candidate
>
> On 13-02-18 03:04 AM, Zeinab Lashkaripour wrote:
>> Hi,
>> We know that the "nop" and"goto [?= nop]" are just an issue of pretty
>> printing.
>
>> I am using "LoopNestTree" in order to detect the loops but because of
>> these "nops"
>> I don't the answers I'm looking for and It's odd because as mentioned in
>> [1] "jb.ne" has the default value of true.
>> Can anybody help me?
>>
>> Regards,
>> Zeinab
>>
>>
>> [1]:
>> http://www.sable.mcgill.ca/soot/tutorial/phase/phase.html#SECTION000211000000000000000
>>
>>
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt