0x1.前言

Python 代码先被编译为字节码后，再由Python虚拟机来执行字节码， Python的字节码是一种类似汇编指令的中间语言， 一个Python语句会对应若干字节码指令，虚拟机一条一条执行字节码指令， 从而完成程序执行。
Python dis 模块支持对Python代码进行反汇编， 生成字节码指令。

dis.dis()将CPython字节码转为可读的伪代码(类似于汇编代码)。结构如下：

其实就是这样的结构：

0x2.变量

1.const

LOAD_CONST加载const变量，比如数值、字符串等等，一般用于传给函数的参数

转为python代码就是：

2.局部变量

LOAD_FAST一般加载局部变量的值，也就是读取值，用于计算或者函数调用传参等。
STORE_FAST一般用于保存值到局部变量。

这段bytecode转为python就是：

函数的形参也是局部变量，如何区分出是函数形参还是其他局部变量呢？

形参没有初始化，也就是从函数开始到LOAD_FAST该变量的位置，如果没有看到STORE_FAST，那么该变量就是函数形参。

而其他局部变量在使用之前肯定会使用STORE_FAST进行初始化。

具体看下面的实例：

对应的python代码如下，对比一下就一目了然。

3.全局变量

LOAD_GLOBAL用来加载全局变量，包括指定函数名，类名，模块名等全局符号。

STORE_GLOBAL用来给全局变量赋值。

对应的python代码

0x3.常用数据类型

1.list

BUILD_LIST用于创建一个list结构。

对应python代码是：

另外再看看一种常见的创建list的方式如下：

一个实例bytecode如下：

转为python代码是：

2.dict

BUILD_MAP用于创建一个空的dict。STORE_MAP用于初始化dict的内容。

对应的python代码是：

再看看修改dict的bytecode：

[招生]科锐逆向工程师培训(2025年3月11日实地，远程教学同时开班, 第52期)！