java.lang.Exception verifyerror: Attend un stackmap cadre à la direction de la cible

Salut c'est lié à certains bytecode dans votre application. (voir cette note sur les modifications de compatibilité pour Java 7 http://www.oracle.com/technetwork/java/javase/compatibility-417013.html#incompatibilities, regardez là-bas quelques lignes ci-dessous pour JSR 202)

Vous pouvez soit

• recompiler l'ensemble des sources JDK 7
• ou dans le cas où vous n'avez pas accès à la source
  • utilisation java avec paramètre -XX:-UseSplitVerifier
  • ou de passer à la version 6 de Java si vous faites face à promblems à l'aide de l'interrupteur

modifier Même la réponse est déjà un peu vieux. En raison d'un cas actuel je ajouter une explication plus détaillée.

La StackMapTable attribut dans le fichier de classe a, même pas documenté à l'époque, introduit avec la version 6 de Java.

Foo.java

public class Foo {
public static boolean bar(String s) {
if (s.length() == 0) {
return true;
}
return false;
}
}
$ java -version
java version "1.6.0"
Java(TM) SE Runtime Environment (build 1.6.0-b105)
$ javac Foo.java
$ javap -c -v Foo
Compiled from "Foo.java"
public class Foo extends java.lang.Object
SourceFile: "Foo.java"
minor version: 0
major version: 50
...
public static boolean bar(java.lang.String);
Code:
Stack=1, Locals=1, Args_size=1
0:   aload_0
1:   invokevirtual   #2; //Method java/lang/String.length:()I
4:   ifne    9
7:   iconst_1
8:   ireturn
9:   iconst_0
10:  ireturn
LineNumberTable: 
line 3: 0
line 4: 7
line 6: 9
StackMapTable: number_of_entries = 1
frame_type = 9 /* same */
}

La classe vérificateur n'a pas de vérifier si l'attribut a été dans la classe ou pas.

Suivant crée le fichier Foo.class sans StackMatTable attribut.

FooDump.java

import org.objectweb.asm.*;
import java.io.*;
public class FooDump implements Opcodes {
public static void main(String[] args) throws Exception {
FileOutputStream fos = new FileOutputStream("Foo.class");
fos.write(dump());
fos.close();
}
public static byte[] dump() throws Exception {
ClassWriter cw = new ClassWriter(0);
FieldVisitor fv;
cw.visit(V1_6, ACC_PUBLIC + ACC_SUPER, "Foo", null, "java/lang/Object",
null);
MethodVisitor mv = cw.visitMethod(ACC_PUBLIC, "<init>", "()V", null, 
null);
mv.visitCode();
mv.visitVarInsn(ALOAD, 0);
mv.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V", 
false);
mv.visitInsn(RETURN);
mv.visitMaxs(1, 1);
mv.visitEnd();
mv = cw.visitMethod(ACC_PUBLIC + ACC_STATIC, "bar", 
"(Ljava/lang/String;)Z", null, null);
mv.visitCode();
mv.visitVarInsn(ALOAD, 0);
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/String", "length", "()I", 
false);
Label l0 = new Label();
mv.visitJumpInsn(IFNE, l0);
mv.visitInsn(ICONST_1);
mv.visitInsn(IRETURN);
mv.visitLabel(l0);
//this line would generate the StackMapTable attribute
//mv.visitFrame(Opcodes.F_SAME, 0, null, 0, null);
mv.visitInsn(ICONST_0);
mv.visitInsn(IRETURN);
mv.visitMaxs(1, 1);
mv.visitEnd();
cw.visitEnd();
return cw.toByteArray();
}
}

de compiler et de l'exécuter

$ javac -cp asm-5.2.jar:asm-util-5.2.jar:. FooDump.java
$ java -cp asm-5.2.jar:asm-util-5.2.jar:. FooDump

vérifier que le StackMapTable attribut n'est pas dans le fichier

$ javap -c -v Foo
public class Foo extends java.lang.Object
minor version: 0
major version: 50
...
public static boolean bar(java.lang.String);
Code:
Stack=1, Locals=1, Args_size=1
0:   aload_0
1:   invokevirtual   #16; //Method java/lang/String.length:()I
4:   ifne    9
7:   iconst_1
8:   ireturn
9:   iconst_0
10:  ireturn
}

