Re: soot xml output

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

The XML output code relied on a number of things in Soot that have
changed. In particular, it relied on VTA, which was replaced by Spark,
and on the old IR output code, which was re-written.

The XML output code could be updated to reflect these changes, but this
has not been done. David Eng, who wrote the XML output code, is no
longer working on Soot, and he has not made available his XSLT files
that process the XML output. Aside from him, we had not heard of anyone
intending to use the XML output.

Ondrej

On Wed, Jul 02, 2003 at 05:28:10PM +0200, JRP Jansen wrote:
> 
> 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
>