Phase 13: Tools & Protocols

超越本土代码:Python,JVM, .NET和WebAssembly字符号

Type: Build

Languages: Python, TypeScript, Java, C#, WebAssembly text

Prerequisites: Phase 13 · 32 (ELF from scratch), 33 (disassembly and control flow)

Time: ~150 minutes

学习目标

• 阅读16字节.pyc标题从PEP 552中,并无需查询代码对象marshal对于由四个解释器版本编写的文件,
• 解析一个JVM类文件从JVMS第4章:常数库,字段,方法,Code属性,以及表格javac -g增加了.
• 在 中拆除JVM的opcodeLedger.class证明了该公司的登记javap -c在同一源的四个建筑物上.
• 阅读WebAssembly模块部分,解码每个函数体,并证明结果与wasm-objdump -d现在,我们要去.
• 从PE数据目录到网格中传输 .NET组件的ECMA-335元数据MethodDef根据ILSpy使用的读者库,检查每个方法的行和CIL.
• 测量,在五个容器中,每个格式保留哪些名称,类型和控制结构,以及哪些丢失.

问题

你建造了ledger.py发现了ledger.cpython-314.pyc在__pycache__你问一个代理人文件包含什么,代理运行了一个解译器.Unsupported opcode并且有一个句子说# WARNING: Decompyle incomplete代理人认为文件被罩.

文件没有被罩. 它的前两个字节是2b 0e编译器的opcode表在3.13停止.该工具过时.代理没有读取标题,所以它无法区分.

课程33显示了原生代码的损失:参数名称,类型和switch这变成了一个跳跃桌. 字节码容器损失的减少,每个容器损失的不同. 一个 pyc 保存每个变量名称,没有类型. 类文件只会保留类型和本地名称, 体模块保留控制结构,除了自定义部分携带名称外, 设置一个 .NET 组将参数名称存储在表中,并将本地名称留给一个单独的文件. 在你知道容器开始的音符之前,你不能判断一个解译器的输出.

在Python标准库中,本课程建立了四个读器.每个读到集装箱的第一个字节,列出一个函数,并与你构建的设置器的格式工具进行检查.最后一节设置了grade其他ledger在五个容器中,

字幕是四个字

标题是32位的4个字.第一是魔术数字.第二是位字段.Bit 0集合意味着文件是基于哈希的.Bit 1集合意味着check_source输入时,解释器将源头哈希进行比较. 通过 0 位清晰,字符三和四是源时间和源大小.

魔术数字生活在Include/internal/pycore_magic_number.h由于3.11的规则是Python 3.n从2900 + 50n开始,并在发布周期内每次字节代码变化增加一个.存储的代币是16位数,随后是\r\n字符串的字符串是315的,所以一个在文本模式打开的 pyc得到错误的魔法.最终值为311的3151,331的312的3571,313的3127,3627的314的3666的315的315 Python 3.15.0发布于2026-10-09年,并没有安装在这些装置的机器上,所以它的号码来自头条文件,而不是这里的文件.

插件每一个解释器都能容纳两个pyc文件.compile_pyc.py写了它们py_compile.compile(..., dfile="ledger.py")为了存储的文件名是ledger.py首先,我们需要一个文件,

checked-hash   2b 0e 0d 0a  03 00 00 00  c7 16 c7 fc c5 1d 81 01
timestamp      2b 0e 0d 0a  00 00 00 00  8d 60 cf 6a  f1 01 00 00

读取时间标签标题单词.03 00 00 00或00 00 00 00是旗的词.8d 60 cf 6a时间为 ledger.py文件的构建时.f1 01 00 00查看的hash文件包含3个标志和8个hash字节.四个解释者同意除了魔术字节以外,所有标题都同意:

read_pyc_header()在code/main.py返回这些字段并从词中命名版本. importlib.util.MAGIC_NUMBER给运行的解释器提供相同的4字节. python3 code/main.py compare编译源与每个 python3.11为了python3.15发现PATH读者看到的标题, 翻译对自己报道的事实.

标志者按字段编写代码对象

