Question

smali、baksmali 分别是指安卓系统里的 Java 虚拟机（Dalvik）所使用的一种，dex 格式文件的汇编器、反汇编器，其语法是一种宽松式的 Jasmin/dedexer 语法，而且实现了.dex 格式所有功能（注解、调试信息、线路信息等）。

当对 apk 文件进行反编译后，便会生成此类的文件，其中在 Davlik 字节码中，寄存器都是 32 位的，能够支持任何类型，64 位类型（Long/Double）用 2 个寄存器表示；Dalvik 字节码有两种类型：原始类型、引用类型（包括对象和数组）。

1.smali 指令

部分 smali 指令如下：

.field private isFlag：z　定义变量

.method　方法

.parameter　方法参数

.prologue　方法开始

.line 12　此方法位于第 12 行

invoke-super　调用父函数

const/high16 v0，0x7fo3　把 0x7fo3 赋值给 v0

invoke-direct　调用函数

return-void　函数返回 void

.end method　函数结束

new-instance　创建实例

iput-object　对象赋值

iget-object　调用对象

invoke-static　调用静态函数

条件跳转分支指令如下：

"if-eq vA，vB，：cond_**"　如果 vA 等于 vB 则跳转到：cond_**

"if-ne vA，vB，：cond_**"　如果 vA 不等于 vB 则跳转到：cond_**

"if-lt vA，vB，：cond_**"　如果 vA 小于 vB 则跳转到：cond_**

"if-ge vA，vB，：cond_**"　如果 vA 大于等于 vB 则跳转到：cond_**

"if-gt vA，vB，：cond_**"　如果 vA 大于 vB 则跳转到：cond_**

"if-le vA，vB，：cond_**"　如果 vA 小于等于 vB 则跳转到：cond_**

"if-eqz vA，：cond_**"　如果 vA 等于 0 则跳转到：cond_**

"if-nez vA，：cond_**"　如果 vA 不等于 0 则跳转到：cond_**

"if-ltz vA，：cond_**"　如果 vA 小于 0 则跳转到：cond_**

"if-gez vA，：cond_**"　如果 vA 大于等于 0 则跳转到：cond_**

"if-gtz vA，：cond_**"　如果 vA 大于 0 则跳转到：cond_**

"if-lez vA，：cond_**"　如果 vA 小于等于 0 则跳转到：cond_**

2.smali 语法案例分析

下面是一个简单方法：

上面代码反编译之后对应的 smali 语法如下：

如果符合 if 分支则程序往下走，最终 return；而如果条件不符合则会走到：cond_0 分支，最终执行 goto：goto_0 走回到：goto_0 返回。