smali文件格式

每个smali文件都由若干条语句组成，所有的语句都遵循着一套语法规则。在smali 文件的头3 行描述了当前类的一些信息，格式如下：

打开MainActivity.smali 文件，头3 行代码如下：

smali文件中字段的声明使用“.field”指令。字段有静态字段与实例字段两种。静态字段的声明格式如下:

实例字段的声明与静态字段类似，只是少了static关键字，它的格式如下:

smali 文件中方法的声明使用“.method ”指令,方法有直接方法与虚方法两种。
直接方法的声明格式如下:

虚方法的声明与直接方法相同，只是起始处的注释为“virtual methods”,如果一个类实现了接口，会在smali 文件中使用“.implements ”指令指出,相应的格式声明如下:

注解的作用范围可以是类、方法或字段。如果注解的作用范围是类，“.annotation ”指令会直接定义在smali 文件中，如果是方法或字段，“.annotation ”指令则会包含在方法或字段定义中。例如:

Android 程序中的类

1、内部类

Java 语言允许在一个类的内部定义另一个类，这种在类中定义的类被称为内部类（Inner Class）。内部类可分为成员内部类、静态嵌套类、方法内部类、匿名内部类。在反编译dex 文件的时候，会为每个类单独生成了一个 smali 文件，内部类作为一个独立的类，它也拥有自己独立的smali 文件，只是内部类的文件名形式为“[外部类]$[内部类].smali ”，例如：

反编译上述代码后会生成两个文件：Outer.smali 与Outer$Inner.smali。打开文件，代码结构如下：

发现它有两个注解定义块“Ldalvik/annotation/EnclosingClass;”与“Ldalvik/annotation/ InnerClass; ”、两个实例字段sn 与this0、一个直接方法init()、一个虚方法isRegistered()。this0、一个直接方法init()、一个虚方法isRegistered()。this0 是内部类自动保留的一个指向所在外部类的引用。左边的 this 表示为父类的引用，右边的数值0 表示引用的层数。

2、监听器
Android程序开发中大量使用到了监听器，如Button的点击事件响应OnClickListener、Button的长按事件响应OnLongClickListener、ListView列表项的点击事件响应 OnItemSelected-Listener等。

实例源码以及反编译设置按钮点击事件监听器的代码如下：

在MainActivity$1.smali 文件的开头使用了“.implements ”指令指定该类实现了按钮点击事件的监听器接口，因此，这个类实现了它的OnClick()方法，这也是我们在分析程序时关心的地方。另外，程序中的注解与监听器的构造函数都是编译器为我们自己生成的，实际分析过程中不必关心。

3、注解类

注解是Java 的语言特性，在 Android的开发过程中也得到了广泛的使用。Android系统中涉及到注解的包共有两个：一个是dalvik.annotation；另一个是 android.annotation。

例如：

除了SuppressLint与TargetApi注解，android.annotation 包还提供了SdkConstant与Widget两个注解，这两个注解在注释中被标记为“@hide”，即在 SDK 中是不可见的。SdkConstant注解指定了SDK中可以被导出的常量字段值，Widget 注解指定了哪些类是 UI类，这两个注解在分析Android程序时基本上碰不到，此处就不去探究了。

4、自动生成的类

使用 Android SDK 默认生成的工程会自动添加一些类。例如：

由于这些资源类都是R 类的内部类，因此它们都会独立生成一个类文件，在反编译出的代码中，可以发现有R.smali、R attr.smali、Rattr.smali、Rdimen.smali、R drawable.smali、Rdrawable.smali、Rid.smali、R layout.smali、Rlayout.smali、Rmenu.smali 、R string.smali、Rstring.smali、Rstyle.smali 等几个文件。

阅读smali反编译的代码

smali 文件中的语句特点：

1、循环语句

在 Android开发过程中，常见的循环结构有迭代器循环、for 循环、while循环、do while 循环。我们在编写迭代器循环代码时，一般是如下形式的代码：

这段代码的功能是获取正在运行的进程列表，然后使用Toast弹出所有的进程名。

forCirculate() 方法如下：

这段代码的功能是获取所有安装的程序，然后使用Toast弹出所有的软件包名。

2、switch分支语句

packedSwitch()方法的代码如下：

代码中的switch 分支使用的是 packed-switch 指令。p1为传递进来的 int 类型的数值，pswitch_data_0 为case 区域，在 case 区域中，第一条指令“.packed-switch”指定了比较的初始值为0 ，pswitch_0~ pswitch_3分别是比较结果为“case 0 ”到“case 3 ”时要跳转到的地址。

3、try/catch 语句

tryCatch()方法代码如下：

整段代码的功能比较简单，输入鸡腿数与人数，然后使用Toast弹出鸡腿的分配方案。传入人数时为了演示Try/Catch效果，使用了String 类型。代码中有两种情况下会发生异常：第一种是将String 类型转换成 int 类型时可能会发生 NumberFormatException异常；第二种是计算分配方法时除数为零的ArithmeticException异常。
在Dalvik 指令集中，并没有与Try/Catch相关的指令，在处理Try/Catch语句时，是通过相关的数据结构来保存异常信息的。

小结

静态分析是软件分析过程中最基础也是最重要的一种手段，我们向Android逆向破解又迈进了一大步。