asmtools 躲开 java 语言规范
你可能还记得 boolean 类型在 java 中只有 true 或 false 两个选项,但是这是 Java 语言规范的,但是对于 Java 虚拟机就不同了。boolean 会被映射为 int 类型。准确是 true 映射为整数 1,false 映射为 0。
接下来。通过 asmtools.jar(或者点击 这里 下载压缩包) 反编译字节码文件。然后我们对字节码文件修改,躲开 java 语法规范的约束。把 boolean 变量赋值其他值。
书写一个 Test.java 文件
public class Test {
public static void main(String[] args) {
boolean boolValue = true;
if (boolValue) System.out.println("Hello, Java!");
if (boolValue == true) System.out.println("Hello, JVM!");
}
}
下载 asmtools.jar 工具,移动到和 Test.java 文件夹下。在该目录下打开 cmd,输入以下命令
javac Test.java
java Test
打印结果是 “Hello,Java” 和 ”Hello,JVM!“ 对不对,接下来有趣的来了。输入以下命令,把 Test.class 文件通过 asmtools.jar 转换成 Test.jasm
java -cp asmtools.jar org.openjdk.asmtools.jdis.Main Test.java > Test.jasm
我是 windows 环境下的,使用 notepad++ 打开它,我们就能看到字节码内容了。
super public class Test
version 52:0
{
public Method "<init>":"()V"
stack 1 locals 1
{
aload_0;
invokespecial Method java/lang/Object."<init>":"()V";
return;
}
public static Method main:"([Ljava/lang/String;)V"
stack 2 locals 2
{
iconst_1;
istore_1;
iload_1;
ifeq L14;
getstatic Field java/lang/System.out:"Ljava/io/PrintStream;";
ldc String "Hello, Java!";
invokevirtual Method java/io/PrintStream.println:"(Ljava/lang/String;)V";
L14: stack_frame_type append;
locals_map int;
iload_1;
iconst_1;
if_icmpne L27;
getstatic Field java/lang/System.out:"Ljava/io/PrintStream;";
ldc String "Hello, JVM!";
invokevirtual Method java/io/PrintStream.println:"(Ljava/lang/String;)V";
L27: stack_frame_type same;
return;
}
} // end Class Test
貌似什么都看不懂,不要紧看到 Method main
大概猜出是 Main 函数,把 代码中的第 14 行的 iconst_1
改成 iconst_2
(也就是赋值为数字 2),再执行下面代码:
java -cp asmtools.jar org.openjdk.asmtools.jasm.Main Test.jasm
执行完会生成新的 Test.class 文件,在运行 java Test
命令,结果就只剩 Hello,Java!
了。这样到这里我们就修改了原本 java 语言规范约定 boolean 不能赋值其他值。
同时看出,对于 Java 虚拟机来说,它看到的 boolean 类型,早已被映射为整数类型。因此,将原本声明为 boolean 类型的局部变量,赋值为除了 0、1 之外的整数值,在 Java 虚拟机看来是“合法”的。我们这里 iconst_2
也就是赋值为 2,所以在第一次比较的时候,和 true 也就是在虚拟机映射的值 1 是不相等的。自然就没打印 Hello,JVM
。