soot xml output

[JRP Jansen <jeltejan@sci.kun.nl>]

Hi,

i have just upgraded soot (from version 1.2.5 to 2.0.1) and i noticed a
change in the .xml files it produces:

If i made a program that contains a conditional jump soot would produce a
tag like:

<jimple length="23"><![CDATA[if b0 != 0 goto label0]]></jimple>

but with 2.0.1, the name of the label that is jumped to is replaced by the
jimple code of the first statement in the label that is jumped to, for
instance like this:

<jimple length="58"><![CDATA[if b0 != 0 goto staticinvoke <test1: void printValue()>()]]></jimple>


The original output seems more logical to me (especially since the goto
does contain the label name in the jimple output), but maybe i am missing
something here. Is this a bug or is it a correct result, and if so, is
there a command line option to supress it?

Thanks in advance,

Jelte Jansen