[Soot-list] Loops and nop

[Zeinab Lashkaripour]

Hi Eric,
Thank you very much.
I have tried " PhaseOptions.v().setPhaseOption("jb.ne", "on");"
but it didn't work.

Is this right or I have to do something else to manually turn it on?

Regards,
Zeinab


________________________________
 From: Eric Bodden <eric.bodden at ec-spride.de>
To: Zeinab Lashkaripour <lashkaripour at yahoo.com> 
Cc: Marc-Andre Laverdiere-Papineau <marc-andre.laverdiere-papineau at polymtl.ca>; "soot-list at sable.mcgill.ca" <soot-list at sable.mcgill.ca> 
Sent: Tuesday, February 19, 2013 4:02 PM
Subject: Re: [Soot-list] Loops and nop
 
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130219/4c964444/attachment-0001.html