[Soot-list] end of a switch block

[Eric Bodden]

Dava is enabled via "-f dava".

Eric

2009/6/21 Cristina Basescu <cristina.basescu at gmail.com>:
> Thank you very much for your replies! Would it be possible to give me an
> example on how to use Dava (and SwitchFinder), please? I believe some
> options should be set in order to achieve that i.e. Options.v()....
>
> Cristina
>
> On Sun, Jun 21, 2009 at 5:32 PM, Eric Bodden <eric.bodden at mail.mcgill.ca>
> 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
>
>



-- 
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada