Class文件十六进制背后的秘密

最新推荐文章于 2023-08-30 16:45:00 发布
最新推荐文章于 2023-08-30 16:45:00 发布
阅读量4.4k 收藏 28
点赞数 10
分类专栏： JVM
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/peng_zhanxuan/article/details/104329859
版权

导读

Java源代码被编译为Class文件之后，里面究竟保存了什么东西，有什么奥秘呢？本文将为你揭开Class文件神秘的面纱。Class文件结构是JVM加载Class，实例化对象，和进行方法调用的重要依据，了解了它，我们将能够更透彻的洞悉JVM执行字节码背后的机制：

  1. 运行时常量池和静态常量池有什么区别？
  2. Class文件里面都有什么内容？
  3. Class文件反汇编之后的格式里面分别有什么，尝试解读里面方法中的汇编指令
  4. 本地变量表和操作数栈是如何工作的

1、查看Class文件

如果想要探究Class文件十六进制数字背后的秘密，那就必须得翻出字节码来仔细研究一下了，看一下里面究竟是什么东西。这里提供一个查看字节码文件的命令：

1、以十六进制查看Class文件

技巧：vim + xxd = 十六进制编辑器

vim -b xxx.class 可以以二进制将class文件打开；

vim内调用：:%!xxd 以十六进制显示当前文件；

修改完成之后，如果想保存，则执行以下命令把十六进制转换回二进制：

:%!xxd -r

2、输出包括行号，本地变量反汇编等信息

javap

  • -v -verbose：输出附加信息(包括行号、本地变量表、反汇编等信息)
  • -c：对代码进行反汇编

如：

javap -c xxx.class

javap -verbose Test.class

更多关于javap的介绍：javap - The Java Class File Disassembler

关于反汇编：
反汇编(Disassembly)：把目标代码转为汇编代码的过程，也可以说是把机器语言转换为汇编语言代码、低级转高级的意思。软件一切神秘的运行机制全在反汇编代码里面。
– 来源：反汇编

2、Class文件解读

JVM规范中的Class文件解读

这一小节比较枯燥，大部分是文字描述，但是很重要，决定了我们能不能正确把class二进制文件给解析出来，所以还是需要先大致了解下。

JVM规范中 4.1. The ClassFile Structure 给我们提供了一下的Class文件结构：

ClassFile {
    u4             magic; // 魔数
    u2             minor_version; // 副版本号
    u2             major_version; // 主版本号
    u2             constant_pool_count; // 常量池计数器
    cp_info        constant_pool[constant_pool_count-1]; // 常量池数据区
    u2             access_flags; // 访问标志
    u2             this_class; // 类索引
    u2             super_class; // 父类索引
    u2             interfaces_count; // 接口计数器
    u2             interfaces[interfaces_count]; // 接口表
    u2             fields_count; // 字段计数器
    field_info     fields[fields_count]; // 字段表
    u2             methods_count; // 方法计数器
    method_info    methods[methods_count]; // 方法表
    u2             attributes_count; // 属性计数器
    attribute_info attributes[attributes_count]; // 属性表
}

Class文件是一组以8位字节为基础单位的二进制流。以上类结构只有两种数据类型：

  • 无符号数：无符号数属于基本属性类型，用u1, u2, u4, u8分别代表1个字节，2个字节，4个字节和8个字节的无符号数，可以用它描述数字、索引引用、数量值或者utf8编码的字符串值；
  • 表：由多个无符号数或者其他表作为数据项构成的复合数据类型，以命名_info结尾。

根据以上的Class文件结构，我们可以梳理出以下的Class文件结构图：

image-20200201194731846

2.1、魔数 magic

用于标识这个文件的格式，Class文件格式的魔数为 0xCAFEBABE。

2.2、副版本号 minor_version，主版本号 major_version

minor_version和major_version项目的值是此类文件的次要版本号和主要版本号。 主版本号和次版本号共同决定了类文件格式的版本。 如果类文件的主版本号为M，次版本号为m，则将其类文件格式的版本表示为M.m。 因此，可以按字典顺序对类文件格式版本进行排序，例如1.5 <2.0 <2.1。

2.3、常量池计数器 constant_pool_count

常量池描述着整个Class文件中所有的字面量信息。常量池计数器(constant_pool_count)的值等于常量池(constant_pool)表中的条目数加一。

