smali
- Smali
- 是什么:一种
汇编语法/汇编文件- 一种语法:
Smali语法- 来源:是
Dalvik的VM的字节码,即dex文件中的bytecode=二进制数据,反汇编后得到的:Smali代码 - 语法:一种宽松式的Jasmin/dedexer语法
- 它实现了
.dex格式所有功能(注解,调试信息,线路信息等)
- 它实现了
- 来源:是
- 对应文件叫:
Smali文件
- 一种语法:
- 举例
- java源码:
int x = 42 - Dalvik编译后的,dex中
二进制数据=bytecode=字节码:13 00 2A 00- 二进制,人类很难读懂
- 用
baksmali反汇编后的,smali代码:const/16 v0, 42- smali代码,人类基本可读
- java源码:
- 学习Smali的用途
- 分析Apk:静态分析,不够
- 需要动态分析,涉及Smali
- 修改Apk逻辑:修改Smali代码,重新编译打包Apk
- Android逆向基础:掌握Smali
- 能阅读 smali 代码对进行 android 逆向十分重要
- Android逆向基础:掌握Smali
- 分析Apk:静态分析,不够
- 官网
- JesusFreke/smali: smali/baksmali
- 是什么:一种
smali/baksmali- GitHub
- JesusFreke/smali: smali/baksmali
- smali/baksmali is an assembler/disassembler for the dex format used by dalvik, Android's Java VM implementation
- JesusFreke/smali: smali/baksmali
- 针对dex
smali:assembler=汇编器smali语言=汇编语言
baksmali:disassembler=反汇编器- 安卓系统里的Java虚拟机(Dalvik)所使用的一种
.dex格式文件的反汇编器
- 安卓系统里的Java虚拟机(Dalvik)所使用的一种
- GitHub
Smali基本语法
- 官网文档
- TypesMethodsAndFields · JesusFreke/smali Wiki
数据类型 Types
| Smali | Java | 备注 |
|---|---|---|
| v | void | 只能用于返回值类型 |
| Z | boolean | |
| B | byte | |
| S | short | |
| C | char | |
| I | int | |
| J | long | |
| F | float | |
| D | double | |
Lpackage/name; |
对象类型 | L表示这是一个对象类型,package/name表示该对象所在的包,;表示对象名称的结束Lpackage/name/ObjectName; 相当于java中的package.name.ObjectName; |
[类型 |
数组 | [I表示一个int型数组,[Ljava/lang/String表示一个String的对象数组` |
寄存器
官网文档
- Registers · JesusFreke/smali Wiki
Java中变量都是存放在内存中的
- Android为了提高性能,变量都是存放在寄存器中的
- 寄存器为32位,可以支持任何类型
- Android为了提高性能,变量都是存放在寄存器中的
寄存器
- 类型
- 本地寄存器
- 用v开头数字结尾的符号来表示
- 举例
- v0, v1, v2
- 参数寄存器
- 用p开头数字结尾的符号来表示
- 举例
- p0,p1,p2
- 本地寄存器
- 注意
- 在
非static方法中,p0代指this,p1为方法的第一个参数 - 在
static方法中,p0为方法的第一个参数
- 在
- 说明
- 指定有多少寄存器是可用
.registers:指定了方法中寄存器的总数.locals: 表明了方法中非参寄存器的总数,出现在方法中的第一行
- 指定有多少寄存器是可用
- 类型
Smali代码示例
const/4 v0, 0x1 //把值0x1存到v0本地寄存器
iput-boolean v0,p0,Lcom/aaa;->IsRegisterd:Z //把v0中的值赋给com.aaa.IsRegistered,p0代表this,相当于this.Isregistered=true
成员变量? Fields
- 格式
.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
- array的操作是aget和aput
- 获取指令
Smali代码示例
sget-object v0,Lcom/aaa;->ID:Ljava/lang/String;
- 获取ID这个String类型的成员变量并放到v0这个寄存器中
iget-object v0,p0,Lcom/aaa;->view:Lcom/aaa/view;
- iget-object比sget-object多一个参数p0,这个参数代表变量所在类的实例。这里p0就是this
const/4 v3, 0x0
sput-object v3, Lcom/aaa;->timer:Lcom/aaa/timer;
- 相当于java代码
this.timer = null;
.local v0, args:Landroid/os/Message;
const/4 v1, 0x12
iput v1,v0,Landroid/os/Message;->what:I
- 相当于java代码
args.what = 18;- 其中args为Message的实例
方法/函数 Methods
- 函数定义格式
.method public/private [static][final] methodName()<类型> .end method - 函数类型
direct method= private方法virtual method= 其余的方法
- 函数调用
- 格式
invoke-指令类型 {参数1, 参数2,...}, L类名;->方法名 - 包含
- invoke-direct
- invoke-virtual
- invoke-static
- invoke-super
- invoke-interface
- 格式
- 函数返回结果
- 要用指令move-result或move-result-object来保存函数返回的结果
Smali代码示例:
.method private ifRegistered()Z
.locals 2 // 本地寄存器的个数
.prologue
const/4 v0, 0x1 //v0赋值为1
if-eqz v0, :cond_0 //判断v0是否等于0,等于0则跳到cond_0执行
const/4 v1, 0x1 //符合条件分支
:goto_0 //标签
return v1 //返回v1的值
:cond_0 //标签
const/4 v1, 0x0 //cond_0分支
goto :goto_0 //跳到goto_0执行
.end method
const-string v0, "NDKLIB"
invoke-static {v0}, Ljava/lang/System;->loadLibrary(Ljava/lang/String;)V
- 相当于java代码
System.loadLibrary("NDKLIB")
const-string v0, "Eric"
invoke-static {v0}, Lcmb/pbi;->t(Ljava/lang/String;)Ljava/lang/String;
move-result-object v2
- 表示将方法
t返回的String对象保存到v2中