FooDemo.java

public class FooDemo {
public static void main(String[] args) {
System.out.println("output: " + Foo.bar(""));
}
}
$ java -version
java version "1.6.0"
Java(TM) SE Runtime Environment (build 1.6.0-b105)
$ javac FooDemo.java
$java FooDemo 
output: true

Avec Java 7 la classe de vérification a été changé.

Pour les fichiers de classe version 50 (Java 6) le chèque avait un basculement si la StackMapTable était manquant ou erroné (voir: jvm-4.10.1).

Exécuter la vérification avec la Foo classe version de Java 6.

$ java -version
java version "1.7.0"
Java(TM) SE Runtime Environment (build 1.7.0-b147)
$ javap -c -v Foo
Classfile /home/suboptimal/playground/Foo.class
Last modified Jun 9, 2017; size 232 bytes
MD5 checksum 5a7ea4a5dd2f6d1bcfddb9ffd720f9c9
public class Foo
minor version: 0
major version: 50 <-- class file Java 6
...
$ javac FooDemo.java
$ java FooDemo
output: true

Ce basculement ne se produit pas plus pour les fichiers de classe version 51 (Java 7).

Pour créer un Foo classe version de Java 7 modifiant le code de FooDump.java.

//cw.visit(V1_6, ACC_PUBLIC + ACC_SUPER, "Foo", null, "java/lang/Object", null);
cw.visit(V1_7, ACC_PUBLIC + ACC_SUPER, "Foo", null, "java/lang/Object", null);

de compiler et de l'exécuter

$ javac -cp asm-5.2.jar:asm-util-5.2.jar:. FooDump.java
$ java -cp asm-5.2.jar:asm-util-5.2.jar:. FooDump

vérifier que c'est une version de la classe 51

$ java -version
java version "1.7.0"
Java(TM) SE Runtime Environment (build 1.7.0-b147)
$ javap -c -v Foo
Classfile /home/suboptimal/playground/Foo.class
Last modified Jun 9, 2017; size 232 bytes
MD5 checksum cfd57fb547ac98a1b2808549f5e9e8c1
public class Foo
minor version: 0
major version: 51 <-- class file Java 7
...
$ javac FooDemo.java
$ java FooDemo
Exception in thread "main" java.lang.VerifyError: Expecting a stackmap frame at branch target 9 in method Foo.bar(Ljava/lang/String;)Z at offset 4

Dans Java 7, la vérification de type pour la StackMapTable attribut peut être désactivé à l'étape retour à la version 6 de Java mécanisme de basculement à l'aide de l'option UseSplitVerifier.

$ java -version
java version "1.7.0"
Java(TM) SE Runtime Environment (build 1.7.0-b147)
$ java -XX:-UseSplitVerifier FooDemo
output: true

Dans Java 8 la vérification de la StackMapTable attribut est obligatoire et l'option UseSplitVerifier a été supprimé.

$ java -version
java version "1.8.0"
Java(TM) SE Runtime Environment (build 1.8.0-b132)
$ javap -c -v Foo
Classfile /home/suboptimal/playground/Foo.class
Last modified Jun 9, 2017; size 232 bytes
MD5 checksum cfd57fb547ac98a1b2808549f5e9e8c1
public class Foo
minor version: 0
major version: 51 <-- class file Java 7
...
$ javac FooDemo.java
$ java FooDemo
Exception in thread "main" java.lang.VerifyError: Expecting a stackmap frame at branch target 9
$ java -XX:-UseSplitVerifier FooDemo
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option UseSplitVerifier; support was removed in 8.0
Exception in thread "main" java.lang.VerifyError: Expecting a stackmap frame at branch target 9

note D'utiliser toujours la version initiale de Java 6/7/8 a été fait par l'intention de montrer que le comportement était là depuis le début.

Vous pourriez trouver quelques suggestions pour le remettre en marche avec Java 8 ...

$ java -noverify FooDemo
output: true
$ java -Xverify:none FooDemo
output: true

note Cela désactive le bytecode verifier. Gardez à l'esprit pour ne jamais désactiver le bytecode à la vérification dans un système de production.

OriginalL'auteur SubOptimal