如何识别Dalvik字节码的局部变量加载/存储操作及寄存器判定？

1. 哪些Dalvik字节码对应局部变量的加载/存储？ #

Dalvik没有JVM那样专门的局部变量读写指令，所有寄存器操作都直接对应数据的移动或赋值，但要区分是否针对局部变量，得结合寄存器的用途：

• 赋值类：const/4、const/16、const、const/high16这类给寄存器赋值的指令，如果目标寄存器是局部变量寄存器，就是对局部变量的存储操作。
• 移动类：move、move/from16、move/16这类寄存器间数据移动的指令，若源或目标是局部变量寄存器，就是局部变量的加载/存储操作。
• 注意：iget/iput（实例字段）、sget/sput（静态字段）这类指令是操作类成员变量，和局部变量无关，要排除。

2. 判定局部变量寄存器的算法 #

Dalvik的DEX文件结构里有明确的寄存器划分规则，结合方法的元数据就能精准判定：

• 从方法的code_item中获取两个关键值：registers_size（方法使用的总寄存器数）、ins_size（参数寄存器的数量）。
• 局部变量寄存器的范围是：编号 ≥ ins_size 的寄存器（寄存器编号从0开始）。比如某方法ins_size=3、registers_size=7，那v3、v4、v5、v6就是局部变量寄存器。
• 更精准的方式：查看DEX中的local_list（局部变量表），它会记录每个局部变量对应的寄存器编号、作用指令范围、变量名等，直接通过这个表可以一一映射局部变量和寄存器。

3. 能否假设所有寄存器操作都针对局部变量？ #

绝对不能。Dalvik的寄存器分为多种用途，并非全是局部变量：

• 参数寄存器：非静态方法的v0是this，静态方法从v0开始是方法入参，这些寄存器存储的是调用方传入的数据，不属于局部变量。
• 临时寄存器：编译器会用部分寄存器存储计算中间值，这类寄存器没有对应的用户定义局部变量。
• 特殊用途寄存器：比如用来存储方法返回值的寄存器，或者作为栈操作的替代存储临时数据，这些操作也和局部变量无关。

内容的提问来源于stack exchange，提问作者Neo