smali语法详解(逆向安卓必学)

一.什么是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;




打赏 支付宝 微信
ບົດຄວາມນີ້ມາຈາກ http://www.chieng.cn, ສໍາເນົາໂປດລະບຸ!

评论

Top