Support Java 8 .class files

GaloisInc / jvm-verifier

The Java Symbolic Simulator, part of SAW.

BSD 3-Clause "New" or "Revised" License

10 stars 2 forks source link

Support Java 8 .class files #7

Closed atomb closed 8 years ago

atomb commented 8 years ago

We originally developed the JVM .class file parser with Java 6, and haven't extended it in a while. It can load some files generated from later versions, but not all. We should extend it to support all Java 8 constructs.

atomb commented 8 years ago

We can now parse all Java 8 class files. Symbolic execution of invokedynamic is not yet supported, however.