一个通不过Java字节码校验的例子 - 编程入门网
一个通不过Java字节码校验的例子时间:2011-10-07 javaeye RednaxelaFX一般我们写Java源码,用Java编译器编译出.class文件,是不会碰到校验失败的状况的,因为正常的 Java编译器都会小心对待生成的代码。所以,想要看到校验失败的状况,很容易的一个办法就是自己生成 不合法的字节码。 这里我用了ObjectWeb的ASM来生成字节码。可以从官网下载asm-3.1.jar,并保证其在编译和运行下面 这个程序时在classpath上。 (本来是很想顺便试试Charles O. Nutter写的bitescript库,不过惰性上来了,懒得去下载……下次 吧,下次) Java代码 import java.io.FileOutputStream; import org.objectweb.asm.ClassWriter; import org.objectweb.asm.MethodVisitor; import org.objectweb.asm.Opcodes; public class TestASM implements Opcodes { public static void main(String[] args) throws Exception { ClassWriter cw = new ClassWriter(0); cw.visit( V1_5, // class format version ACC_PUBLIC, // class modifiers "TestVerification", // class name fully qualified name null, // generic signature "java/lang/Object", // super class fully qualified name new String[] { } // implemented interfaces ); MethodVisitor mv = cw.visitMethod( ACC_PUBLIC, // access modifiers "foo", // method name "()V", // method description null, // generic signature null // exceptions ); mv.visitCode(); mv.visitInsn(FCONST_0); mv.visitVarInsn(FSTORE, 1); mv.visitVarInsn(ILOAD, 1); mv.visitVarInsn(ISTORE, 1); mv.visitInsn(RETURN); mv.visitMaxs(1, 2); mv.visitEnd(); // end method cw.visitEnd(); // end class byte[] clz = cw.toByteArray(); FileOutputStream out = new FileOutputStream("TestVerification.class"); out.write(clz); out.close(); } } 一个通不过Java字节码校验的例子(2)时间:2011-10-07 javaeye RednaxelaFX运行该程序后,得到的是TestVerification.class文件,其内容是: Java bytecode代码 public class TestVerification extends java.lang.Object minor version: 0 major version: 49 Constant pool: const #1 = Asciz TestVerification; const #2 = class #1; // TestVerification const #3 = Asciz java/lang/Object; const #4 = class #3; // java/lang/Object const #5 = Asciz foo; const #6 = Asciz ()V; const #7 = Asciz Code; { public void foo(); Code: Stack=1, Locals=2, Args_size=1 0: fconst_0 1: fstore_0 2: iload_0 3: istore_0 4: return } 可以看到,foo()里代码先把float类型的常量0.0压到求值栈上(fconst_0),然后将它弹出并保存到 局部存储区的第一格(fstore_0)。接下来从局部存储区的第一格取出一个int类型的值压到求值栈上 (iload_0),再将其弹出并再次保存到局部存储区的第一格(istore_0)。 要是硬要用Java来表示这个.class文件里的逻辑,大概类似这样: Java代码 public class TestVerification { public void foo() { float a = 0; ((int) a) = a; } } 很明显这没办法用Java表达出来…… 上面代码中,局部存储区的第一格就在同一个方法里前后用于保存了float和int类型的值,破坏了类 型安全。JVM为了保证类型安全,要求局部存储区里每格只能保存固定类型的值,load/store与对应的格 的类型必须匹配。 运行这个程序会导致校验错误: Command prompt代码 D:\temp_code>java TestVerification Exception in thread "main" java.lang.VerifyError: (class: TestVerification, method: foo signature: ()V) Register 1 contains wrong type Could not find the main class: TestVerification. Program will exit. 于是JVM的类加载器先抱怨校验失败,然后拒绝加载这个main()方法,后面就连锁抱怨找不到main()方 法。 |
凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务,公司网站:http://www.lingzhong.cn 为了给广大客户了解更多的技术信息,本技术文章收集来源于网络,凌众科技尊重文章作者的版权,如果有涉及你的版权有必要删除你的文章,请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息,谢谢! |