[Soot-list] Remove switch statement

[Heejong Lee]

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