[Soot-list] end of a switch block

[mbatch at cs.mcgill.ca]

The SwitchFinder should certainly do the trick, but I have a vague
recollection that the "shape" of switches in bytecode changed a little
over the last few java releases. It would be interesting to see how many
of the different outputs SwitchFinder would handle.

Michael

On Sun, June 21, 2009 10:32 am, Eric Bodden wrote:
> Excellent idea. That may help:
> soot.dava.toolkits.base.finders.SwitchFinder
>
> Eric
>
>
> 2009/6/20 Patrick Lam <plam at cs.mcgill.ca>:
>
>> Eric Bodden wrote:
>>
>>>
>>> Yes, I agree that in this case this seems to be the only solution.
>>> Too
>>> bad that you cannot work on source code. I wonder if there is some
>>> standard way at all in which Java compilers compile switch blocks
>>> into bytecode. Otherwise, I guess it would just be plain impossible to
>>>  achieve what you are trying to achieve. Did you check whether e.g.
>>> javac, eclipse and Soot produce similar bytecode/jimple for the same
>>
>> What about considering Dava output? I don't know what it does for
>> switch blocks.
>>
>> pat
>>
>
>
>
> --
> Eric Bodden
> Sable Research Group, McGill University
> Montréal, Québec, Canada
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>