Smali语法的一些总结【转】

水深无声 2022-05-14 07:53 162阅读 0赞

转自：http://bbs.pediy.com/showthread.php?t=151769

dalvik字节码有两种类型，原始类型和引用类型。对象和数组是引用类型，其它都是原始类型。  
V void，只能用于返回值类型  
Z boolean  
B byte  
S short  
C char  
I int  
J long（64位）  
F float  
D double(64位)  
对象以Lpackage/name/ObjectName;的形式表示。前面的L表示这是一个对象类型，package/name/是该对象所在的包，ObjectName是对象的名字，“;”表示对象名称的结束。相当于java中的package.name.ObjectName。例如：Ljava/lang/String;相当于java.lang.String  
  
数组的表示形式  
 \[I——表示一个整型一维数组，相当于java中的int\[\]。  
 对于多维数组，只要增加\[就行了。\[\[I相当于int\[\]\[\]，\[\[\[I相当于int\[\]\[\]\[\]。注意每一维的最多255个。  
 对象数组的表示：\[Ljava/lang/String;表示一个String对象数组。  
方法  
表示形式：Lpackage/name/ObjectName;->MethodName(III)Z  
 Lpackage/name/ObjectName;表示类型，MethodName是方法名。III为参数（在此是3个整型参数），Z是返回类型（bool型）。  
 方法的参数是一个接一个的，中间没有隔开。  
一个更复杂的例子：  
method(I\[\[IILjava/lang/String;\[Ljava/lang/Object;)Ljava/lang/String;  
在java中则为：  
String method(int, int\[\]\[\], int, String, Object\[\])  
字段  
表示形式：  
Lpackage/name/ObjectName;->FieldName:Ljava/lang/String;  
即包名，字段名和各字段类型。  
寄存器  
在dalvik字节码中，寄存器都是32位的，能够支持任何类型。64位类型（Long和Double型）用2个寄存器表示。  
有两种方式指定一个方法中有多少寄存器是可用的。.registers指令指定了方法中寄存器的总数。.locals指令表明了方法中非参寄存器的数量。  
方法的传参  
 当一个方法被调用的时候，方法的参数被置于最后N个寄存器中。如果一个方法有2个参数，5个寄存器（v0-v4），那么参数将置于最后2个寄存器——v3和v4。  
 非静态方法中的第一个参数总是调用该方法的对象。  
例如，非静态方法LMyObject;->callMe(II)V有2个整型参数，另外还有一个隐含的LMyObject;参数，所以总共有3个参数。假如在该方法中指定了5个寄存器（v0-v4），以.registers方式指定5个或以.locals方式指定2个（即2个local寄存器+3个参数寄存器）。当该方法被调用的时候，调用该方法的对象（即this引用）存放在v2中，第一个整型参数存放在v3中，第二个整型参数存放在v4中。  
对于静态方法除了没有隐含的this参数外其它都一样。  
寄存器的命名方式  
有两种方式——V命名方式和P命名方式。P命名方式中的第一个寄存器就是方法中的第一个参数寄存器。在下表中我们用这两种命名方式来表示上一个例子中有5个寄存器和3个参数的方法。  
v0 第一个local register  
v1 第二个local register  
v2 p0 第一个parameter register  
v3 p1 第二个parameter register  
v4 p2 第三个parameter register  
你可以用任何一种方式来引用参数寄存器——他们没有任何差别。  
注意：baksmali默认对参数寄存器使用P命名方式。如果想使用V命名方式，可以使用-pl—no-parameter-registers选项。  
使用P命名方式是为了防止以后如果要在方法中增加寄存器，需要对参数寄存器重新进行编号的缺点。  
Long/Double值  
Long和double类型是64位的，需要2个寄存器（切记切记）。  
例如，对于非静态方法LMyObject;->MyMethod(IJZ)V，参数分别是LMyObject;，int，long，bool。故该方法需要5个寄存器来存储参数。  
  
p0 this  
p1 I  
p2,p3 J  
p4 Z

<table style="color:rgb(19,37,60); border:1px solid rgb(143,160,176); font-family:verdana,simsun,tahoma,geneva,lucida,'lucida grande',arial,helvetica,sans-serif; font-size:12px"> 
 <tbody> 
 <tr> 
 <td style="line-height:20px; font-family:宋体,verdana,geneva,lucida,'lucida grande',arial,helvetica,sans-serif; background-color:rgb(245,245,245); border-bottom-width:0px; padding:5px; border-right-width:1px; border-right-style:solid; border-right-color:rgb(255,255,255)"> 
 <div style="table-layout:fixed"> 
 <div style="overflow-x:hidden; line-height:19px"> 
 <div style="word-break:break-all; width:766px">
 dalvik字节码有两种类型，原始类型和引用类型。对象和数组是引用类型，其它都是原始类型。 
 V&nbsp;&nbsp;void，只能用于返回值类型 
 Z&nbsp;&nbsp;boolean 
 B&nbsp;&nbsp;byte 
 S&nbsp;&nbsp;short 
 C&nbsp;&nbsp;char 
 I&nbsp;&nbsp;int 
 J&nbsp;&nbsp;long（64位） 
 F&nbsp;&nbsp;float 
 D&nbsp;&nbsp;double(64位) 
 对象以Lpackage/name/ObjectName;的形式表示。前面的L表示这是一个对象类型，package/name/是该对象所在的包，ObjectName是对象的名字，“;”表示对象名称的结束。相当于java中的package.name.ObjectName。例如：Ljava/lang/String;相当于java.lang.String 
 
 数组的表示形式 
 &nbsp;&nbsp;[I——表示一个整型一维数组，相当于java中的int[]。 
 &nbsp;&nbsp;对于多维数组，只要增加[就行了。[[I相当于int[][]，[[[I相当于int[][][]。注意每一维的最多255个。 
 &nbsp;&nbsp;对象数组的表示：[Ljava/lang/String;表示一个String对象数组。 
 方法 
 表示形式：Lpackage/name/ObjectName;-&gt;MethodName(III)Z 
 &nbsp;&nbsp;Lpackage/name/ObjectName;表示类型，MethodName是方法名。III为参数（在此是3个整型参数），Z是返回类型（bool型）。 
 &nbsp;&nbsp;方法的参数是一个接一个的，中间没有隔开。 
 一个更复杂的例子： 
 method(I[[IILjava/lang/String;[Ljava/lang/Object;)Ljava/lang/String; 
 在java中则为： 
 String&nbsp;method(int,&nbsp;int[][],&nbsp;int,&nbsp;String,&nbsp;Object[]) 
 字段 
 表示形式： 
 Lpackage/name/ObjectName;-&gt;FieldName:Ljava/lang/String; 
 即包名，字段名和各字段类型。 
 寄存器 
 在dalvik字节码中，寄存器都是32位的，能够支持任何类型。64位类型（Long和Double型）用2个寄存器表示。 
 有两种方式指定一个方法中有多少寄存器是可用的。.registers指令指定了方法中寄存器的总数。.locals指令表明了方法中非参寄存器的数量。 
 方法的传参 
 &nbsp;&nbsp;当一个方法被调用的时候，方法的参数被置于最后N个寄存器中。如果一个方法有2个参数，5个寄存器（v0-v4），那么参数将置于最后2个寄存器——v3和v4。 
 &nbsp;&nbsp;非静态方法中的第一个参数总是调用该方法的对象。 
 例如，非静态方法LMyObject;-&gt;callMe(II)V有2个整型参数，另外还有一个隐含的LMyObject;参数，所以总共有3个参数。假如在该方法中指定了5个寄存器（v0-v4），以.registers方式指定5个或以.locals方式指定2个（即2个local寄存器+3个参数寄存器）。当该方法被调用的时候，调用该方法的对象（即this引用）存放在v2中，第一个整型参数存放在v3中，第二个整型参数存放在v4中。 
 对于静态方法除了没有隐含的this参数外其它都一样。 
 寄存器的命名方式 
 有两种方式——V命名方式和P命名方式。P命名方式中的第一个寄存器就是方法中的第一个参数寄存器。在下表中我们用这两种命名方式来表示上一个例子中有5个寄存器和3个参数的方法。 
 v0&nbsp;&nbsp;&nbsp;&nbsp;第一个local&nbsp;register 
 v1&nbsp;&nbsp;&nbsp;&nbsp;第二个local&nbsp;register 
 v2&nbsp;&nbsp;p0&nbsp;&nbsp;第一个parameter&nbsp;register 
 v3&nbsp;&nbsp;p1&nbsp;&nbsp;第二个parameter&nbsp;register 
 v4&nbsp;&nbsp;p2&nbsp;&nbsp;第三个parameter&nbsp;register 
 你可以用任何一种方式来引用参数寄存器——他们没有任何差别。 
 注意：baksmali默认对参数寄存器使用P命名方式。如果想使用V命名方式，可以使用-pl—no-parameter-registers选项。 
 使用P命名方式是为了防止以后如果要在方法中增加寄存器，需要对参数寄存器重新进行编号的缺点。 
 Long/Double值 
 Long和double类型是64位的，需要2个寄存器（切记切记）。 
 例如，对于非静态方法LMyObject;-&gt;MyMethod(IJZ)V，参数分别是LMyObject;，int，long，bool。故该方法需要5个寄存器来存储参数。 
 
 p0&nbsp;&nbsp;this 
 p1&nbsp;&nbsp;I 
 p2,p3&nbsp;&nbsp;J 
 p4&nbsp;&nbsp;Z&nbsp; 
 
 </div> 
 </div> 
 </div> </td> 
 </tr> 
 <tr></tr> 
 </tbody> 
</table>

补充： 
\# static fields             定义静态变量的标记 
\# instance fields        定义实例变量的标记 
\# direct methods       定义静态方法的标记 
\# virtual methods      定义非静态方法的标记 
构造函数的返回类型为V，名字为<init>。 
  
if-eq p1, v0, :cond\_8 表示如果p1和v0相等，则执行cond\_8的流程： 
    :cond\_8 
    invoke-direct \{p0\}, Lcom/paul/test/a;->d()V 
调用com.paul.test.a的d()方法 
if-ne p1, v0, :cond\_b 表示不相等则执行cond\_b的流程： 
    :cond\_b 
    const/4 v0, 0x0 
    invoke-virtual \{p0, v0\}, Lcom/paul/test/a;->setPressed(Z)V 
    invoke-super \{p0, p1, p2\}, Landroid/view/View;->onKeyUp(ILandroid/view/KeyEvent;)Z 
    move-result v0 
  
大概意思就是调用com.paul.test.a的setPressed方法，然后再调用父类View的onKeyUp方法，最后 return v0

举两个例子：  
  
sget-object v5, Lcom/google/youngandroid/runtime;->Lit227:Lgnu/mapping/SimpleSymbol;  
获取com.google.youngandroid.runtime中的Lit227字段存入v5寄存器，相当于  
gnu.mapping.SimpleSymbol localVariable = com.google.youngandroid.runtime.Lit227;  
  
sput-object v0, Lcom/google/youngandroid/runtime;->Lit78:Lkawa/lang/SyntaxTemplate;  
Likewise, this is setting the value of a static field. i.e.  
设置com.google.youngandroid.runtime.Lit78的值为v0寄存器中的kawa.lang.SyntaxTemplate类型变量的值。相当于com.google.youngandroid.runtime.Lit78 = kawa.lang.SyntaxTemplate localVariable;  
剩下的比较简单你应该能明白了。![酷][cool.gif]

[cool.gif]: /images/20220514/0fe036e82649458381edb4a4e0aaddca.png