smali语法

来自smali的wiki说明

一、类型

Dalvik的字节码中有两个主要类型：基类和引用类型。引用类型是对象和数组，其他都是基类

（1）基类

V	void 空类型，仅用做返回类型
Z	boolean布尔型
B	byte字节型
S	short短整型 16位
C	char字符型
I	int整型
J	long 长整型 64位
F	float浮点型
D	double双精度型 64位

   （2）对象

Lpackage/name/ObjectName

L表明这是一个对象类型

e.g. "Ljava/lang/String"等同于java.lang.String

   （3）数组（数组维度最多255）

[I	等同于int[ ]
[[I	等同于int[ ][ ]

   

二、方法

方法包括方法名，参数类型和返回值

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

Lpackage/name/OjectName表示类

MethodName表示方法名

III表示三个整型参数

Z表示返回值为布尔类型

 

三、field（一般翻译为字段，我理解的是变量定义）

field包括包名，变量名，变量类型

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

 

 

四、寄存器

在dalvik字节码中，寄存器都是32位，64位类型（long，double）需要用2个寄存器存放。

 

有两种方式指定一个方法中有多少寄存器可用。.registers指令指定了方法中的寄存器总数。.locals指令指定方法中非参寄存器的数量。

 

寄存器有两种命名方式，V命名方式和P命名方法。P命名方式中的第一个寄存器就是方法中的第一个参数寄存器

v0    第一个local register
v1    第二个local register
v2  p0  第一个parameter register
v3  p1  第二个parameter register
v4  p2  第三个parameter register

 

e.g. 对于非静态方法 LMyObject;->MyMethod(IJZ)V, 参数分别是LMyObject,int,long(64位）,bool，需要5个寄存器来存储参数

p0  this
p1  I
p2,p3  J
p4  Z 

 

 

五、例子

e.g.1

const v0, 0
invoke-virtual {v0}, Ljava/lang/Object;->toString();

相当于

Object blah = null;
blah.toString();

 

e.g.2

sget-object v5, Lcom/google/youngandroid/runtime;->Lit227:Lgnu/mapping/SimpleSymbol;

相当于

gnu.mapping.SimpleSymbol localVariable = com.google.youngandroid.runtime.Lit227;

即获取com.google.youngandroid.runtime中的Lit227字段存入v5寄存器

 

e.g.3

sput-object v0, Lcom/google/youngandroid/runtime;->Lit78:Lkawa/lang/SyntaxTemplate;

相当于

com.google.youngandroid.runtime.Lit78 = kawa.lang.SyntaxTemplate localVariable;

即将v0寄存器中存放的kawa.lang.SyntaxTemplate类型变量的值赋给com.google.youngandroid.runtime.Lit78

 

六、smali语法高亮

editplus 上smali语法高亮文件 http://www.editplus.com/dn.php?n=smali.rar 

（来自非虫，非常欣赏这位大牛，技术厉害不用说，还乐于分享，在看雪上发布了很多android逆向的教程）

 

 

七、davlik opcode

http://pallergabor.uw.hu/androidblog/dalvik_opcodes.html

 

八、常见源码结构

1. 构造函数

publicclass example {
privatestaticintCounter;

public example(){Counter=16;}

对应的smali

 

 

2.for结构

publicstaticvoidLoopExample()
{
for(int i =0; i <Counter; i++)
System.out.println("current val for loop: "+ i);
}

对应的smali

 

 

3.switch结构

publicstaticvoidSwitchExample()
{
int val =42;
switch(val){
case1:System.out.println("val 1");break;
case2:System.out.println("val 2");break;
case42:System.out.println("val 42");break;
case5:System.out.println("val 5");break;
default:System.out.println("invalid value");break;
}
}

对应的smali

 

 在smali中，switch结构，首先使用spare-switch解析default分支，接着处理其他分支.这种处理流程，会导致在使用dex2jar进行反编译时（将dex文件转换为jar）出错,使用ded进行反编译的结果会稍微好一点。

 

4.try-catch

publicstaticvoidTryCatchExample()
{
String urlStr ="google.com";
try{
// Get the image
URL url =new URL(urlStr);
InputStreamis= url.openStream();
is.close();
}catch(MalformedURLException e){
// Print out the exception that occurred
System.out.println("Invalid_URL"+ urlStr +" :"+ e.getMessage());
}catch(IOException e){
// Print out the exception that occurred
System.out.println("Unable?to?execute"+ urlStr +":"+ e.getMessage());
}
}

catch部分对应的smaili

 同样的，使用ded进行反编译的结果会稍微好一点

 

5.数组

publicstaticvoidArrayExample()
{
String someArray[]=newString[5];

someArray[0]="set value at index 0";
someArray[1]="index 1 has this value";

if( someArray[0].equals(someArray[1]))
{
System.out.println("array at index 0 = 1 (wont?happen)");
}
}

对应的smali

 

 

参考：

https://code.google.com/p/smali/wiki/TypesMethodsAndFields

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

Android恶意代码分析 claud