Android逆向基础2（深入Smali文件）

1.Smali文件信息

// 当前类名：.class public Lcom/kwai/game/ddz/MainActivity;
// 父类：.super Lcom/unity3d/player/UnityPlayerActivity;
// 文件名：.source "MainActivity.java"
# static fields
//静态字段  finish 会赋值、其他则只声明
# instance fields
//实例字段
# direct methods
.method static constructor ()V
//静态构造函数<静态代码块><静态初始化>
.method public constructor ()V
//实例构造函数
//其他方法
# virtual methods

2. Smali文件中的声明

Smali文件中字段的声明使用“.field”指令。字段有静态字段与实例字段两种。静态字段的声明格式如下:

# static fields  
.field < 访问权限> static [ 修饰关键字] < 字段名>:< 字段类型>  

实例字段的声明与静态字段类似，只是少了static关键字，它的格式如下:

# instance fields  
.field < 访问权限> [ 修饰关键字] < 字段名>:< 字段类型>  

Smali 文件中方法的声明使用“.method ”指令,方法有直接方法与虚方法两种。
直接方法的声明格式如下:

# direct methods                //添加的注释  
.method <访问权限> [ 修饰关键字] < 方法原型>  
<.locals>                 //指定了使用的局部变量的个数  
[.parameter]                   //指定了方法的参数  
[.prologue]                    //指定了代码的开始处，混淆过的代码可能去掉了该指令  
[.line]                    //指定了该处指令在源代码中的行号  
<代码体>  
.end method  

虚方法的声明与直接方法相同，只是起始处的注释为“virtual methods”,如果一个类实现了接口，会在Smali 文件中使用“.implements ”指令指出,相应的格式声明如下:

# interfaces  
.implements < 接口名>        //接口关键字  
如果一个类使用了注解，会在 smali 文件中使用“.annotation ”指令指出,注解的格式声明如下:  
# annotations  
.annotation [ 注解属性] < 注解类名>  
[ 注解字段 =  值]  
.end annotation  

注解的作用范围可以是类、方法或字段。如果注解的作用范围是类，“.annotation ”指令会直接定义在Smali 文件中，如果是方法或字段，“.annotation ”指令则会包含在方法或字段定义中。例如:

# instance fields  
.field public sayWhat:Ljava/lang/String; 
//String 类型 它使用了 com.droider.anno.MyAnnoField 注解，注解字段info 值为“Hello my friend”  
.annotation runtime Lcom/droider/anno/MyAnnoField;  
info = "Hello my friend"  
.end annotation  
.end field

3. 寄存器

本地寄存器（local register，非参寄存器）用v开头数字结尾的符号来表示，如v0、v1、v2、…，
参数寄存器(parameter register)用p开头数字结尾的符号来表示，如p0、p1、p2、…，
.registers 用来标明方法中寄存器的总数，即参数寄存器和非参寄存器的总数。
.local 0，标明在这个函数中最少要用到的本地寄存器的个数，出现在方法中的第一行。如 .local 4，则可以使用的寄存器是v0-v3。
当一个方法被调用的时候，方法的参数被置于最后N个寄存器中。在实例函数中，p0代指“this”，p1表示函数的第一个参数，p2代表函数中的第二个参数…，在static函数中，p1表示函数的第一个参数，p2代表函数中的第二个参数…，因为Java的static方法中没有this方法。

简单实例分析

const/4 v0,0x1
input-boolean v0,p0,Lcom/aaa;->IsRegistered:Z

分析：首先第一句使用了v0本地寄存器，并把值0x1存到v0中，然后第二句用iput-boolean这个指令把v0中的值存放到com.aaa.IsRegistered这个成员变量中。（即相当于：this.IsRegistered = true）

4. Smali成员变量

成员变量的格式

.field public/private [static] [final] varName:<父类>
对于不同的成员变量也有不同的指令。一般来说，获取的指令有：iget、sget、iget-boolean、sget-boolean、iget-object、sgetobject等。操作的指令有：iput、sput、iput-boolean、sput-boolean、iput-object、sput-object等。
没有“-object”后缀的表示操作的成员变量对象是基本数据类型，带“-object”表示操作的的成员变量是对象类型，特别地，boolean类型使用的是“-boolean”的指令操作。

简单实例分析

(1) sget指令的使用

sget-object v0, Lcom/aaa;->ID:Ljava/lang/String;

sget-object就是用来获取变量值并保存到紧接着的参数的寄存器中
本例中，它获取ID这个String类型的成员变量并放到v0这个寄存器中。
注意：前面需要该变量所属的类的类型，后面需要加一个冒号和该成员变量的类型，中间是“->”表示所属关系。

(2) iget指令的使用

iget-object v0, p0, Lcom/aaa;->view:Lcom/aaa/view;

可以看到iget-object指令比sget-object多了一个参数，就是该变量所在类的实例，在这里就是p0即“this”。

(3) sput指令的使用

const/4 v3, 0x0
sput-object v3, Lcom/aaa;->timer:Lcom/aaa/timer;

相当于：timer=null

(4) iput指令的使用

.local v0, args:Landroid/os/Message;
const/4 v1, 0x12
iput v1, v0, Landroid/os/Message;->what:I

相当于：args.what = 18;