【笔记】Smali语法

Smali语法

Smali 是一种汇编语言,通常用于 Android 应用程序的反汇编和修改。Smali 代码是 Dalvik 虚拟机指令的文本表示形式。以下是一些常见的 Smali 语法元素:

1. 基本结构:

Smali 文件是文本文件,通常以 .smali 扩展名结尾。每个 Smali 文件对应一个类,并以类路径作为文件名。例如,类 com.example.MyClass 的 Smali 文件可能是 com/example/MyClass.smali

2. 类定义:

类定义以 .class 开始,后跟类的访问修饰符、类名和继承的父类。例如:

.class public Lcom/example/MyClass; .super Ljava/lang/Object;

3. 字段定义:

字段定义以 .field 开始,后跟字段的访问修饰符、字段名和字段类型。例如:

.field public static myField:I

4. 方法定义:

方法定义以 .method 开始,后跟方法的访问修饰符、方法名、返回类型和参数列表。例如:

.method public static myMethod(II)I

5. 指令:

指令是 Smali 中最重要的部分,它们对应于 Dalvik 虚拟机的操作码。每个指令以操作码和操作数的形式表示。例如:

const/4 v0, 0x1 add-int v1, v0, v2 return v1

6. 标签:

标签用于标识代码的位置,例如用于跳转。标签以 : 开始,后跟标签名。例如:

:start const/4 v0, 0x1

7. 跳转和分支:

跳转和分支指令用于控制程序流。例如:

if-eqz v0, :label goto :anotherLabel

8. 注释:

注释以 # 开始,用于在代码中添加注释。例如:

# This is a comment

Smali常用指令

1. 赋值和常量操作:

const/4 vA, value:将 4 位常量值加载到寄存器 vA。
const/16 vA, value:将 16 位常量值加载到寄存器 vA。
const vA, value:将 32 位常量值加载到寄存器 vA。
move vA, vB:将寄存器 vB 的值复制到寄存器 vA。

2. 数学运算:

add-int vC, vA, vB:将寄存器 vA 和 vB 中的整数相加,结果存入寄存器 vC。
sub-int vC, vA, vB:将寄存器 vA 中的整数减去 vB,结果存入寄存器 vC。
mul-int vC, vA, vB:将寄存器 vA 和 vB 中的整数相乘,结果存入寄存器 vC。
div-int vC, vA, vB:将寄存器 vA 中的整数除以 vB,结果存入寄存器 vC。

3. 比较和条件分支:

cmp vA, vB:将寄存器 vA 和 vB 中的整数进行比较。
if-eq vA, vB, :label:如果 vA 和 vB 相等,则跳转到标签 :label。
if-ne vA, vB, :label:如果 vA 和 vB 不相等,则跳转到标签 :label。

4. 数组操作:

aget vA, vB, vC:从数组中获取元素,数组引用存储在 vB 中,索引存储在 vC 中,结果存入 vA。
aput vA, vB, vC:将寄存器 vA 中的值存储到数组中,数组引用存储在 vB 中,索引存储在 vC 中。

5. 方法调用:

invoke-static {parameters}, method:调用静态方法。
invoke-virtual {parameters}, method:调用虚拟方法。

6. 异常处理:

try-start 和 try-end:标识一个 try-catch 块的开始和结束。
catch:定义一个 catch 块。

7. 方法参数:

parameter:在方法内部,方法参数通常用 p0、p1、p2 等表示。

8. 对象操作:

new-instance vA, type:创建一个新的实例,类型由 type 指定,结果存入寄存器 vA。
invoke-direct {parameters}, method:调用实例构造方法。

9. 字段操作:

iget vA, vB, field:从对象 vB 的字段中获取值,结果存入 vA。
iput vA, vB, field:将寄存器 vA 中的值存储到对象 vB 的字段中。

10. 字符串操作:

const-string vA, string:将字符串加载到寄存器 vA。
const-string/jumbo vA, string:用于加载长字符串。

11. 类型转换:

check-cast vA, type:将对象 vA 强制转换为指定类型。
instance-of vA, vB, type:检查对象 vB 是否是指定类型。

12. 数组操作:

new-array vA, vB, type:创建一个新的数组,长度存储在 vB 中,类型由 type 指定,结果存入 vA。
fill-array-data vA,  , ...:将数组初始化为指定的值。

13. 流程控制:

packed-switch vA, :label:使用 packed-switch 数据结构进行 switch 语句。
sparse-switch vA, :label:使用 sparse-switch 数据结构进行 switch 语句。

14. 多线程同步:

monitor-enter vA:进入对象的监视器。
monitor-exit vA:退出对象的监视器。

15. 注解:

.annotation:声明一个注解。
.end annotation:结束一个注解块。

16. 内部类:

.inner:定义一个内部类。

17. 标志和修饰符:

.public, .private, .protected, .final, .static, 等。

18. 调试信息:

.local, .restart local, .prologue, .epilogue 等。

19. 其他指令:

nop:无操作。
const/high16 vA, value:将高 16 位的常量值加载到寄存器 vA。

20. 其他常见指令:

return:从方法返回。
goto :label:无条件跳转到标签 :label。

你可能感兴趣的:(笔记,smali,汇编)