Re: [abc-users] loops in soot jimple

From: Eric Bodden <eric.bodden_at_mail.mcgill.ca>
Date: Wed, 22 Apr 2009 16:37:34 -0400

Ha, now I see what you mean. Well, in general this could or could not
be the case. Usually it's best to not worry about the concrete
structure of the control flow but instead abstract from it using a
control-flow graph. In Soot you can create an ExceptionalUnitGraph for
your method body and in this graph representation the loop will look
pretty much the same regardless of whether the condition is below or
in front of the block (in the graph it always precedes the block).

To answer your 2nd question: You can easily look at Jimple code by
using the Soot eclipse plugin. Just right-click a class and ask Soot
to produce Jimple for it. Or, on the command line run Soot on a class,
giving it the "-f J" option. This will produce Jimple as well.

Eric

2009/4/22 Amjad Nusayr <anusayr_at_cs.nmsu.edu>:
> Hi Eric
> I mean is the condition at the bottom so that the IR code looks something
>  like
>
> [jump to condition][body][condition].
>
> Do you have any exmaple showing jimple code that is generated from java code
> that has some loop in it.
>
>
> Thanks
>
>
> Eric Bodden wrote:
>>
>> Hi Amjad. What do you mean by turning a loop upside down?
>>
>> Eric
>>
>> 2009/4/22 Amjad Nusayr <anusayr_at_cs.nmsu.edu>:
>>
>>>
>>> Hello
>>> does anyone know if soot.jimple in abc turn while/for loops upside down?
>>> (This is common in compiler generated assembly code)
>>>
>>> Regards
>>>
>>>
>>>
>>>
>>
>>
>>
>>
>
>
>

-- 
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada
Received on Wed Apr 22 2009 - 21:37:38 BST

This archive was generated by hypermail 2.2.0 : Thu Apr 30 2009 - 23:50:11 BST