smali中文语法详细说明_smali语言学习

需积分: 4 113 浏览量更新于2023-05-25 评论 4 收藏 201KB PDF 举报

身份认证购VIP最低享 7 折!

领优惠券(最高得80元）

资源详情

资源评论

资源推荐

Dalvik 虚拟机操作码

作者：Gabor Paller 翻译：YULIANGMAX

v1.0

表中的 vx、vy、vz 表示某个 Dalvik 寄存器。根据不同指令可以访问 16、256 或 64K 寄存器。

表中 lit4、lit8、lit16、lit32、lit64 表示字面值（直接赋值），数字是值所占用位的长度。

long 和 double 型的值占用两个寄存器，例：一个在 v0 寄存器的 double 值实际占用 v0,v1 两个寄存器。

boolean 值的存储实际是 1 和 0，1 为真、0 为假；boolean 型的值实际是转成 int 型的值进行操作。

所有例子的字节序都采用高位存储格式，例：0F00 0A00 的编译为 0F, 00, 0A, 00 存储。

有一些指令没有说明和例子，因为我没有在正常使用中看到过这些指令，它们的存在是从这里知道的：Android o

pcode constant list。

Opcode

操作码(hex)

Opcode name

操作码名称

Explanation

说明

Example

示例

00 nop

无操作

0000 - nop

01 move vx, vy

移动 vy 的内容到 vx。两个寄存器

都必须在最初的 256 寄存器范围

以内。

0110 - move v0, v1

移动 v1 寄存器中的内容到 v0。

move/from16 v

x, vy

移动 vy 的内容到 vx。vy 可能在 6

4K 寄存器范围以内，而 vx 则是在

最初的 256 寄存器范围以内。

0200 1900 - move/from16 v0, v25

移动 v25 寄存器中的内容到 v0。

03 move/16

未知

注

04 move-wide

未知

注

move-wide/from

16 vx, vy

移动一个 long/double 值，从 v

y 到 vx。vy 可能在 64K 寄存器范

围以内，而 vx 则是在最初的 256

寄存器范围以内。

0516 0000 - move-wide/from16 v22, v0

移动 v0,v1 寄存器中的内容到 v22,v23。

06 move-wide/16

未知

注

move-object v

x, vy

移动对象引用，从 vy 到 vx。

0781 - move-object v1, v8

移动 v8 寄存器中的对象引用到 v1。

move-object/fr

om16 vx, vy

移动对象引用，从 vy 到 vx。vy

可以处理 64K 寄存器地址，vx 可

以处理 256 寄存器地址。

0801 1500 - move-object/from16 v1, v21

移动 v21 寄存器中的对象引用到 v1。

09 move-object/16

未知

注

0A move-result vx

移动上一次方法调用的返回值到

vx。

0A00 - move-result v0

移动上一次方法调用的返回值到 v0。

move-result-wi

de vx

移动上一次方法调用的 long/dou

ble 型返回值到 vx,vx+1。

0B02 - move-result-wide v2

移动上一次方法调用的 long/double 型返回值

到 v2,v3。

move-result-ob

ject vx

移动上一次方法调用的对象引用

返回值到 vx。

0C00 - move-result-object v0

移动上一次方法调用的对象引用返回值到 v0。

move-exception

当方法调用抛出异常时移动异常

对象引用到 vx。

0D19 - move-exception v25

当方法调用抛出异常时移动异常对象引用到 v2

5。

0E return-void

返回空值。

0E00 - return-void

返回值为 void，即无返回值，并非返回 null。

学习中...

0F return vx

返回在 vx 寄存器的值。

0F00 - return v0

返回 v0 寄存器中的值。

10 return-wide vx

返回在 vx,vx+1 寄存器的 doubl

e/long 值。

1000 - return-wide v0

返回 v0,v1 寄存器中的 double/long 值。

return-object

返回在 vx 寄存器的对象引用。

1100 - return-object v0

返回 v0 寄存器中的对象引用。

const/4 vx, li

存入 4 位常量到 vx。

1221 - const/4 v1, #int 2

存入 int 型常量 2 到 v1。目的寄存器在第二个

字节的低 4 位，常量 2 在更高的 4 位。

const/16 vx, l

it16

存入 16 位常量到 vx。

1300 0A00 - const/16 v0, #int 10

存入 int 型常量 10 到 v0。

const vx, lit3

存入 int 型常量到 vx。

1400 4E61 BC00 - const v0, #12345678 /

/ #00BC614E

存入常量 12345678 到 v0。

const/high16 v

0, lit16

存入 16 位常量到最高位寄存器，

用于初始化 float 值。

1500 2041 - const/high16 v0, #float 1

0.0 // #41200000

存入 float 常量 10.0 到 v0。该指令最高支持 1

6 位浮点数。

const-wide/16

vx, lit16

存入 int 常量到 vx,vx+1 寄存器，

扩展 int 型常量为 long 常量。

1600 0A00 - const-wide/16 v0, #long 10

存入 long 常量 10 到 v0,v1 寄存器。

const-wide/32

vx, lit32

存入 32 位常量到 vx,vx+1 寄存

器，扩展 int 型常量到 long 常量。

1702 4e61 bc00 - const-wide/32 v2, #lo

ng 12345678 // #00bc614e

存入 long 常量 12345678 到 v2,v3 寄存器。

const-wide vx,

lit64

存入 64 位常量到 vx,vx+1 寄存

器。

1802 874b 6b5d 54dc 2b00- const-wide v

2, #long 12345678901234567 // #002bdc5

45d6b4b87

存入 long 常量 12345678901234567 到 v2,v3

寄存器。

const-wide/hig

h16 vx, lit16

存入 16 位常量到最高 16 位的 vx,

vx+1 寄存器，用于初始化 doubl

e 值。

1900 2440 - const-wide/high16 v0, #dou

ble 10.0 // #402400000

存入 double 常量 10.0 到 v0,v1。

const-string v

字符串

存入字符串常量引用到 vx，通过

字符串

ID 或

字符串

。

1A08 0000 - const-string v8, "" // str

ing@0000

存入 string@0000（字符串表#0 条目）的引用

到 v8。

const-string-j

umbo

未知

注

const-class v

类型

存入类对象常量到 vx，通过

类型

ID 或

类型

（如 Object.class）。

1C00 0100 - const-class v0, Test3 // t

ype@0001

存入 Test3.class（类型 ID 表#1 条目）的引用

到 v0。

monitor-enter

获得 vx 寄存器中的对象引用的监

视器。

1D03 - monitor-enter v3

获得 v3 寄存器中的对象引用的监视器。

1E monitor-exit

释放 vx 寄存器中的对象引用的监

视器。

1E03 - monitor-exit v3

释放 v3 寄存器中的对象引用的监视器。

check-cast vx,

类型

检查 vx 寄存器中的对象引用是否

可以转换成

类型

ID 对应类型的实

例。如不可转换，抛出 ClassCas

tException 异常，否则继续执

行。

1F04 0100 - check-cast v4, Test3 // ty

pe@0001

检查 v4 寄存器中的对象引用是否可以转换成 Te

st3（类型 ID 表#1 条目）的实例。

instance-of v

x, vy,

类型

检查 vy 寄存器中的对象引用是否

是

类型

ID 对应类型的实例，如果

是，vx 存入非 0 值，否则 vx 存入

0。

2040 0100 - instance-of v0, v4, Test3

// type@0001

检查 v4 寄存器中的对象引用是否是 Test3（类

型 ID 表#1 条目）的实例。如果是，v0 存入非 0

值，否则 v0 存入 0。

array-length v

x, vy

计算 vy 寄存器中数组引用的元素

长度并将长度存入 vx。

2111 - array-length v0, v1

计算 v1 寄存器中数组引用的元素长度并将长度

存入 v0。

new-instance v

类型

根据

类型

ID 或

类型

新建一个对象

实例，并将新建的对象的引用存入

vx。

2200 1500 - new-instance v0, java.io.F

ileInputStream // type@0015

实例化 java.io.FileInputStream（类型 ID

表#15H 条目）类型，并将其对象引用存入 v0。

new-array vx,

vy,

类型

根据

类型

ID 或

类型

新建一个数

组，vy 存入数组的长度，vx 存入

数组的引用。

2312 2500 - new-array v2, v1, char[] /

/ type@0025

新建一个 char（类型 ID 表#25H 条目）数组，v

1 存入数组的长度，v2 存入数组的引用。

filled-new-arr

ay {

参数

类型

根据

类型

ID 或

类型

新建一个数组

并通过

参数

填充

注

。新的数组引用

可以得到一个 move-result-obj

ect 指令，前提是执行过 filled

-new-array 指令。

2420 530D 0000 - filled-new-array {v0,

v0},[I // type@0D53

新建一个 int（类型 ID 表#D53H 条目）数组，

长度将为 2 并且 2 个元素将填充到 v0 寄存器。

filled-new-arr

ay-range {vx..

vy},

类型

根据

类型

ID 或

类型

新建一个数组

并以寄存器范围为参数填充。新的

数组引用可以得到一个 move-res

ult-object 指令，前提是执行过

filled-new-array 指令。

2503 0600 1300 - filled-new-array/rang

e {v19..v21}, [B // type@0006

新建一个 byte（类型 ID 表#6 条目）数组，长

度将为 3 并且 3 个元素将填充到 v19,v20,v21

寄存器

注

。

fill-array-dat

a vx,

偏移量

用 vx 的静态数据填充数组引用。

静态数据的位址是当前指令位置

加

偏移量

的和。

2606 2500 0000 - fill-array-data v6, 0

0e6 // +0025

用当前指令位置+25H 的静态数据填充 v6 寄存器

的数组引用。偏移量是 32 位的数字，静态数据

的存储格式如下：

0003 // 表类型：静态数组数据

0400 // 每个元素的字节数（这个例子是 4 字

节的 int 型）

0300 0000 // 元素个数

0100 0000 // 元素 #0：int 1

0200 0000 // 元素 #1：int 2

0300 0000 // 元素 #2：int 3

27 throw vx

抛出异常对象，异常对象的引用在

vx 寄存器。

2700 - throw v0

抛出异常对象，异常对象的引用在 v0 寄存器。

goto

目标

通过短偏移量

注

无条件跳转到

目

标

。

28F0 - goto 0005 // -0010

跳转到当前位置-16（hex 10）的位置，0005

是目标指令标签。

goto/16

目标

通过 16 位偏移量

注

无条件跳转到

目标

。

2900 0FFE - goto/16 002f // -01f1

跳转到当前位置-1F1H 的位置，002f 是目标指

令标签。

goto/32

目标

通过 32 位偏移量

注

无条件跳转到

目标

。

packed-switch

vx,

索引表偏移

量

实现一个 switch 语句，case 常

量是连续的。这个指令使用

索引

表

，vx 是在表中找到具体 case

的指令偏移量的索引，如果无法在

表中找到 vx 对应的索引将继续执

行下一个指令（即 default cas

e）。

2B02 0C00 0000 - packed-switch v2, 000

c // +000c

根据 v2 寄存器中的值执行 packed switch，索

引表的位置是当前指令位置+0CH，表如下所示：

0001 // 表类型：packed switch 表

0300 // 元素个数

0000 0000 // 基础元素

0500 0000 0: 00000005 // case 0: +0000

0005

0700 0000 1: 00000007 // case 1: +0000

0007

0900 0000 2: 00000009 // case 2: +0000

0009

sparse-switch

vx,

查询表偏移

量

实现一个 switch 语句，case 常

量是非连续的。这个指令使用

查询

表

，用于表示 case 常量和每个 c

ase 常量的偏移量。如果 vx 无法

在表中匹配将继续执行下一个指

令（即 default case）。

2C02 0c00 0000 - sparse-switch v2, 000

c // +000c

根据 v2 寄存器中的值执行 sparse switch ，

查询表的位置是当前指令位置+0CH，表如下所

示：

0002 // 表类型：sparse switch 表

0300 // 元素个数

9cff ffff // 第一个 case 常量: -100

fa00 0000 // 第二个 case 常量: 250

e803 0000 // 第三个 case 常量: 1000

0500 0000 // 第一个 case 常量的偏移量: +5

0700 0000 // 第二个 case 常量的偏移量: +7

0900 0000 // 第三个 case 常量的偏移量: +9

cmpl-float vx,

vy, vz

比较 vy 和 vz 的 float 值并在 vx

存入 int 型返回值

注

。

2D00 0607 - cmpl-float v0, v6, v7

比较 v6 和 v7 的 float 值并在 v0 存入 int 型返

回值。非数值默认为小于。如果参数为非数值将

返回-1。

cmpg-float vx,

vy, vz

比较 vy 和 vz 的 float 值并在 vx

存入 int 型返回值

注

。

2E00 0607 - cmpg-float v0, v6, v7

比较 v6 和 v7 的 float 值并在 v0 存入 int 型返

回值。非数值默认为大于。如果参数为非数值将

返回 1。

cmpl-double v

x, vy, vz

比较 vy 和 vz

注

的 double 值并

在 vx 存入 int 型返回值

注

。

2F19 0608 - cmpl-double v25, v6, v8

比较 v6,v7 和 v8,v9 的 double 值并在 v25 存

入 int 型返回值。非数值默认为小于。如果参数

为非数值将返回-1。

cmpg-double v

x, vy, vz

比较 vy 和 vz

注

的 double 值并

在 vx 存入 int 型返回值

注

。

3000 080A - cmpg-double v0, v8, v10

比较 v8,v9 和 v10,v11 的 double 值并在 v0 存

入 int 型返回值。非数值默认为大于。如果参数

剩余17页未读，继续阅读

泡泡泡你

粉丝: 18
资源: 128

会员权益专享

smali中文语法详细说明

评论0

会员权益专享

最新资源

smali中文语法详细说明

评论0

Smali指令中文手册

smali中文手册.zip

smali语法中文

samli文件_smali文件和语法

python 计算smali 文件方法数

smali post

java转smali在线转

smali2java

kali安装smali

FINDSTR: 无法打开 smali

把jar转成smali需要什么工具

下载Java2Smali工具

不等于smali怎么写

$r8$backportedmethods$utility$long$1$hashcode.smali

smali 获取资源文件数据

上述代码换成java代码

smali 修改返回值

smali 获取values 中string 数据

如何查看smali目录下的类文件中是否存在加固壳相关的代码，比如常见的加固壳如梆梆加固、360加固等

apk 怎么对修改smali后的文件签名打包 命令行语句

会员权益专享

最新资源

apk 怎么对修改smali后的文件签名打包命令行语句