[Soot-list] Remove switch statement

[Eric Bodden]

Hello.

To the best of my knowledge there is nothing like this built in. But
it should not be hard to program nonetheless.

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 16 August 2010 04:57, Heejong Lee <heejong at gmail.com> wrote:
> Hi, all.
> Does soot have any utility functions for transforming Jimple Switch
> statements (i.e. LookupSwitch and TableSwitch) to sequence of Jimple If
> statements? I mean, of course, in guaranteeing semantic equality. I'm doing
> path-sensitive data flow analysis on Jimple basis and want to encode path
> information in a binary format.
> The following would be a concrete example:
> [LookupSwitch(x, [1,2,3], [l1,l2,l3], l4)] => [If(x == 1) l1, If(x == 2) l2,
> If(x == 3) l3, Goto l4]
> Regards,
> --
> Heejong Lee
>
> Associate Research Engineer
> Program Analysis Division
> Fasoo.com, Inc. (www.spa-arrow.com)
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>