如果constant_pool索引大于零且小于constant_pool_count，则该索引被视为有效。

2.4、常量池表 constant_pool[]

constant_pool[]是一个结构表，表示各种字符串常量，类和接口名称，字段名称以及在ClassFile结构及其子结构中引用的其他常量。 每个constant_pool表条目的格式由其第一个“标签”字节指示。

所有类型的常量池表项目有以下通用的格式：

cp_info {
    u1 tag;
    u1 info[];
}

constant_pool表的索引从1到constant_pool_count-1。

常量池中的14种常量结构

参考JVM规范：4.4. The Constant Pool，得出常量池各种常量类型的结构：

常量名称类型项目Description
CONSTANT_Class_infou1tag7：类或接口的符号引用
u2name_index指向全限定名常量项的索引
CONSTANT_Fieldref_infou1tag9：字段的符号引用
u2class_index指向声明字段的类或者接口描述符CONSTANT_Class_info的索引项
u2name_and_type_index指向字段描述符CONSTANT_NameAndType的索引项
CONSTANT_Methodref_infou1tag10：类中方法的符号引用
u2class_index指向声明方法的类描述符CONSTANT_Class_info的索引项
u2name_and_type_index指向名称及类型描述符CONSTANT_NameAndType的索引项
CONSTANT_InterfaceMethodref_infou1tag11：接口中方法的符号引用
u2class_index指向声明方法的接口描述符CONSTANT_Class_info的索引项
u2name_and_type_index指向名称及类型描述符CONSTANT_NameAndType的索引项
CONSTANT_String_infou1tag8：字符串类型字面量
u2string_index指向字符串字面量的索引
CONSTANT_Integer_infou1tag3：整型字面量
u4bytes按照高位在前存储的int值
CONSTANT_Float_infou1tag4：浮点型字面量
u4bytes按照高位在前存储的float值
CONSTANT_Long_infou1tag5：长整型字面量
u4high_bytes
u4low_bytes((long) high_bytes << 32) + low_bytes
CONSTANT_Double_infou1tag6：双精度浮点型字面量
u4high_bytes
u4low_bytes
CONSTANT_NameAndType_infou1tag12：字段或方法的部分符号引用
u2name_index指向该字段或方法名称常量项的索引
u2descriptor_index指向该字段或方法描述符常量项的索引
CONSTANT_Utf8_infou1tag1：UTF-8编码的字符串
u2lengthUTF-8编码的字符串占用的字节数
u1byte[length]长度为length的UTF-8编码的字符串
CONSTANT_MethodHandle_infou1tag15：表示方法句柄
u1reference_kind值必须在1到9的范围内。该值表示此方法句柄的类型，该句柄表征其字节码行为(§5.4.3.5)
u2reference_index值必须是对常量池的有效引用
CONSTANT_MethodType_infou1tag16：表示方法类型
u2descriptor_index值必须是指向constant_pool表的有效索引。该索引处的constant_pool条目必须是代表方法描述符的CONSTANT_Utf8_info结构
CONSTANT_InvokeDynamic_infou1tag18：表示一个动态方法调用点
u2bootstrap_method_attr_index值必须是此类文件的bootstrap方法表(§4.7.23)的bootstrap_methods数组的有效索引。
u2name_and_type_index值必须是指向constant_pool表的有效索引。该索引处的constant_pool条目必须是代表方法名称和方法描述符(§4.3.3)的CONSTANT_NameAndType_info结构(§4.4.6)。

2.5、访问标记 access_flags

access_flags是一种掩码标志，用于表示对该类或接口的访问权限。每个标志的解释如下：

标志名称值含义
ACC_PUBLIC0x0001标记为 public，可以被类外访问。
ACC_FINAL0x0010标记定义为 final，不允许有子类。
ACC_SUPER0x0020当调用到 invokespecial 指令时，需要特殊处理的父类方法。
ACC_INTERFACE0x0200是一个接口。
ACC_ABSTRACT0x0400是一个抽象类，不能够被实例化。
ACC_SYNTHETIC0x1000标记是由编译器产生的，不存在于源码中。
ACC_ANNOTATION0x2000标记为注解类型。
ACC_ENUM0x4000标记为枚举类型。

