[Soot-list] Java 1.7 output

[Nate]

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