Android逆向不可不知的smali语言

1.smali语言简介

smali是Dalvik的寄存器语言，smali代码是安卓apk反编译而来的，两者文件是一一对应的，获取smali需要ApkTool工具。
smali语言比较简单，如果你会java和Android相关知识，就可以通过修改smali语言来改变java的代码，进而可以修改apk文件。

2.smali语法

.class public LHelloWorld;
.super Ljava/lang/Object;
.method public static main([Ljava/lang/String;])V

• 前三行指明了类名，父类名，和源文件名。
• 类名以“L”开头相信熟悉Jni的童鞋都比较清楚。
• “#”是smali中的注释。
• “.method”和“.end method”类似于Java中的大括号，包含了方法的实现代码段。
• 方法的括号后面指明了返回类型，这同样类似与Jni的调用。
• “.locals”指明了这个方法用到的寄存器数量，当然寄存器可以重复利用，从“V0”起算。
• “.prologue”指定了代码开始处。
• “.line”表明这是在java源码中的第几行，其实这个值无所谓是多少，可以任意修改，主要用于调试。
• “invoke-direct”这是对方法的调用，可以看到这里调用了是Android.app.Activity的init方法，这在java里是隐式调用的。
• “return-void”表明了返回类型，这和java不一样，即使没有返回值，也需要这样写。
• 接下来是onCreate方法，“.parameter”指明了参数名，但是一般没有用，需要注意的是p0代表的是this，p1开始代表函数参数，静态函数没有this，所以从p0开始就代表参数。
• 在实现里先是调用了父类的方法，然后再调用setContentView，注意这里给了一个传参。整形的传参，这个值是先赋给寄存器v0，然后再调用的使用传递进去的。smali中都是这么使用，所有的值必须通过寄存器来中转。这点和汇编很像。

2.1 基本数据类型

2.2 对象

注：L 表示对象类型
package/name 表示包名
; 表示结束

2.3 数组

注：每一维最多255个

2.4 类字段/变量

Lpackage/name/ObjectName;——>FieldName:Ljava/lang/String;

2.5 类方法/函数

//Java代码
protected void onCreate(Bundle savedInstanceState) {
  super.onCreate(savedInstanceState);
  setContentView(R.layout.activity_main);
}

#samli代码
.method protected onCreate(Landroid/os/Bundle;)V
.locals 1
.parameter "savedInstanceState"
.prologue
.line 8
invoke-super {p0, p1}, Landroid/app/Activity;->onCreate(Landroid/os/Bundle;)V
.line 9
const/high16 v0, 0x7f03
invoke-virtual {p0, v0}, Lcom/fusijie/helloworld/MainActivity;->setContentView(I)V
.line 10
return-void
.end method

2.6 条件判断语句(if)

if-eq p1, v0, :c1
:c1
invoke-direct {p0}, Lcom/paul/test/a;->d()V

解读：如果p1和v0相等,则执行c1流程

if-ne p1, v0, :c2
:c2
invoke-direct {p0}, Lcom/paul/test/a;->c()V

解读：表示不相等,则执行c2流程

if-gt 大于
if-ge 大于等于
if-lt 小于
if-le 小于等于
"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_**

推荐AS中的插件java2smali

地址：https://plugins.jetbrains.com/plugin/7385-java2smali

个人总结

smali比java复杂很多，但是不难，相当于把java语言中更多的信息给还原出来，同时显式地指定了很多细节。

Dalvik虚拟机

Android4.4系统是个分水岭，ART模式很多机制是和Dalvik。
Dalvik是心脏，
寄存器，内存，