注意：

  • 接口通过标记位ACC_INTERFACE来区分，如果不是这个标记位，则表示一个类，而非接口；
  • 设置了ACC_INTERFACE标记位，那么ACC_ABSTRACT标记位也得设置，并且不得设置ACC_FINAL，ACC_SUPER以及ACC_ENUM；
  • 如果设置的不是ACC_INTERFACE，那么除了ACC_ANNOTATION，其他都可以设置。不能同时使用ACC_FINAL和ACC_ABSTRACT标记；
  • 目前的Java虚拟机指令集的编译器应设置ACC_SUPER标记。 在Java SE 8和更高版本中，Java虚拟机将在每个类文件中设置ACC_SUPER标记，而不管该标志在该类文件中的实际值和类文件的版本如何。ACC_SUPER标志是为了兼容旧版本编译器编译的代码。在JDK1.0.2之前编译生成Class没有ACC_SUPER标志，JDK1.0.2前的JVM遇到该标记将忽略它；
  • ACC_SYNTHETIC标记表明该类或者接口是由编译器编译产生，不存在与源码中；
  • 注解类型必须设置ACC_ANNOTATION标记，具有ACC_ANNOTATION标记的同时，必须要有ACC_INTERFACE标记；
  • ACC_ENUM标记表明该类或其超类被声明为枚举类型。

2.6、类索引 this_class

类索引的值必须是constant_pool表中的有效索引。该索引处的constant_pool条目必须是CONSTANT_Class_info结构，该结构表示此类文件定义的类或接口。

2.7、父类索引 super_class

对于一个类，父类索引的值必须为零或必须是constant_pool表中的有效索引。 如果super_class项的值非零，则该索引处的constant_pool条目必须是CONSTANT_Class_info结构，该结构表示此类文件定义的类的直接超类。 直接超类或其任何超类都不能在其ClassFile结构的access_flags项中设置ACC_FINAL标志。

如果super_class项的值为零，则该类只可能是java.lang.Object，这是没有直接超类的唯一类或接口。

对于接口，父类索引的值必须始终是constant_pool表中的有效索引。该索引处的constant_pool条目必须是java.lang.Object的CONSTANT_Class_info结构。

2.8、接口计数器 interfaces_count

接口计数器表示当前类或接口类型的直接超接口的数量。

2.9、接口表 interfaces[]

接口表的每个值都必须是constant_pool表中的有效索引。interfaces [i]的每个值（其中0≤i <interfaces_count）上的constant_pool条目必须是CONSTANT_Class_info结构，该结构描述当前类或接口类型的直接超接口。

2.10、字段计数器 fields_count

字段计数器的值给出了fields表中field_info(§4.5)结构的数量。 field_info结构代表此类或接口类型声明的所有字段，包括类变量和实例变量。

2.11、字段表 fields[]

字段表中的每个值都必须是field_info结构(§4.5)，以提供对该类或接口中字段的完整描述。 字段表仅包含此类或接口声明的字段，不包含从超类或超接口继承的字段。

字段有如下结构：

field_info {
    u2             access_flags;
    u2             name_index;
    u2             descriptor_index;
    u2             attributes_count;
    attribute_info attributes[attributes_count];
}

2.12、方法计数器 methods_count

方法计数器的值表示方法表中method_info§4.6结构的数量。

2.13、方法表 methods[]

方法表中的每个值都必须是method_info§4.6结构，以提供对该类或接口中方法的完整描述。 如果在method_info结构的access_flags项中均未设置ACC_NATIVE和ACC_ABSTRACT标志，则还将提供实现该方法的Java虚拟机指令；

method_info结构表示此类或接口类型声明的所有方法，包括实例方法，类方法，实例初始化方法以及任何类或接口初始化的方法。 方法表不包含表示从超类或超接口继承的方法。

方法具有如下结构：

method_info {
    u2             access_flags;
    u2             name_index;
    u2             descriptor_index;
    u2             attributes_count;
    attribute_info attributes[attributes_count];
}

其中

2.14、属性计数器 attributes_count

属性计数器的值表示当前类的属性表中的属性数量。

2.15、属性表 attributes[]

注意，这里的属性并不是Java代码里面的类属性(类字段)，而是Java源文件便已有特有的一些属性，参考以下表格。

  • 属性表的每个值都必须是attribute_info (§4.7)结构，属性的通用结构如下：

    • attribute_info {
    u2 attribute_name_index;
    u4 attribute_length;
    u1 info[attribute_length];
}

    • 不同的属性有不同的info[]。

  • 在Java 8 规范中，ClassFile结构中的的属性表中的属性包括：