每个装置的16字节是e3这就是0x80 | ord('c'): 标签类型代码为一个代码对象FLAG_REF让读者记住对象以后r根据"士文件"的说明,该格式是故意无文档的,并且代码对象不兼容版本之间.这两种声明都是真的,并且格式仍然足够小以读取.Python/marshal.c列出类型代码: N没有一个.i一个32位的 int,s字节z其他Z短的ASCII字符串,(其他)子,c代码对象r容器在孩子面前保留其参考位置,所以读者也会这样做.

w_complex_object()对于3.11到3.15来说,它是argcount现在posonlyargcount现在kwonlyargcount现在stacksize现在flags作为32位英寸,然后code现在consts现在names现在localsplusnames现在localspluskinds现在filename现在name现在qualname作为物体,firstlineno现在linetable其他exceptiontable3.14文件的模块代码对象手动从17字节解码:

00 00 00 00   argcount 0
00 00 00 00   posonlyargcount 0
00 00 00 00   kwonlyargcount 0
01 00 00 00   stacksize 1
00 00 00 00   flags 0
f3 22 00 00 00   type 's' with FLAG_REF, 34 bytes of co_code follow
80 00  52 06  74 00  52 01  17 00  74 01 ...

代码字节为每一个指令的两个字节:80 00是RESUME 0现在52 06是LOAD_CONST 6现在74 00是STORE_NAME 0其他17 00是MAKE_FUNCTION设置中的3.14列表印出了相同的五个模块级语句.code它们包含了四个嵌套的代码对象,names其他('LABELS', 'percent_change', 'grade', 'total', 'grade_label')现在,我们要去.

Unmarshaller在code/main.py现在,我们可以看到一个图像,nlocals现在varnames现在freevars其他cellvars它们是单独的领域.CodeObject具有实际对象的属性名称.varnames选器localsplusnames通过CO_FAST_LOCAL的部分localspluskinds为了grade在每一个4个文件中,它返回了('score', 'bucket')现在firstlineno十个,一个不空的linetable测试test_unmarshaller_agrees_with_the_running_interpreter比较每一个领域marshal.loads()其他三份文件是我们的代码可以读取,marshal在这个解释者下.

读者:四个解释器,四个字符号

文件显示每个版本都有一个警告:字节码是CPython的实施细节,并没有保证它保持不变.python3.1N -m dis ledger.py对于每一位翻译,都被捕获了.

