[Soot-list] Loops and nop

[Zeinab Lashkaripour]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130219/b8e4d41e/attachment.html