AttributeLocationclass file
SourceFileClassFile45.3
InnerClassesClassFile45.3
EnclosingMethodClassFile49.0
SourceDebugExtensionClassFile49.0
BootstrapMethodsClassFile51.0
ConstantValuefield_info45.3
Codemethod_info45.3
Exceptionsmethod_info45.3
RuntimeVisibleParameterAnnotations, RuntimeInvisibleParameterAnnotationsmethod_info49.0
AnnotationDefaultmethod_info49.0
MethodParametersmethod_info52.0
SyntheticClassFile, field_info, method_info45.3
DeprecatedClassFile, field_info, method_info45.3
SignatureClassFile, field_info, method_info49.0
RuntimeVisibleAnnotations, RuntimeInvisibleAnnotationsClassFile, field_info, method_info49.0
LineNumberTableCode45.3
LocalVariableTableCode45.3
LocalVariableTypeTableCode49.0
StackMapTableCode50.0
RuntimeVisibleTypeAnnotations, RuntimeInvisibleTypeAnnotationsClassFile, field_info, method_info, Code52.0

  • 以下给出了有关定义为出现在ClassFile结构的属性表中的属性的规则：§4.7；

  • 以下给出了有关ClassFile结构的属性表中非预定义属性的规则：§4.7.1。

3、解析Class文件实例

接下来给大家展示一下Class文件。有如下Java文件：

package com.itzhai.classes;

public class TestA implements TestIntf{

    private int a = 0;

    @Override
    public void init(String title) {
        String tmp = "test method";
        a = 1;
    }

    public int getA() {
        return a;
    }

}

interface TestIntf {

    void init(String title);

}

3.1、分析class十六进制文件

编译成Class文件之后，使用vim以十六进制打开：

00000000: cafe babe 0000 0034 001f 0a00 0500 1909  .......4........
00000010: 0004 001a 0800 1b07 001c 0700 1d07 001e  ................
00000020: 0100 0161 0100 0149 0100 063c 696e 6974  ...a...I...<init
00000030: 3e01 0003 2829 5601 0004 436f 6465 0100  >...()V...Code..
00000040: 0f4c 696e 654e 756d 6265 7254 6162 6c65  .LineNumberTable
00000050: 0100 124c 6f63 616c 5661 7269 6162 6c65  ...LocalVariable
00000060: 5461 626c 6501 0004 7468 6973 0100 1a4c  Table...this...L
00000070: 636f 6d2f 6974 7a68 6169 2f63 6c61 7373  com/itzhai/class
00000080: 6573 2f54 6573 7441 3b01 0004 696e 6974  es/TestA;...init
00000090: 0100 1528 4c6a 6176 612f 6c61 6e67 2f53  ...(Ljava/lang/S
000000a0: 7472 696e 673b 2956 0100 0574 6974 6c65  tring;)V...title
000000b0: 0100 124c 6a61 7661 2f6c 616e 672f 5374  ...Ljava/lang/St
000000c0: 7269 6e67 3b01 0003 746d 7001 0004 6765  ring;...tmp...ge
000000d0: 7441 0100 0328 2949 0100 0a53 6f75 7263  tA...()I...Sourc
000000e0: 6546 696c 6501 000a 5465 7374 412e 6a61  eFile...TestA.ja
000000f0: 7661 0c00 0900 0a0c 0007 0008 0100 0b74  va.............t
00000100: 6573 7420 6d65 7468 6f64 0100 1863 6f6d  est method...com
00000110: 2f69 747a 6861 692f 636c 6173 7365 732f  /itzhai/classes/
00000120: 5465 7374 4101 0010 6a61 7661 2f6c 616e  TestA...java/lan
00000130: 672f 4f62 6a65 6374 0100 1b63 6f6d 2f69  g/Object...com/i
00000140: 747a 6861 692f 636c 6173 7365 732f 5465  tzhai/classes/Te
00000150: 7374 496e 7466 0021 0004 0005 0001 0006  stIntf.!........
00000160: 0001 0002 0007 0008 0000 0003 0001 0009  ................
00000170: 000a 0001 000b 0000 0038 0002 0001 0000  .........8......
00000180: 000a 2ab7 0001 2a03 b500 02b1 0000 0002  ..*...*.........
00000190: 000c 0000 000a 0002 0000 0003 0004 0005  ................
000001a0: 000d 0000 000c 0001 0000 000a 000e 000f  ................
000001b0: 0000 0001 0010 0011 0001 000b 0000 004f  ...............O
000001c0: 0002 0003 0000 0009 1203 4d2a 04b5 0002  ..........M*....
000001d0: b100 0000 0200 0c00 0000 0e00 0300 0000  ................
000001e0: 0900 0300 0a00 0800 0b00 0d00 0000 2000  .............. .
000001f0: 0300 0000 0900 0e00 0f00 0000 0000 0900  ................
00000200: 1200 1300 0100 0300 0600 1400 1300 0200  ................
00000210: 0100 1500 1600 0100 0b00 0000 2f00 0100  ............/...
00000220: 0100 0000 052a b400 02ac 0000 0002 000c  .....*..........
00000230: 0000 0006 0001 0000 000e 000d 0000 000c  ................
00000240: 0001 0000 0005 000e 000f 0000 0001 0017  ................
00000250: 0000 0002 0018 0a                        .......

