[Soot-list] jimple parsed from class file

[Eric Bodden]

Hi Kihong.

Are those really the very same class files? You can compare their
contents with tools like "javap" to make sure. For the same input and
command line, Soot should always give you the same output, no matter
what the OS.

Eric

On 14 January 2013 05:57, Kihong Heo <khheo at ropas.snu.ac.kr> wrote:
> Dear soot-list,
>
> While using Soot, I have a strange problem.
> Two same class files are parsed differently in two different machines.
> Two machines have same versions of jre and jdk, and I use soot-2.5.0.
>
> I put a part of IL from my own program.
> The syntax is not exact Jimple but very similar to that.
>
> == from the first machine ==
>
> $r5:org.apache.tools.ant.BuildException = new org.apache.tools.ant.BuildException
> SpecialInvoke ($r5:org.apache.tools.ant.BuildException).org.apache.tools.ant.BuildException.<init>(java.lang.String,java.lang, ...)
> throw $r5:org.apache.tools.ant.BuildException
>
>
> == from the second machine ==
>
> tmpn$3:org.apache.tools.ant.BuildException = new org.apache.tools.ant.BuildException
> SpecialInvoke (tmpn$3:org.apache.tools.ant.BuildException).org.apache.tools.ant.BuildException.<init>(java.lang.String,java.lang, ...)
> tmp:java.lang.Throwable = (java.lang.Throwable)tmp$23505590:org.apache.tools.ant.BuildException
> throw tmp:java.lang.Throwable
>
>
> Two IL have different temp variable names (e.g. tmpn$3) and statements.
>
> Does anyone know what the main causes are?
>
> Cheers,
> --
> Kihong Heo
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt