[Soot-list] Java 1.7 output

[Bodden, Eric]

Thanks Phil.

Well, we could add such an option but I am not sure there would be any more uses of it. To me it seems like the other tool is at fault really - the bytecodes should be identical.

Eric


On 02.02.2014, at 12:28, Nate <nathan.sweet at gmail.com> wrote:

> Hi Phil,
> 
> Thanks for the tip. I added requireJava7() to the end of the jas.ClassEnv constructor in Jasmin and I'm now getting Java 7 class files.
> 
> Cheers!
> -Nate
> 
> 
> 
> 
> On Sun, Feb 2, 2014 at 4:29 AM, Phil Pratt-Szeliga <pcpratts at trifort.org> wrote:
> Hello Nate,
> 
> > I'm using Soot's JBCO. Is it possible for the class files output to be Java
> > 7 (version 51)? I am running Soot from the Git develop branch and I see the
> > class files output are Java 6 (version 50).
> 
> If Eric agrees, you might be able to add an option to output Java 7
> class files. If you look at the hotspot source [1] and search for
> JAVA_7_VERSION, you will see that they only use this in instances
> where they are doing more verification. I do not think there are any
> changes in the class file format between the two versions besides the
> version number.
> 
> Phil Pratt-Szeliga
> http://trifort.org/
> 
> [1] http://hg.openjdk.java.net/jdk7/hotspot/hotspot/file/9b0ca45cd756/src/share/vm/classfile/classFileParser.cpp
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140202/c3eadcc8/attachment-0001.bin