根据JVM规范的介绍，我们来解析下这个十六进制文件：

image-20191229214609050

image-20191229214627178

可以发现，十六进制文件分析后，得到的结果跟文章开头的Class文件结构图完全对的上。

3.2、反汇编Class字节码文件

使用javap -v输出附加信息，可以看到本地变量表，常量池，异常表，代码偏移量映射表等信息。

反汇编之后的内容，跟JVM中描述的Class规范中的概念基本一致，对照JVM Class文件规范，即可解读反汇编后的Class字节码文件。参考：Chapter 4. The class File Format

同时，为了解读以下字节码指令，您需要提前了解相关指令作用。

The Java Virtual Machine Instruction Set

Java bytecode instruction listings

Introduction to Java Bytecode

以下是反汇编Class字节码得到的内容：

Classfile /Users/arthinking/Dev/demos/spring-demo/target/classes/com/itzhai/classes/TestA.class
  Last modified Dec 29, 2019; size 598 bytes
  MD5 checksum b8a7dcaba9f5ddeb930aec319bc3ad16
  Compiled from "TestA.java"
public class com.itzhai.classes.TestA implements com.itzhai.classes.TestIntf
  // 副版本号
  minor version: 0
  // 主版本号
  major version: 52
  // 访问标记
  flags: ACC_PUBLIC, ACC_SUPER
