Android逆向之smali语法宝典

0x01.前言

Android采用的是java语言进行开发，但是Android系统有自己的虚拟机Dalvik,代码编译最终不是采用的java的class，而是使用的smali。我们反编译得到的代码，jar的话可能很多地方无法正确的解释出来，如果我们反编译的是smali则可以正确的理解程序的意思。因此，我们有必要熟悉smali语法。

0x02.关键字

• .field private isFlag:z　—　定义变量
• .method　—　方法
• .parameter　—　方法参数
• .prologue　—　方法开始
• .line 12　—　此方法位于第12行
• invoke-super　—　调用父函数
• const/high16 v0, 0x7f03　—　把0x7f03赋值给v0
• invoke-direct　—　调用函数
• return-void　—　函数返回void
• .end method　—　函数结束
• new-instance　—　创建实例
• iput-object　—　对象赋值
• iget-object　—　调用对象
• invoke-static　—　调用静态函数

0x03.数据类型

java里面包含两种数据类型，基本数据类型和引用类型(包括对象)，同时映射到smali也是有这两大类型。

1）基本数据类型

• B　—　byte
• C　—　char
• D　—　double (64 bits)
• F　—　float
• I　—　int
• J　—　long (64 bits)
• S　—　short
• V　—　void　　　　只能用于返回值类型
• Z　—　boolean

2）对象类型

• Lxxx/yyy/zzz;　—　object

L表示这是一个对象类型
xxx/yyy是该对象所在的包
zzz是对象名称
;标识对象名称的结束

3）数组类型

• [XXX　—　array

[I表示一个int型的一维数组，相当于int[]
增加一个维度增加一个[，如[[I表示int[][]
数组每一个维度最多255个;
对象数组表示也是类似，如String数组的表示是[Ljava/lang/String

0x04.寄存器与变量

java中变量都是存放在内存中的，android为了提高性能，变量都是存放在寄存器中的，寄存器为32位，可以支持任何类型，其中long和double是64为的，需要使用两个寄存器保存。
寄存器采用v和p来命名
v表示本地寄存器，p表示参数寄存器，关系如下
如果一个方法有两个本地变量，有三个参数

v0第一个本地寄存器
v1第二个本地寄存器
v2 p0(this)
v3 p1第一个参数
v4 p2第二个参数
v5 p3第三个参数

当然，如果是静态方法的话就只有5个寄存器了，不需要存this了。
.registers使用这个指令指定方法中寄存器的总数
.locals使用这个指定表明方法中非参寄存器的总数，放在方法的第一行。

0x05.寄存器与变量

java中变量都是存放在内存中的，android为了提高性能，变量都是存放在寄存器中的，寄存器为32位，可以支持任何类型，其中long和double是64为的，需要使用两个寄存器保存。
寄存器采用v和p来命名

• v 表示本地寄存器
• p 表示参数寄存器

关系如下
    如果一个方法有两个本地变量，有三个参数

v0第一个本地寄存器
v1第二个本地寄存器
v2 p0(this)
v3 p1第一个参数
v4 p2第二个参数
v5 p3第三个参数

当然，如果是静态方法的话就只有5个寄存器了，不需要存this了。
.registers使用这个指令指定方法中寄存器的总数
.locals使用这个指定表明方法中非参寄存器的总数，放在方法的第一行。

0x06.方法和字段

1）方法签名

methodName(III)Lpackage/name/ObjectName;
    如果做过ndk开发的对于这样的签名应该很熟悉的，就是这样来标识一个方法的。上面methodName标识方法名，III表示三个整形参数，Lpackage/name/ObjectName;表示返回值的类型。

2）方法的表示

Lpackage/name/ObjectName;——>methodName(III)Z
即 package.name.ObjectName中的 function boolean methondName(int a, int b, int c) 类似这样子

3）字段的表示

Lpackage/name/ObjectName;——>FieldName:Ljava/lang/String;
即表示： 包名，字段名和各字段类型

4）方法的定义

比如下面的一个方法

private static int sum(int a, int b) {
  return a+b;
}

 .method private static sum(II)I
 .locals  #表示需要申请4个本地寄存器
 .parameter
 .parameter #这里表示有两个参数
 .prologue
 .line
 move v0, p0
 .local v0, a:I
 move v1, p1
 .local v1, b:I
 move v2, v0
 move v3, v1
 add-int/2addr v2, v3
 move v0, v2
 .end local v0 #a:I
 return v0
.end method

从上面可以看到函数声明使用.method开始 .end method结束，java中的关键词private,static 等都可以使用，同时使用签名来表示唯一的方法，这里是sum(II)I。

5）声明成员

.field private name:Lpackage/name/ObjectName;
比如：private TextView mTextView;表示就是
.field private mTextView:Landroid/widget/TextView;
private int mCount;
.field private mCount:I

0x07.指令执行

smali字节码是类似于汇编的，如果你有汇编基础，理解起来是非常容易的。
比如：
move v0, v3 #把v3寄存器的值移动到寄存器v0上.
const v0， 0x1 #把值0x1赋值到寄存器v0上。
invoke-static {v4, v5}, Lme/isming/myapplication/MainActivity;->sum(II)I #执行方法sum(),v4,v5的值分别作为sum的参数。

0x08.条件跳转分支

“if-eq vA, vB, :cond_x”　—　如果vA等于vB则跳转到:cond_x
“if-ne vA, vB, :cond_x”　—　如果vA不等于vB则跳转到:cond_x
“if-lt vA, vB, :cond_x”　—　如果vA小于vB则跳转到:cond_x
“if-ge vA, vB, :cond_x”　—　如果vA大于等于vB则跳转到:cond_x
“if-gt vA, vB, :cond_x”　—　如果vA大于vB则跳转到:cond_x
“if-le vA, vB, :cond_x”　—　如果vA小于等于vB则跳转到:cond_x
“if-eqz vA, :cond_x”　—　如果vA等于0则跳转到:cond_x
“if-nez vA, :cond_x”　—　如果vA不等于0则跳转到:cond_x
“if-ltz vA, :cond_x”　—　如果vA小于0则跳转到:cond_x
“if-gez vA, :cond_x”　—　如果vA大于等于0则跳转到:cond_x
“if-gtz vA, :cond_x”　—　如果vA大于0则跳转到:cond_x
“if-lez vA, :cond_x”　—　如果vA小于等于0则跳转到:cond_x

0x09.参考资料

最后附上一些参考资料：
http://pallergabor.uw.hu/androidblog/dalvik_opcodes.html
https://code.google.com/p/smali/w/list
http://blog.csdn.net/lpohvbe/article/details/7981386
http://blog.csdn.net/lpohvbe/article/details/7983907