java smali代码 解读_Android逆向之动态分析smali篇

本期斗哥将带来Anoid逆向之动态分析smali篇。

0X01 smali语言简述

smali语言是Dalvik的反汇编语言因Android虚拟机Dalvik不是执行java虚拟机JVM编译后生成的class文件，而是执行再重新整合打包后生成的dex文件，dex文件反编译之后就是smali代码。

接触过Android逆向的小伙伴都会遇到smali语言，简单的逆向过程 [apk -> smali -> java]。有的逆向工具无法将smali语言反编译成java源码，只逆向到smali语言这层。或者反编译成java源码无法运行(smali宽松型语言)。

0X02 smali语言语法

####原始数据类型：//smali----java

B----byte

C----char

D----double

F----float

I----int

J----long

S----short

V----void

Z----boolean

[XXX-----array

Lxxx/yyy----object

####基础语法：语法：

.field 　定义变量

.method　　方法

.parameter　　方法参数

.prologue　　方法开始

.line 12　　此方法位于第12行

invoke-super　　调用父函数

const/high16 v0, 0x7fo3　　把0x7fo3赋值给v0

invoke-direct　　调用函数

return-void　　函数返回void

.end method　　函数结束

new-instance　　创建实例

iput-object　　对象赋值

iget-object　　调用对象

invoke-static　　调用静态函数

####smali跳转语句："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_**

//le 小于等于

//eqz 等于0

//nez 不等于0

//ltz 小于0

//gez 大于等于0

//g