在3.11grade开始这样:

 11           2 LOAD_FAST                0 (score)
              4 LOAD_CONST               1 (10)
              6 BINARY_OP                2 (//)
             10 STORE_FAST               1 (bucket)
 12          12 LOAD_FAST                1 (bucket)
             14 LOAD_CONST               2 (9)
             16 COMPARE_OP               5 (>=)
             22 POP_JUMP_FORWARD_IF_FALSE     2 (to 28)

BINARY_OP两个字节之间的两个字节是从专业化的适应解释器PEP 659的内线缓存输入. COMPARE_OP在16号,其次是22号,所以它拥有两个缓存输入.show_caches=True3.12 替换LOAD_CONST另外RETURN_VALUE随着RETURN_CONST改名为跳跃POP_JUMP_IF_FALSE们的子grade标签的印花量为3.13L1为了L4转换并提供CLI-C存储器和-O对于抵消. 3.14 取消RETURN_CONST另一个例子LOAD_SMALL_INT其他LOAD_FAST_BORROW及插入NOT_TAKEN在每次条件跳跃之后:

 12         20       LOAD_FAST_BORROW         1 (bucket)
            22       LOAD_SMALL_INT           9
            24       COMPARE_OP             188 (bool(>=))
            26       CACHE                    0 (counter: 0)
            28       POP_JUMP_IF_FALSE        3 (to L1)
            30       CACHE                    0 (counter: 0)
            32       NOT_TAKEN

其他-C -O列表显示 13 CACHE内部的报名grade五个后BINARY_OP一个接一个COMPARE_OP一个接一个POP_JUMP_IF_FALSE适应器显示缓存是什么.dis.dis(grade, adaptive=True)印记RESUME_CHECK其他COMPARE_OP_INT在简单列表中RESUME其他COMPARE_OP其他total表演FOR_ITER_LIST现在BINARY_OP_ADD_INT其他JUMP_BACKWARD_NO_JIT专业形式生活在同一co_code由于专业化发生在记忆中.

这就是为什么解译器有版本限. uncompyle6 3.9.3 表示它接受从Python 1.0到3.8的字节码. decompyle3 3.9.3读取3.7和3.8. xdis 6.3.0,背后的交叉版本解组器读取到3.13. pycdc有opcode表达到python_3_13.cpp在其构建文件中,以及未知的opcode打印中.Unsupported opcode字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字母字字母字母字母字母字母字字字字字字母字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字字

类档案保持了自己的词典

简单的 Java SE 25 节 4.1 列出了一个结构: magic现在minor_version现在major_version现在constant_pool_count的,access_flags现在this_class现在super_class它们的功能,接口,字段,方法,属性.0xCAFEBABE简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是: 简单的版本是简单的版本Ledger-g.class是ca fe ba be 00 00 00 41 00 5e简单的意思是:0x5e总数是94.Ledger-jdk25.class基于同一源的JavaVAC 25.0.2 构建,开始ca fe ba be 00 00 00 45专长69

常数池是类文件保留自己的字典的地方.#13在-g构建是一个Methodref这点在课堂上#8名称和类型#14按照指数的结果Ledger.grade:(I)I现在,我们在做什么?javap -v后的印记//描述器(I)I是一个int参数和一个int结果([I)I现在total表示参数是int每种方法,字段和类别,代码触摸都有这样的输入,4.10节的验证器拒绝一个文件的指示与他们不同.ClassFile类code/main.py查看表4.4中的所有17个常数标签,并处理一个Long或Double它们在最后一个属性之后,在一个未知的标签和字节上升.

属性取决于类,每个字段,每个方法,以及Code简单的方法是: 虚拟机必须忽略它不知道的属性,这就是为什么可以添加或删除调试表,而不需要改变方法体. javac 手册说-g生成所有调试信息,包括本地变量,默认生成行号码和源文件,并且-g:none没有任何产生的东西.

它们的50个字节grade测试检查了所有文件.-g增加grade是一个LocalVariableTable排:开始0,长度50,插槽0,名称score描述器I没有它,解译器会看到0类型的插槽.int他必须发明一个名字.StackMapTable由于验证器需要它,所以它在每一个构建中都会保持.BootstrapMethods属性保持因为main连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接连接invokedynamic现在,我们要去.

手动解码表交换器

根据JVMS第6章,每个指令都被定义为一个opcode字节和一个opcode名称的操作数.分支偏移是与分支的opcode地址相比的16位签字值,而与x86-64不同,该指令的移动相对于下一个指令. tableswitch其他lookupswitch开始从零到三个填充字节,所以他们的32位操作数从一个地址开始,这是一个乘法4

字节的字节grade电脑 4 个Ledger-g.class其他:

aa                 tableswitch at pc 4
00 00 00           padding to pc 8
00 00 00 2c        default: 4 + 44 = 48
00 00 00 06        low 6
00 00 00 0a        high 10
00 00 00 2a        case 6:  4 + 42 = 46
00 00 00 28        case 7:  4 + 40 = 44
00 00 00 26        case 8:  4 + 38 = 42
00 00 00 24        case 9:  4 + 36 = 40
00 00 00 24        case 10: 4 + 36 = 40

只有一个命令,然后全部.switch (score / 10)作为一个共同的案例,switch在第33课中需要一个限制检查,lea其他movslq其他add目标在指令中,以及它们的相应性.

disassemble_jvm()覆盖所有202个定义的操作码及其操作码宽度,遵循填充规则,并将操作码呈现出方式 javap没有.compare_with_javap()分析被俘的人javap -c -p包含多行文本tableswitch测试的方法是对每一个指令进行的对比,mnemonic和操作.test_branch_offsets_are_relative_to_the_branch_instruction检查ifne在PC1登陆6号,if_icmpge在13号,在33号,着陆,goto在30点,返回10点.

根据这些课程的源头,Radar2.6.2.4读取了相同的文件.rabin2 -I报告arch java现在lang java 21现在linenum true其他lsyms true根据该版本和两个调试表的读数. pd 14 @ sym.Ledger.grade打印了tableswitch它们还会打印.Unable to parse code attribute: 2工具本身的名称是限制性的,javap作为预言. 与Python相比,这个格式的解译器已经成熟. 根据MIT的许可, 普洛基翁0.6.0和Vineflower1.12.0是Apache-2.0,而Vineflower是Fernflower fork,支持Java 21. 飞花本身住在"智能社区"存储库里. 亚博appappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappappapp 哈兰德,索托瓦莱罗,蒙珀鲁斯和巴德里在2020年测量了8个. 对于 84% 的类别,最好的语法正确输出和 78% 的语义相当输出. 他们的超解译器恢复了 37.6% 的类, 类型,名称和验证的堆使得格式可拆译. 它们不会使任何一个解译器完成.

岩模块是一个部分列表

核心规范定义模块为序言00 61 73 6d 01 00 00 00子,子.\0asm版本1后有部分.每个部分是1个ID字节,一个u32标识 1 到 13 是已知部分,每部分至少一次,按顺序. id 0 是一个名字的自定义部分,可以随处使用.所有整数是 LEB128,所以e4 00是100和80 08现在,我们要做什么?wasm-objdump -h现在ledger.wasm列出了七个部分,WasmModule找到相同的7个,具有相同的有效负载抵消:

函数和代码部分之间存在分区,因此浏览器可以在整个文件到达之前开始编译.每个代码输入是一个尺寸,一个本地声明的向量和一个表达式.grade地方的向量是01 7f一个组一个i32这就是bucket没有名称,没有类型.

控制流程是结构结构的.规格说,分支只能针对包围.block现在loop其他if标签是根据巢穴深度进行索引的.br_table通过一个指标列表的操作符进行间接分支.grade在文件的抵消0xa3其他:

0e                  br_table
0b                  11 labels follow
04 04 04 04 04 04   buckets 0 to 5: label 4, the outermost block, returns 0
03 02 01 00         buckets 6, 7, 8, 9: labels 3, 2, 1, 0
00                  bucket 10: label 0, shared with 9
04                  default label 4

每个标签都是深度. 0标签是最内心的.block后面的代码end是i32.const 4接着是br 4结果区块中.block面板前的指示,十一个标签,五个标签br之后的指示是全部的switch验证器拒绝任何离开结构的分支.disassemble_wasm()追踪深度,所以列表中图像wasm-objdump包含从 到 的每一个字节的光码unreachable为了i64.extend32_s并且与被俘相匹配wasm-objdump -d对于两座建筑物,

简单的模块中,仅仅有名字.wasm-objdump仍然有印记<grade>因为出口部分将该字符串映射到函数索引 2,读器也会这样做.wat2wasm --debug-names添加一个名为 name文件的数量增加到425字节.读者发现{0: 'score', 1: 'bucket'}对于函数 2 和{0: 'values', 1: 'count', 2: 'sum', 3: 'i'}对于函数3wasm-strip工具-公约库描述了另外两个载体. DWARF可以嵌入为.debug_* sourceMappingURL定制部分可以指向一个源地图,其列数是字节对比到二进制中.

工具在2026年移动.wasm-decompile现在,我们在这个机器上建立了11个工具.print现在objdump其他demangle百里亚版本_133提供了wasm-dis雷达雷达也能读取模块.rabin2 -I,,,arch wasm它是为grade开始于0x8e现在,我们在这个地方的向量开始,wasm-objdump标签功能在0x8b它们的列表使用了旧的记.get_local现在set_local其他brtable 11 4 4 ...标签数量打印. 字节在三个工具中都是相同的,拼写不同,所以比较必须命名它被捕获的工具. 在Ghidra的处理器目录中没有找到WebAssembly处理器模块, 其他设备的Ghidra-wasm插件v2.4.0针对Ghidra 12.0. 规格本身就是一个活着的文件. 关于W3C的页面wasm-core-2是2026年10月13日的候选人建议草案,摘要描述了3.0版本,编辑草案的日期相同.

ECMA-335 转基因数据是该计划的数据库

网络集成是一个PE文件.LedgerNet.dll开始于MZ共有三部分名为.text现在.rsrc其他.reloc宣布机器0x14c由于编译器发出了平台中立代码. 选项头条的数据目录14 (CLR Runtime Header) 指向RVA 0x2008. ECMA-335 II.25.3.3定义了其中的72个字节:

48 00 00 00   Cb 72
02 00 05 00   MajorRuntimeVersion 2, MinorRuntimeVersion 5
78 21 00 00   MetaData RVA 0x2178
84 07 00 00   MetaData size 1924
01 00 00 00   Flags: COMIMAGE_FLAGS_ILONLY
05 00 00 06   EntryPointToken 0x06000005, MethodDef row 5, which is Main

在RVA中的元数据根0x2178开始于签名42 53 4a 42根据"BSJB之后版本1.1和字符串v4.0.30319五个流头是:#~在抵消0x6c现在#Strings现在#US现在#GUID其他#Blob根据II.24.2的规定,每种流量最多发生一次.#~流程由一个开始HeapSizes字节,这里是零,所以每个字符串,GUID和点索引是2字节宽,和64位Valid面具将表格命名.

列的尺寸在任何地方都没有存储.II.22给每列一个类型,II.24.2.6给出了尺寸规则.一个堆积指数为2或4字节HeapSizes简单表指数为2字节,而表表的行数不到65536行.一个可指向b标签位的编码指数为2字节,而每表的行数不到2^(16-b) 行.CliAssembly系统.反射.在装置中的数据库报告相同的尺寸和相同的表格抵消,这就是测试证明算法的方法.

标志的定义是:高字节是表,低字节是1的行. 0x06000002是MethodDef列2 列中有RVA0x2060姓名Grade并且有一个签名00 01 08 08默认调用会议,一个参数,返回int32参数int32现在,我们要去.ParamList排列3的点Param谁的名字是score帕拉姆表是ILSpy可以打印的原因Grade(int score)由于除了除的释,0x2060方法体以脂肪头开始:

13 30         flags 0x13: fat, init locals; size 3 dwords
02 00         MaxStack 2
2d 00 00 00   CodeSize 45
01 00 00 11   LocalVarSigTok 0x11000001

StandAloneSig排第 1 位07 01 08其他LOCAL_SIG一个地方,int32.本地有类型,没有名称.ECMA-335保留本地名称在Partition V的调试交换格式中,而 .NET SDK将它们写入PDB.DebugType没有,所以没有表,没有文件,没有名字.bucket现在,我们要去.PercentChange换取之处有一个小的标题:它的第一个字节3a是0x0e << 2 | 2没有当地人,并且默认的堆积量为8.

45个字节的代码字节Grade通过Partition III的opcode表解码. switch是opcode0x45之后是u32算数和许多int32目标与表后指令相比:

IL_0000: 02           ldarg.0
IL_0001: 1f 0a        ldc.i4.s 10
IL_0003: 5b           div
IL_0004: 0a           stloc.0
IL_0005: 06           ldloc.0
IL_0006: 1c           ldc.i4.6
IL_0007: 59           sub
IL_0008: 45 05 00 00 00 08 00 00 00 06 00 00 00 04 00 00 00 02 00 00 00 02 00 00 00
                      switch (IL_0029, IL_0027, IL_0025, IL_0023, IL_0023)
IL_0021: 2b 08        br.s IL_002b
IL_0023: 1a 2a        ldc.i4.4, ret

编译器在 之前减去6switch据了解,第6案是第一个目标.disassemble_cil()通过表表将代币传输: ldsfld Labels现在call Grade现在call System.Console::WriteLine其他ldstr ' '其他#US,这是所有这些的预言.MetaDump简短的C#程序在架构上System.Reflection.Metadata它打印了每个表的排行数量,尺寸和偏移,每个方法的RVA,签名,参数名称,以及IL字节,以及226个字段.System.Reflection.Emit.OpCodes现在,我们要去.compare_with_metadump()运行时间表有218个加上8个选项.prefix课程表有219个条目,因为它包括no.根据III.2.2,该表从未有过.

工具:ILSpy 11.0 (MIT,发布于2026-08-12) 在macOS上通过其Avalonia桌面构建运行. ilspycmd11.1.0.9782 印有IL 的印件-il选择一个方法,-m 0x06000002. dnSpyEx 6.6.0 仅在Windows上继续 dnSpy.ildasm作为 NuGet 包而不是 SDK 内部.rabin2 -I,,,arch cil其他class PE32其他is列表Ledger.Grade(int:score):int设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的使用方式是: 设置器的设置器的设置器,设置器的设置方式是: 设置器的设置器的设置方式是: 设置器的设置器是: 设置器的设置: 设置器的设置: 设置器是: 设置器.设置器的设置器是: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置: 设置:

每个容器所保留的东西

放下grade它们来自五个容器,每一行都是来自python3 code/main.py keeps通过电路,可通过电路,

您将看到的解译器结果.int total(const int *, int)随着int total(long param_1, uint param_2)基德拉从本源代码推断,因为本源代码没有保留这些列. pyc 保存了每个名称,没有类型,其控制流量是跳动,每次发布时的形状都会改变,因此Python 解译器每版本都会破解,并免费恢复名称.一个类文件保存类型和验证的堆,保存名称,当-g,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,switch体模块通过构建来保持结构,所以wasm2wat网格组件保留最完整的描述,因为元数据表是规范性的,并且仍然需要一个PDB为本地名称.

表告诉你解译器需要使用什么,其输出中的哪些输出复制存储的数据,哪些输出输出.ILSpy输出中的参数名称是复制.同一输出中的本地名称是推断,除非有PDB. 第35课记录了这一差异,作为每个索赔的权威.

建立它

运行演示:

cd phases/13-tools-and-protocols/43-bytecode-and-managed-formats
python3 code/main.py
npx tsx code/main.ts

输出是一个JSON报告. 每个 pyc 均给出头条,文件和grade对于每个类构建,它给出了版本,大小,调试表数,以及javap对于每一个体构建,它给出了部分,类型,功能,名称部分内容,以及wasm-objdump对于组件,它给出了CLI标题,流,表列数量,方法以及系统.反思.元数据协议.它以保存表和翻译者列表结束.PATH现在,我们要去.

阅读code/main.py在此顺序:

1. Reader保持导向器和整数宽度. uleb()其他sleb()它们是Warm和NET的LEB128读物.
2. read_pyc_header()现在Unmarshaller其他PycFile读一个PC. parse_dis_text()读取被俘的内容dis列表,以便在测试时不需要四个解释者进行跨版本比较.
3. ClassFile读取类文件disassemble_jvm()解码了它的代码.parse_javap_code()其他compare_with_javap()现在,我们要做什么?
4. WasmModule阅读部分,disassemble_wasm()解读一个表达式的深度.compare_with_wasm_objdump()是神言检查.
5. CliAssembly走向PE,CLI标题,元数据根,流和表格. TABLE_SCHEMAS其他CODED_INDEXES作为数据,II.22和II.24.2.6disassemble_cil()解体一个尸体compare_with_metadump()检查它.
6. NativeObject读到足够的ELF来列出函数符号,并将第33课列为其文本. what_each_keeps()其他figure_data()建立一个比较.

现在还有五个命令.python3 code/main.py pyc FILE现在class FILE现在wasm FILE其他dll FILE打印一个文件中每个函数的结构和列表. python3 code/main.py compare编译ledger.py随着每一个翻译的开放.PATH印出每一个人的书面.

用它

按照这个顺序使用读物,在你建造的容器上.

1. 读取第一字节,并命名格式.0d 0a是一个 pyc,ca fe ba be一个类档案,00 61 73 6d一个模块,4d 5a设置一个组件,
2. 读取标题,并写下它命名的制作版本.对于一个pyc来说,这是魔术字,对于一个类文件来说是主要版本,对于一个组件来说是运行时间和元数据版本字符串.
3. 在运行之前,请检查您计划运行的每个解译器,
4. 运行读者和格式的工具在同一文件上并将它们排列对比.不匹配是读者中的错误或工具的变化,在列表成为证据之前,必须理解其中一个.
5. 填写您关心的函数的保存表,并标记每个数据为保存或丢失,并命名来自的表,属性或部分.
6. 只有那么才能读取解译器输出, 标记每个名称, 输入它作为一个保存的事实或作为一个推断.

保存 Oracle 文本文件在容器中.当解释器,JDK,SDK或wabt版本发生变化时,重新构建使用 build_fixtures.sh并且重新捕获,因为改变的列表是改变的固定.

互动实验室

实验室A:读取标题,然后读取代码对象

关于code开放字符串:

cd phases/13-tools-and-protocols/43-bytecode-and-managed-formats/code
python3 -q

运行:

from main import *
pyc = load_pyc("ledger.cpython-311.pyc")
pyc.header.to_dict()
pyc.module.names
pyc.functions()["grade"].varnames
len(pyc.functions()["grade"].code)

在第一次电话之前,写下魔术字,然后加载ledger.cpython-314.pyc然后把两者比较起来.code试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试试import marshal; marshal.loads(pyc.data[16:])在你的解释器下面的3.11文件上,读取错误.

实验室B:恒定池链

cls = load_class("Ledger-g.class")
cls.constant(13)
cls.constant(14)
cls.describe_constant(13)
[row["text"] for row in jvm_listing(cls, "grade")]

追随#13为了#8其他#14然后到Utf8在您打电话之前,请按手写入describe_constant然后加载Ledger-gnone.class打电话cls.method("grade").attribute_names()两者都在Code字符组是相同的,属性却不是.

实验室C:深度和标签

module = load_wasm("ledger.wasm")
[(row["depth"], row["text"]) for row in wasm_listing(module, "grade")]
module.function_name(2)
load_wasm("ledger-names.wasm").names["locals"][2]

找一个br_table起,读出它的深度.end按一下列,然后与表中的标签号码相匹配.ledger.wat找一个block $six这标签有3个名字.

实验室D:从代币到字节

asm = load_assembly("LedgerNet.dll")
asm.method("Grade")
body = asm.method_body(asm.method("Grade")["RVA"])
body.fat, body.max_stack, body.code_size, hex(body.local_signature_token)
asm.token_text(0x11000001)
[row["text"] for row in cil_listing(asm, "GradeLabel")]

计算RVA的文件偏移0x2060其他.text按手动将部分标题进行比较asm.rva_to_offset(0x2060)然后抬头看asm.row(0x08, 3)找出这个名字的地方score生命.

实践实验室

加入第五个源语言,或第六个事实.

要求:

• 写一个函数,用循环和一个本地变量,在一个语言中编译器,你有,例如 Kotlin 类文件或化到一个模块. 执行输出和预言列表的确切命令在 build_fixtures.sh现在,我们要去.
• 让相匹配的读者同意每一个指令的预言.
• 延长时间what_each_keeps()对于每一个容器,一个事实:机身是否携带例外表或try地区.
• 添加新的容器到figure_data()炼和再生site/figures-re-43.js现在,我们要去.
• 写一个测试,当读者报告一个事实,没有命名表,属性或部分,

成功意味着python3 code/main.py keeps显示了每一个细胞的新行,每个预言的比较都一致.

教训艺术品

这一课包括outputs/skill-bytecode-and-managed-formats.md通过它将字节码容器转化为标题报告,一个函数的检查列表和一个标记每个名称,类型和结构的数据表.它需要格式的自己的工具作为预言器,在任何解译器之前检查版本,以及每个丢失的数据都会居住在哪里的声明.

检查

运行演示和确定性套件:

cd phases/13-tools-and-protocols/43-bytecode-and-managed-formats
python3 code/main.py
npx tsx code/main.ts
python3 -m unittest discover -s code/tests -v

验证应证明:

• 四个pyc标题上有魔术词3495,3531,3571,3627,旗3和8字节的哈希,时间邮票文件上有旗0,mtime 1791975565,和尺寸497
• 每个为3.11和以后的魔术字都在范围中.2900 + 50n规则将其释放
• 解散器返回相同的名称,常数,代码字节,变量名称和行表marshal.loads()在运行的翻译写的文件上
• 所有四个文件都保留模块名称,('score', 'bucket')为了grade首条第10条,ledger.py作为文件名
• grade.co_code在四个版本中,有80,62,70和96字节,并且捕获的列表有31,26,26和35个指令
• 3.11列表有POP_JUMP_FORWARD_IF_FALSE其他类型的RETURN_CONST其他国家LOAD_SMALL_INT现在LOAD_FAST_BORROW其他NOT_TAKEN
• 其他-C -O列表显示了13个缓存输入grade五个后面BINARY_OP适应性列表显示COMPARE_OP_INT
• 没有标题0d 0a没有一个代码对象的身体.FormatError
• 只有运行解释器编写的 pyc 并且与捕获的文件相匹配的指令列表存在dis输出
• 类文件有65或69个主要,大小1581,1832,1404,和1581个,并且常数数组是82,94,79,和82个
• 常数#13解决问题Method Ledger.grade:(I)I其他#47为了String F
• JVM拆卸器同意javap -c -p在四个构件中108个指令中的108个
• tableswitch在 pc 4 上,有 36 字节,低 6,高 10,默认 48,目标 46, 44, 42, 40, 40
• 三个调试级别改变属性数量,并留下50个代码字节.grade相同的
• ifne现在if_icmpge其他goto目标与分支的opcode相对
• 错误的魔法, 后退字节,FormatError
• 七个体部分有有效载荷抵消wasm-objdump -h印记,和名称构建添加一个name定制部分 293至 425
• 类型,env.log进口,五出口,以及数据段1024解码ledger.wat
• 瓦斯姆拆卸器同意wasm-objdump -d在两种结构中的77项指示中,
• grade具有6个嵌套块,一个br_table标签4 4 4 4 4 4 3 2 1 0 0并且默认4在深度6处,i32地方
• 函数名称来自出口,没有名称部分,只有当地名称
• 美国e4 00现在,7f是 -1, 80 08区块类型的表达为wasm-objdump
• 错误的序言,版本2,以及未知的opcode升级FormatError
• 装配PE32 机器0x14c 0x2008运行时间2.5ILONLY进入地点0x06000005
• 转载数据版本是v4.0.30319五个流域存在,14个表格上有排列数量和排列尺寸.
• 网页读者同意246项检查中的246项系统.反射.元数据
• Grade有参数score签名static int32(int32)的头条MaxStack两个和45个字节代码,一个int32没有名字的本地
• 鱼switch目标br.s现在ldsfld现在call其他ldstr操作数通过表和堆积分辨
• 运行时间的每个运行时间的运行代码表仅添加了 no.
• 保持表报告参数名称在四个容器中,而没有一个本地代码,并在三个类型中
• 演示中的每一个神话行都是 n 的 n
• 互动图像包含相同的数据figure_data()产品

生产失败模式

运营规则

首先阅读标题,并命名它指向的生产者. 阅读容器与一个读者拒绝不知道的内容,并检查其列表与格式的工具在同一文件. 然后说,对于每一个名字和类型在解译器的输出,无论容器存储它还是工具推断它.

进一步阅读

• PEP 552: Deterministic pycs
• CPython Include/internal/pycore_magic_number.h
• Python marshal module documentation
• CPython Python/marshal.c
• Python 3.14 dis module documentation
• PEP 659: Specializing Adaptive Interpreter
• PEP 626: Precise line numbers for debugging and other tools
• PEP 790: Python 3.15 Release Schedule
• uncompyle6 on PyPI现在decompyle3 on PyPI现在xdis on PyPI现在pycdc on GitHub现在PyLingual on GitHub
• The Java Virtual Machine Specification, Java SE 25, Chapter 4: The class File Format
• The Java Virtual Machine Specification, Java SE 25, Chapter 6: The Java Virtual Machine Instruction Set
• javac manual, Java SE 25其他javap manual
• CFR现在Procyon现在Vineflower现在Fernflower in intellij-community现在JADX
• Harrand, Soto-Valero, Monperrus, Baudry, "Java Decompiler Diversity and its Application to Meta-decompilation" (JSS 2020)
• ECMA-335, Common Language Infrastructure, 6th edition (June 2012)
• PE Format, Microsoft Learn
• System.Reflection.Metadata.Ecma335.TableIndex
• ILSpy on GitHub现在ilspycmd on NuGet现在dnSpyEx on GitHub
• WebAssembly Core Specification: Binary Format, Modules其他Values
• WebAssembly Core Specification: Custom Sections (name section)
• WebAssembly tool-conventions: Debugging
• wabt 1.0.42 release notes现在wasm-tools现在Binaryen现在ghidra-wasm-plugin
• radare2 on GitHub根据本课程的源头构建的版本6.2.4

This free lesson is part of the AI Engineering from Scratch curriculum. Read the full explanation, run the lesson code, and verify the result in the interactive reader or from the repository source.

Browse the complete course catalog or open this lesson on GitHub.