一.什么是Smali？
Smali，Baksmali分别是指安卓系统里的Java虚拟机（Dalvik）所使用的一种dex格式文件的汇编器，反汇编器。其语法是一种宽松式的Jasmin/dedexer语法，而且它实现了.dex格式所有功能（注解，调试信息，线路信息等）
二.smali的语法
1.原始类型
B---byte
C---char
D---double
F---float
I---int
J---long
S---short
V---void
Z---boolean
[XXX---array
Lxxx/yyy---object
解析下最后两项，数组的表示方式是：
在基本类型前加上前中括号“[”，例如int数组和float数组分别表示为：[I、[F；
对象的表示则以L作为开头，格式LpackageName/objectName;（注意必须有个分号跟在最后），例如String对象在smali中为：Ljava/lang/String;，其中java/lang对应java.lang包，String就是定义在该包中的一个对象。
2.方法的定义
格式：Func-Name (Para-Type1Para-Type2Para-Type3...)Return-Type
注意：参数和参数间没有任何分隔符，
1.hello()v
就是void hello()
2.hello(lll)Z
就是boolean hello(int,int,int)
3.hello(Z[l[lLjava/lang/String;J)Ljava/lang/String
就是String hello(boolean,int[],int[],String,long)
3.基本语法
.field private isFlag:z 定义变量
.method 方法
.parameter 方法参数
.prologue 方法开始
.line 123 此方法位于第123行
invoke-super 调用父函数
const/high16 v0, 0x7fo3 把0x7fo3赋值给v0
invoke-direct 调用函数
return-void 函数返回void
.end method 函数结束
new-instance 创建实例
iput-object 对象赋值
iget-object 调用对象
invoke-static 调用静态函数
invoke-virtual 虚方法调用, 一般是带有修饰符protected或public方法
4.条件跳转分支：
"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_**
三.smali的包中信息
.class public Lcom/aaaaa;
.super Lcom/bbbbb;
.source "ccccc.java"
1.它是com.aaaaa这个package下的类
2.继承自com.bbbbb
3.由ccccc.java编译得到的smali文件
四.smali中的声明
# annotations
.annotation system Ldalvik/annotation/MemberClasses;
value = {Lcom/aaa$qqq;,
Lcom/aaa$www;
}
.end annotation
这个声明是内部类的声明：aaa这个类它有两个成员内部类——qqq和www。
五.寄存器
本地寄存器用v开头数字结尾的符号来表示，如v0、v1、v2、...
参数寄存器则使用p开头数字结尾的符号来表示，如p0、p1、p2、...
注意：p0不一定是函数中的第一个参数，在非static函数中，p0代指“this”，p1表示函数的第一个参数，p2代表函数中的第二个参数…而在static函数中p0才对应第一个参数（因为Java的static方法中没有this方法。
简单分析：
const/4 v0, 0x1
iput-boolean v0, p0, Lcom/aaa;->IsRegistered:Z
上面两句smali代码，首先使用本地v0寄存器，并将0x1存到v0中，然后第二句用iput-boolean这个指令把v0中的值存放到com.aaa.IsRegistered这个成员变量中。
相当于：this.IsRegistered=v0;
const/4 v1, 0x1 这里大家应该知道 v1=1。但是真真正正想过为什么？也许很多人都知道，这里是写给不知道的。
首先4代表4字节，那么就是4位的。所以呢 v1=0*4+1=1
const/16 v2, 0x10 这里的话，16字节，那么16位对吧。所以v2 = 1*16+0 = 16
const/16 v3, 0x28 16字节，16位。v3 = 2*16+8 = 40；
const/high16 v7, -0x1000000
将给定的 16 位常量（右零扩展为 32 位）移到指定的寄存器中。
六.smali中的成员变量
成员变量格式是：
.field public/private [static] [final] varName:<类型>。
对于不同的成员变量也有不同的指令。
一般来说，
获取的指令有：iget、sget、iget-boolean、sget-boolean、iget-object、sget-object等。
操作的指令有：iput、sput、iput-boolean、sput-boolean、iput-object、sput-object等。
没有“-object”后缀的表示操作的成员变量对象是基本数据类型，带“-object”表示操作的成员变量是对象类型，特别地，boolean类型则使用带“-boolean”的指令操作。
七.Smali成员变量指令简析
1.sget-object v0, Lcom/aaa;->ID:Ljava/lang/String;
sget-object就是用来获取变量值并保存到紧接着的参数的寄存器中
本例中，它获取ID这个String类型的成员变量并放到v0这个寄存器中。
注意：前面需要该变量所属的类的类型，后面需要加一个冒号和该成员变量的类型，中间是“->”表示所属关系。
2.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;
相当于：this.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;
支付宝打赏
微信打赏
评论