前言

Dalvik指令語(yǔ)法詳解
該篇文章為本人的學(xué)習(xí)筆記,如有不對(duì)之處,請(qǐng)指教.

附參考鏈接:smali文件語(yǔ)法參考

類(lèi)型

字節(jié)碼類(lèi)型描述符

其中L類(lèi)型可以表示Java類(lèi)型中的任何類(lèi).
例如

      java.lang.String  
在smali語(yǔ)法中表示為:
      Ljava.lang.String;

注意后面有個(gè)分號(hào),L類(lèi)型最后的分號(hào)表示對(duì)象名結(jié)束.

[類(lèi)型可以表示所有基本類(lèi)型的數(shù)組. [后面緊跟基本數(shù)據(jù)類(lèi)型描述符. 如[I 相當(dāng)于Java中的int[],即一維數(shù)組. [[I相當(dāng)于Java中的int[][],即二維數(shù)組.
三維、四維等等數(shù)值以此類(lèi)推. 注意多維數(shù)組的維數(shù)最大為255個(gè).

L 與 [ 可以同時(shí)使用用來(lái)表示對(duì)象數(shù)組. 如[Ljava.lang.String;就表示這是一個(gè)String類(lèi)型的數(shù)組.

方法及字段

方法的表現(xiàn)格式如下

Lpackage/name/ObjectName;->MethodName(III)Z

其中 Lpackage/name/ObjectName;應(yīng)該理解為該方法所在的類(lèi),MethodName為具體方法名,(III)Z 這是方法具體的傳參和返回部分,其中括號(hào)內(nèi)的III為方法參數(shù)(在這里是表示三個(gè)int類(lèi)型的參數(shù)),Z表示方法多維返回值(在這里返回值為boolean類(lèi)型).

字段的格式和方法很像,只是方法的括號(hào)禀综、括號(hào)里面的參數(shù)及返回值,這些字段都是沒(méi)有的,后面取而代之的是字段自己的類(lèi)型.字段格式如下

Lpackage/name/ObjectName;->FieldName:Ljava/lang/String;

其中Lpackage/name/ObjectName;不用說(shuō)還是該字段所在的類(lèi),FieldName為字段名,Ljava/lang/String;為字段類(lèi)型.其中字段名與字段類(lèi)型之間用冒號(hào):隔開(kāi).

Dalvik指令

首先咱們來(lái)解析一條指令

move-wide/from16 vAA,vBBBB

move為基礎(chǔ)字節(jié)碼,即操作符 . wide為名稱(chēng)后綴,標(biāo)識(shí)操作的數(shù)組為64位. from16位字節(jié)碼的后綴,標(biāo)識(shí)源操作數(shù)是一個(gè)16位寄存器引用變量. vAA為目的寄存器,他始終在源寄存器的前面.
vBBBB為源寄存器. 若沒(méi)有wide后綴,默認(rèn)為32位.

move指令

move 指令的作用是將源寄存器的值賦值給目的寄存器,即

move vA,vB

move-wide作用同上,只是賦值的為64位.</br> move-object是為對(duì)象賦值.
move-result 指令的作用是將上一個(gè)invoke類(lèi)型指令的操作結(jié)果賦值給目的寄存器,即

move-result vAA

move-result-wide作用同上,只是賦值的為64位. </br> move-object同上,只是賦值為對(duì)象類(lèi)型.

返回指令

return-void表示函數(shù)從一個(gè)void方法返回.
return 表示函數(shù)返回一個(gè)32位非對(duì)象的值.
return-wide 表示函數(shù)返回一個(gè)64位非對(duì)象的值.
return-object 表示函數(shù)返回一個(gè)對(duì)象類(lèi)型.

數(shù)據(jù)定義

const常用來(lái)定義程序中用到是常量邻奠、字符串框全、類(lèi)等數(shù)據(jù).</br> const 佑女、const/4割笙、const/16給寄存器賦值基本數(shù)據(jù)類(lèi)型.即

const/4 v1, 0x2

當(dāng)const-string給寄存器賦字符串,即

const-string v0, "\u60a8\u7684\u8bd5"

</br>const-class給寄存器賦值一個(gè)類(lèi)引用.

鎖指令

鎖指令用于在多線(xiàn)程程序中對(duì)同一對(duì)象的操作.

monitor-enter v0

為指定的對(duì)象獲取鎖.

monitor-exit v0

釋放指定對(duì)象的鎖.

實(shí)例操作指令

• 類(lèi)型轉(zhuǎn)換指令

check-cast v0,type@BBBB

將v0寄存器轉(zhuǎn)換成指定的類(lèi)型.

• 檢查指令

instance-of v0,v1,type@BBBB

檢測(cè)v1是否可以轉(zhuǎn)換成指定類(lèi)型,可以轉(zhuǎn)換v0賦值為1,否則賦值 0.

• 創(chuàng)建指令

new-instance v0,type@BBBB

構(gòu)造一個(gè)指定類(lèi)型的實(shí)例,并把實(shí)例對(duì)象的引用賦值給v0.類(lèi)型符 type指定類(lèi)型不能為數(shù)組.

數(shù)組操作指令

• 創(chuàng)建數(shù)組

new-array v0,v1,type@BBBB

構(gòu)造指定類(lèi)型的數(shù)組,v1表示數(shù)組的大小,并將數(shù)組賦值給v0.

filed-new-array {v1,v2,v3},type@BBBB

構(gòu)造數(shù)組的另一種方式,即相當(dāng)于Java中的
int[] arrays= {1,2,3,4};

• 獲取數(shù)組長(zhǎng)度

array-length v0,v1

獲取v1寄存器中的數(shù)組長(zhǎng)度,并賦值給v0寄存器.

跳轉(zhuǎn)指令

• goto指令

goto +AA

無(wú)條件跳轉(zhuǎn)到指定偏移量處,偏移量不能為0.

• switch指令

packed-switch v0,+BBBB

分支跳轉(zhuǎn),v0寄存器為switch分支中的判斷值,+BBBB指向的是packed-switch-payload格式的偏移表,表中的值是有規(guī)律的.

sparse-switch v0,+BBBB

作用同上,唯一不同是偏移表中的值是無(wú)規(guī)律的.

• if指令
  if指令格式如下
  if-eq(此處可替換) v0,v1,+BBBB
  比較兩個(gè)寄存器的值,符合條件進(jìn)行跳轉(zhuǎn).

    if-eq(此處可替換) v0,+BBBB

用寄存器中的值和0進(jìn)行比較,符合跳轉(zhuǎn)跳轉(zhuǎn).

比較指令

用于比較兩個(gè)寄存器的值(浮點(diǎn)型或長(zhǎng)整型),比較結(jié)果放到v0寄存器中.
格式

cmpl-float(此處可替換) v0,v1,v2

字段操作指令

字段操作指令分兩大類(lèi):普通字段和靜態(tài)字段,普通字段指令的前綴為i,靜態(tài)字段指令的前綴為s.
字段的讀操作指令為get,寫(xiě)操作指令為put,因此普通字段的操作指令為iget,iput.靜態(tài)字段的操作指令為sget,sput.
指令格式如下

.line 16
iput-object p1, p0, Lcom/view/dialogapplication/PhoneInfo;->context:Landroid/content/Context;

上面是一段iput指令代碼,它所對(duì)應(yīng)的java代碼如下

  this.context = context;

沒(méi)錯(cuò),它就會(huì)一個(gè)簡(jiǎn)單的賦值context的代碼;
由此,可以看出來(lái), p1是要賦值的context,p0是源,而后面的第三個(gè)參數(shù)

Lcom/view/dialogapplication/PhoneInfo;->context:Landroid/content/Context;

可以看出來(lái)是p1的字段名.

此外還有一組以a為前綴的的操作指令,分別為aput和aget,不過(guò)它們應(yīng)該不算在字段的范疇了,應(yīng)該為數(shù)組操作范疇,但因?yàn)橐彩呛妥x寫(xiě)操作有關(guān),所以就寫(xiě)在這里了,具體格式如下

aput-object  v2,v1,v0

其具體作用為將v2的值放入到v1數(shù)組的v0位置處.所以可以看出,v2為要放入的值,v1代表著存放v2值的數(shù)組,而v0則是v2要存放在數(shù)組的位置,即v0為index(數(shù)組角標(biāo)).

方法調(diào)用指令

方法調(diào)用指令賦值調(diào)用類(lèi)實(shí)例(也就是對(duì)象)的方法,它的基礎(chǔ)指令為invoke.指令格式如下

invoke-virtual(名稱(chēng)后綴可替換) {v0,v1},method@BBBB(具體的方法)

其中{v0,v1}大括號(hào)中第一位放的是調(diào)用方法的對(duì)象,之后的為方法中的參數(shù).若沒(méi)有參數(shù)則只需傳入調(diào)用方法的對(duì)象,即{v0}.

數(shù)字轉(zhuǎn)換指令

數(shù)據(jù)轉(zhuǎn)換指令用于將一種類(lèi)型的數(shù)值轉(zhuǎn)換成另一種類(lèi)型.格式如下

neg-int(可替換如下) v0,v1

指令中,v1存放需要轉(zhuǎn)換的數(shù)據(jù),v0存放轉(zhuǎn)換后的結(jié)果.

數(shù)據(jù)運(yùn)算指令

數(shù)據(jù)運(yùn)算指令分為算術(shù)運(yùn)算指令和邏輯運(yùn)算指令,即 加昼捍、減、乘迁筛、除煤蚌、取模、位移及與细卧、或尉桩、非、異或等.
格式如下

add-int(可替換如下) v0,v1,v2

指令中,將v1和v2進(jìn)行運(yùn)算,結(jié)果存到v0.

其中后面的-type可以是-int贪庙、-long蜘犁、-float、-double.

至此,Dalvik指令集基本就都介紹完了