[Soot-list] end of a switch block

[Cristina Basescu]

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