Python dis 模块反汇编代码的实战用法

2次阅读

dis.dis()输出空或极简指令常见原因包括传入未编译对象Lambda被优化、函数体为空/仅注释,以及python 3.12+的快速常量折叠;实操需确认目标为可访问函数对象,用__wrapped__解包装饰器,拆分运算式以观察过程,类方法须传绑定或未绑定对象。

Python dis 模块反汇编代码的实战用法

为什么 dis.dis() 看不到你预期的字节

直接对函数调用 dis.dis(func) 却发现输出空或只有极简指令?常见原因是传入了未编译对象(比如装饰器包裹后没解包)、lambda 表达式被优化掉,或函数体为空/只含注释。Python 3.12+ 对简单函数还会启用“快速常量折叠”,把 a = 1 + 2 直接编译成 LOAD_CONST 3,看不到原始运算过程。

实操建议:

  • 确认目标是已定义并可访问的函数对象,而非字符串或未求值的表达式
  • 避免装饰器干扰:用 func.__wrapped__(如果装饰器支持)或临时去掉装饰器再反汇编
  • 想观察运算过程?改写为显式变量赋值,例如把 return 1 + 2 拆成 x = 1; y = 2; return x + y
  • 对类方法,需传入绑定方法对象(如 obj.method)或未绑定函数(class.method),不能传字符串名

如何用 dis.get_instructions() 提取并过滤关键指令

dis.get_instructions() 返回生成器,适合做条件筛选和逻辑分析,比纯打印更利于自动化检查。它返回的是 Instruction 实例,包含 opnameargvaloffset 等字段,能精准定位某类行为。

常见用途示例:

立即学习Python免费学习笔记(深入)”;

  • 查是否有全局变量读写:[i for i in dis.get_instructions(func) if i.opname in ('LOAD_GLOBAL', 'STORE_GLOBAL')]
  • 检测是否用了 evalexecany(i.argval == 'eval' for i in dis.get_instructions(func))
  • 找所有函数调用点(排除内置函数):[i for i in dis.get_instructions(func) if i.opname == 'CALL_FUNCTION' and i.argval > 0]

注意:argval 是解析后的值(如名字、常量),不是原始操作数;而 arg 是原始字节编码值,调试底层时才需要看。

dis.Bytecode 和手动构造字节码的边界在哪

dis.Bytecode 是个轻量包装类,提供统一接口遍历指令,但它不支持修改或执行——它只是读取器。有人误以为能用它“重放”或“修补”字节码,实际不行。真正修改字节码必须操作 func.__code__.co_code(bytes 对象),还要同步更新 co_constsco_names 等配套元组,稍有错位就会触发 SystemError: unknown opcode 或静默行为异常。

安全边界建议:

  • 仅用 Bytecode 做分析、统计、验证(比如检查函数是否含 yield 相关指令)
  • 不要尝试通过它修改 co_code;如需 patch 字节码,请用 bytecode(第三方库)或手动操作 + 单元测试全覆盖
  • Python 版本升级可能改变指令布局(如 3.11 引入 PRECALLCALL 分离),硬编码 offset 或 opnum 的代码极易失效

反汇编结果里 POP_TOPRETURN_VALUE 为什么总成对出现

这是 Python 解释器模型的自然体现。每个表达式语句(如 x = 1 + 2print("ok"))计算完都会把结果留在顶,但语句本身不需要返回值——所以解释器自动插入 POP_TOP 清掉它。而函数末尾如果没有显式 return,默认返回 None,于是生成 LOAD_CONST None + RETURN_VALUE

典型现象:

  • 函数体只有一行 print(1):你会看到 PRINT_EXPR(或 CALL_FUNCTION)→ POP_TOPLOAD_CONST NoneRETURN_VALUE
  • 显式写 return 42:则最后是 LOAD_CONST 42RETURN_VALUE,没有 POP_TOP
  • 交互式环境输入表达式(如直接敲 1+2)会额外多一层 POP_TOP,因为 REPL 要丢弃表达式结果

这个细节容易被忽略,但它直接影响你判断“函数是否真有返回值”——光看有没有 RETURN_VALUE 不够,得看它前面载入的是什么常量。

text=ZqhQzanResources