// 常量池(类中所有的字面量信息都在这里)
Constant pool:
   #1 = Methodref          #5.#25         // java/lang/Object."<init>":()V
   #2 = Fieldref           #4.#26         // com/itzhai/classes/TestA.a:I
   #3 = String             #27            // test method
   #4 = Class              #28            // com/itzhai/classes/TestA
   #5 = Class              #29            // java/lang/Object
   #6 = Class              #30            // com/itzhai/classes/TestIntf
   #7 = Utf8               a
   #8 = Utf8               I
   #9 = Utf8               <init>
  #10 = Utf8               ()V
  #11 = Utf8               Code
  #12 = Utf8               LineNumberTable
  #13 = Utf8               LocalVariableTable
  #14 = Utf8               this
  #15 = Utf8               Lcom/itzhai/classes/TestA;
  #16 = Utf8               init
  #17 = Utf8               (Ljava/lang/String;)V
  #18 = Utf8               title
  #19 = Utf8               Ljava/lang/String;
  #20 = Utf8               tmp
  #21 = Utf8               getA
  #22 = Utf8               ()I
  #23 = Utf8               SourceFile
  #24 = Utf8               TestA.java
  #25 = NameAndType        #9:#10         // "<init>":()V
  #26 = NameAndType        #7:#8          // a:I
  #27 = Utf8               test method
  #28 = Utf8               com/itzhai/classes/TestA
  #29 = Utf8               java/lang/Object
  #30 = Utf8               com/itzhai/classes/TestIntf
{
  // 默认构造方法，完成类的初始化(成员变量初始化赋值等)
  public com.itzhai.classes.TestA();
    descriptor: ()V
    // 访问标记
    flags: ACC_PUBLIC
    // 方法的Code属性，格式参考：https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
    Code:
      // 操作数栈最大大小=2，本地变量数量=1
      stack=2, locals=1, args_size=1
         0: aload_0 // 从本地变量表中加载第0项，即下面本地变量表中的this，入栈
         1: invokespecial #1 // 出栈，调用Method java/lang/Object."<init>":()V 初始化对象
         4: aload_0 // this引用入栈
         5: iconst_0 // 将常量0压入到操作数栈
         6: putfield      #2 // Field a:I 将0取出，赋值给a
         9: return
      // 指令与代码行数的偏移对应关系，第一个数字问代码行数，第二个数字为上面Code中指令前面的数字
      LineNumberTable:
        line 3: 0
        line 5: 4
      // 本地变量表
      // start和length分表表示这个本地变量在字节码中的生命周期开始的字节码偏移量及其作用域范围覆盖的长度。两者结合起来就是这个本地变量在字节码中的作用域范围。slot就是这个变量在本地变量表中的槽位（槽位可复用），name就是变量名称，Signature是本地变量类型描述
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      10     0  this   Lcom/itzhai/classes/TestA;

  // 类中自定义的init方法
  public void init(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    // 访问标记
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=2
         0: ldc           #3                  // String test method 将常量”test method“的在常量池中的索引压入栈
         2: astore_2  // 从栈中取出刚刚的索引，存储到本地变量表的tmp中
         3: aload_0 // this引用入栈
         4: iconst_1 // 数值1入栈
         5: putfield      #2                  // Field a:I  数值1出栈，赋值给 常量池#2，这里是一个Fieldref，对应代码中的a变量
         8: return
      LineNumberTable:
        line 9: 0
        line 10: 3
        line 11: 8
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       9     0  this   Lcom/itzhai/classes/TestA;
            0       9     1 title   Ljava/lang/String;
            3       6     2   tmp   Ljava/lang/String;

  public int getA();
    descriptor: ()I
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0 // this引用入栈
         1: getfield      #2                  // Field a:I 从常量池#2中取值，这里是变量a
         4: ireturn // 返回整型结果，即a的值
      LineNumberTable:
        line 14: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   Lcom/itzhai/classes/TestA;
}
SourceFile: "TestA.java"

4、JVM堆栈工作原理

有了以上案例之后，我们现在来梳理下JVM堆栈的工作原理。

在Java运行时数据区域如何工作这边文章中，我们已经大致了解了Java运行数据区的工作原理，并提供了下图：

image-20191230225433436

下面我们把这个图放大，详细了解一下虚拟机栈帧中，本地变量表和操作数栈的工作原理图。

我们知道，每个方法调用都对应一个栈帧，现在我们把其中一个栈帧放大：

image-20191230230617261

如上图，这里我们重点关注本地变量表和操作数栈的工作。

  • 本地变量表：本地变量表长度编译期确定，一个本地变量(Slot)可以存32位以内的数据，可以保存类型为 int, short, reference, byte, char, floath和returnAddress的数据，两个本地变量可以保存类型为long和double的数据；
  • 操作数栈：每个栈帧内部都包含一个称为操作数栈的后进先出栈，提供给方法计算过程使用。

以上面例子中的自定义的init方法为例，说明下本地变量表和操作数栈的工作原理：

@Override
    public void init(String title) {
        String tmp = "test method";
        a = 1;
    }

对应的汇编指令：

// 类中自定义的init方法
  public void init(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    // 访问标记
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=2
         0: ldc           #3                  // String test method 将常量”test method“的在常量池中的索引压入栈
         2: astore_2  // 从栈中取出刚刚的索引，存储到本地变量表的tmp中
         3: aload_0 // this引用入栈
         4: iconst_1 // 数值1入栈
         5: putfield      #2                  // Field a:I  数值1出栈，赋值给 常量池#2，这里是一个Fieldref，对应代码中的a变量
         8: return
      LineNumberTable:
        line 9: 0
        line 10: 3
        line 11: 8
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       9     0  this   Lcom/itzhai/classes/TestA;
            0       9     1 title   Ljava/lang/String;
            3       6     2   tmp   Ljava/lang/String;

如上面的汇编指令，可以知道，操作数栈的最大大小为2，本地变量表的size=3，得出如下结构：

image-20191231000845790

其中b本地变量第0项为TestA实例的地址在堆中的地址引用。

接下来解读下后续的指令操作。

0: ldc #3

从字符串常量池中获取”test method“的应用，并压入操作数栈中：

image-20191231002818921

2: astore_2

从操作数栈中取出刚刚的索引，存储到本地变量表的tmp中：

image-20191231002949129

3: aload_0

this引用入栈：

image-20191231003103293

4: iconst_1

数值1入栈：

image-20191231003129523

5: putfield #2

数值1和this引用出栈，把数值1赋值给this引用对应的实例的属性a。这里的#2是从常量池中获取到一个Fieldref，对应代码中的a变量。

8: return

方法返回void。

References

Java Virtual Machine Specification

Introduction to Java Bytecode

《深入理解Java虚拟机-JVM高级特性与最佳实践》

反汇编

javap - The Java Class File Disassembler

Introduction to Java Bytecode

本文为arthinking基于相关技术资料和官方文档撰写而成，确保内容的准确性，如果你发现了有何错漏之处，烦请高抬贵手帮忙指正，万分感激。

大家可以关注我的博客：itzhai.com 获取更多文章，我将持续更新后端相关技术，涉及JVM、Java基础、架构设计、网络编程、数据结构、数据库、算法、并发编程、分布式系统等相关内容。

如果您觉得读完本文有所收获的话，可以关注我的账号，或者点赞啥的。关注我的公众号，及时获取最新的文章。

本文作者： arthinking

博客链接： https://www.itzhai.com/jvm/the-secret-of-hexadecimal-class-file.html

Class文件十六进制背后的秘密

版权声明： 版权归作者所有，未经许可不得转载，侵权必究！联系作者请加公众号。

帅旋
关注
专栏目录
[网络安全自学篇] 四十九.Procmon软件基本用法及文件进程、注册表查看
杨秀璋的专栏
02-26 1万+
这是作者的网络安全自学教程系列，主要是关于安全工具和实践操作的在线笔记，特分享出来与博友们学习，希望您们喜欢，一起进步。前文分享了Cracer教程的第一篇文章，详细讲解了安全术语、Web渗透流程和Windows基础、注册表及黑客常用DOS命令。本文将分享Procmon软件基本用法及文件进程、注册表查看，这是一款微软推荐的系统监视工具，功能非常强大可用来检测恶意软件。基础性文章，希望对您有所帮助。
【量产】查看.Class文件的16进制形式，采用利器WinHex
热门推荐
liangcheng0523的博客
05-26 1万+
软件利器：WinHex，一款专业的16进制编辑器。最近在学习Java Virtual Machine，其中涉及到.class文件的学习，需要实操查看.class文件的结构。
016-JVM-十六进制class文件简单解读
前路无畏的博客
12-20 1万+
1. 源码T0100_ByteCode01.java package com.yuhl; public class T0100_ByteCode01 { } 2.class文件 注意：默认编译后会有个无惨的构造方法 // // Source code recreated from a .class file by IntelliJ IDEA // (powered by Fernflower decompiler) // package com.yuhl; public class T0100_B
java 文件 16进制文件,[JAVA]16进制数据与class文件的相互转换测试
weixin_33740713的博客
03-20 406
16进制数据与class文件的相互转换mainc.javaimport java.io.*;public class mainc {public static void main(String[] args) {//以下将16进制转换为class文件String mstr="CAFEBABE0000003100680A0013001A08001B0A001C001D0A001C001E0A001F...
十六、Class文件结构下篇
余笙的博客
11-21 776
一、Class文件结构之方法表集合 1、概述 1、methods：指向常量池索引集合，它完整描述了每个方法的签名。在字节码文件中，每一个method_info项都对应着一个类或者接口中的方法信息。比如方法的访问修饰符（public、private或protected），方法的返回值类型以及方法的参数信息等。 2、methods表只描述当前类或接口中声明的方，不包括从父类或父接口继承的方法。 3、methods表有可能会出现由编译器自动添加的方法，最典型的便是编译器产生的方法信息（比如：类（接口）初始化方法
JVM类文件的结构，16进制分析
m0_37695902的博客
07-09 411
一、如何查看一个类文件的16进制结构 写一个简单的java程序，javac编译产生.class文件用notepad++打开，一开始可能是乱码引入插件HexEditor HexEditor.dllx64版本下载 将HexEditor.dll文件放在Notepad+...
揭秘IP地址背后的秘密：PHP IP数据库，让IP地址查询不再神秘
![揭秘IP地址背后的秘密：PHP IP数据库，让IP地址查询不再神秘](https://ask.qcloudimg.com/http-save/yehe-2626829/v16wdv8a9a.png) ...IPv6地址由八组16位十六进制数字组成，范围更广。 IP地址还可以根据其
【揭秘UUID背后的秘密】：深入理解Python中的UUID数据结构
其由32个十六进制数字组成，分为五个以连字号分开的组，总共是36个字符，包括4个连字号。 UUID广泛应用于软件开发中，如数据库、文件系统、分布式系统和网络通信等领域，以保证数据的唯一性和可靠
揭秘Apache Commons Codec：源码背后隐藏的性能秘密
![揭秘Apache Commons Codec：源码背后隐藏的性能秘密]...# 1. Apache Commons Codec概述 Apache Commons Codec是Apache基金会下的一个开源项目，主要提供了许多编码和解码的工具类和方法，旨在简
Java字节码详解：一次编写，到处运行的秘密
首先，文件头（被称为魔数，通常以"cafebabe"开头）用于标识文件类型，确保只有符合标准的Java class文件才能被JVM识别。魔数后面紧跟着的是版本信息，包括次版本号（如0000代表次版本0）和主版本号（如0034，对应...
16进制文件解析器winhex
07-20
16进制文件解析器,能将各种文件转换成16进制码,然后让你轻松的看到文件的真正内容!
Java 实现控制台输入任意字符，转换成十六进制、二进制和十进制
04-13
NULL 博文链接：https://mactavish.iteye.com/blog/1731735
16进制文件参数解析
最新发布
life_boy的博客
08-30 1165
16进制详细参数解读
JVM之Class文件解析
qq_43222167的博客
06-29 317
这里使用的工具是notepad++,没有的可以参考之前的博客:https://blog.csdn.net/qq_43222167/article/details/106326330 类加载过程:https://editor.csdn.net/md/?articleId=106287297 通过16进制打开后的文件如下 u:字节,一个格子代表一个字节 u4:前四个字节,即 一个字节代表什么呢,比如说ca是一个字节,fe也是一个字节。它们四个加一起叫魔术,作用是用来识别Class文件格式,值为:0xCAFE
深入理解class文件
qq_36706941的博客
01-07 487
1.class文件 1.1 class文件结构 1.2 class文件结构说明 class文件结构图中，u4、u2、u1表示该项占用子节数。比如常量池大小和接口数量各占两个子节，所以最多只能有65535个常量和最多能实现65535个接口。 ...
多线程01之如何以16进制的形式查看Class文件
zhuhaoyu6666的博客
07-29 280
方法1：vim + : %!xxd 在linux环境下用vim打开。，并使用命令：%!xxd 结果： 方法2：直接使用xxd Class文件 另存为文件 方法3： 使用Notepad++打开后，打开插件菜单àHEX-EDITORàView in Hex Ps:如果插件里，没有HEX-EDITOR菜单，在插件à插件管理里面找HEX-EDITOR并安装 ...
一篇文章介绍十六进制-判断文件类型
superherooooss的博客
02-07 3197
但是如果把该文件名后缀改成.mp3格式再进行上传，可以发现得到的文件类型是 audio/mpeg，但是我们都知道这个元件里的内容应该是image/png类型的，所以说这个上传文件判断文件的类型并不是很靠谱，可以通过修改文件的后缀欺骗校验。再准备一个图片文件left.png 导入进EditPlus进行解析，通过对比上一个文件解析的结果，只关注第一行解析结果，那就是两个文件的前8个字节是一样的，这也证实了同样类型的文件开头前几个字节是相同的。TGA - 未压缩前 （5 字节）：00 00 02 00 00。
Java编译后的class文件解析
freelander_j的博客
12-05 2486
文章已同步github博客：Java编译后的class文件解析 编译Java类 写Java类 编写一份Java类，即.java文件，例如： package com.jesus.util; public class TestDemo { public static final String SUCCESS = "success"; public static void main...
Disassembly(反汇编）
kl195375的博客
10-24 2623
将目标代码转换为汇编代码的过程，换句话说是将机器语言转换为汇编语言。 可执行文件（是机器语言） 反汇编器使用的汇编语言不同 通常使用的反汇编器不同获得的反汇编程序与源程序会存在有些不同，执行效果相同，但代码会发生改变，执行效果相同。 ...
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值