smali语法总结

smali语法总结

以下内容转载自：

Smali--Dalvik虚拟机指令语言-->【android_smali语法学习一】（http://blog.csdn.net/wdaming1986/article/details/8299996）

最近一周在研究rom移植，所以就对Smali语言学习了一下，Smali语言其实就是Davlik的寄存器语言；Smali语言就是android的应用程序.apk通过apktool反编译出来的都有一个smali文件夹，里面都是以.smali结尾的文件，文件的展示语言。

转载请标明出处：http://blog.csdn.net/wdaming1986/article/details/8299996

       如图，下面是HelloWorldApp通过apktool反编译出来的目录：

               

 

               Smali文件夹里面的目录，

                

 

              先打开一个主类HelloWorldAppActivity.smali文件，先来浏览一下里面的语言，在来说说smali的语法规则：

.class public Lcom/cn/daming/activity/HelloWorldAppActivity;
.super Landroid/app/Activity;
.source "HelloWorldAppActivity.java"


# instance fields
.field private mTextView:Landroid/widget/TextView;


# direct methods
.method public constructor ()V
    .locals 0

    .prologue
    .line 7
    invoke-direct {p0}, Landroid/app/Activity;->()V

    return-void
.end method


# virtual methods
.method public onCreate(Landroid/os/Bundle;)V
    .locals 2
    .parameter "savedInstanceState"

    .prologue
    .line 12
    invoke-super {p0, p1}, Landroid/app/Activity;->onCreate(Landroid/os/Bundle;)V

    .line 13
    const/high16 v0, 0x7f03

    invoke-virtual {p0, v0}, Lcom/cn/daming/activity/HelloWorldAppActivity;->setContentView(I)V

    .line 14
    const/high16 v0, 0x7f05

    invoke-virtual {p0, v0}, Lcom/cn/daming/activity/HelloWorldAppActivity;->findViewById(I)Landroid/view/View;

    move-result-object v0

    check-cast v0, Landroid/widget/TextView;

    iput-object v0, p0, Lcom/cn/daming/activity/HelloWorldAppActivity;->mTextView:Landroid/widget/TextView;

    .line 15
    iget-object v0, p0, Lcom/cn/daming/activity/HelloWorldAppActivity;->mTextView:Landroid/widget/TextView;

    const/high16 v1, 0x7f04

    invoke-virtual {v0, v1}, Landroid/widget/TextView;->setText(I)V

    .line 16
    return-void
.end method

 

上面的smali语言对应的java类就是HelloWorldAppActivity.java类如下：

package com.cn.daming.activity;

import android.app.Activity;
import android.os.Bundle;
import android.widget.TextView;

public class HelloWorldAppActivity extends Activity {
	private TextView mTextView;
    /** Called when the activity is first created. */
    @Override
    public void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.main);
        mTextView = (TextView)findViewById(R.id.text_view);
        mTextView.setText(R.string.hello);
    }
}

        通过对比发现基本的方法名称没有改变，多了一个.method public constructor ()V表示该类的不带参数缺省的构造方法，onCreate（）方法是以.method public onCreate(Landroid/os/Bundle;)V开始，.end method结束；方法的表示形式就是这个样子的，就像赵本山说小品一样：“就算你穿上马甲，我也认识你”；哈哈。

       下面介绍一下Smali代码注入，原理：在已有APK或JAR包中插入一些Dalvik虚拟机的指令，从而改变原有程序的路径和行为。例如把上面的HelloWorldAppActivity的mTextView.setText(R.string.hello);修改一个字符串“This is daming change the smali programmer”替换原代码的R.string.hello；

只需要修改HelloWorldAppActivity.smali文件的50,51,52行就可以了，

    const/high16 v1, 0x7f04

    invoke-virtual {v0, v1}, Landroid/widget/TextView;->setText(I)V

修改为

    const-string v1, "This is daming change the smali programmer"

    invoke-virtual {v0, v1}, Landroid/widget/TextView;->setText(Ljava/lang/CharSequence;)V

再通过apktool  b  需要打包回去的文件

打包回去就在反编译后的HelloWorldApp文件里生成一个dist文件夹，里面就有打包的HelloWorldApp.apk。如图

      

       注意：要直接安装到手机或模拟器是不行的，需要签名，可以通过APKSign_gr这个签名软件来签名，也可以通过其他方式签名，在签名的时候如果一开始在eclipse里运行生成的apk是使用了ADB的debug权限签名，如果使用APKSign_gr这个签名，需要在手机或模拟器中把原来的apk卸载掉，在安装新的apk，就ok了，这个是解决安装apk时“INSTALL_PARSE_FAILED_INCONSISTENT_CERTIFICATES”这个错误的。

效果图如下：

                                  修改前                                             修改后

         

Smali语法简单介绍如下：

       Davlik字节码中，寄存器都是32位的，能够支持任何类型，64位类型（Long/Double）用2个寄存器表示；

       Dalvik字节码有两种类型：原始类型；引用类型（包括对象和数组）

              原始类型：v   void  只能用于返回值类型

                                Z   boolean

                                B   byte

                                S   short

                                C   char

                                 I    int

                                J    long（64位）

                                F   float

                                D   double（64位）

              对象类型：Lpackage/name/ObjectName;  相当于java中的package.name.ObjectName;解释如下：

                                 L：表示这是一个对象类型

                                 package/name:该对象所在的包

                                 ；：表示对象名称的结束

              数组的表示形式：

                                  [I  :表示一个整形的一维数组，相当于java的int[];

                                  对于多维数组，只要增加[ 就行了，[[I = int[][];注：每一维最多255个； 

               对象数组的表示形式：

                                   [Ljava/lang/String    表示一个String的对象数组；

  

               方法的表示形式：

                                   Lpackage/name/ObjectName;——>methodName(III)Z  详解如下：

                                   Lpackage/name/ObjectName  表示类型

                                   methodName   表示方法名

                                   III   表示参数（这里表示为3个整型参数）

                                   说明：方法的参数是一个接一个的，中间没有隔开；

                

                 字段的表示形式：

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

                                    即表示： 包名，字段名和各字段类型

 

                  有两种方式指定一个方法中有多少寄存器是可用的：

                                     .registers  指令指定了方法中寄存器的总数

                                     .locals        指令表明了方法中非参寄存器的总数，出现在方法中的第一行

 

        方法的传参：

                当一个方法被调用的时候，方法的参数被置于最后N个寄存器中；

                          例如，一个方法有2个参数，5个寄存器（v0~v4）

                                      那么，参数将置于最后2个寄存器（v3和v4）

                 非静态方法中的第一个参数总是调用该方法的对象；

                 说明：对于静态方法除了没有隐含的this参数外，其他都一样

 

          寄存器的命名方式：

                  V命名

                  P命名  第一个寄存器就是方法中的第一个参数寄存器

                  比较：使用P命名是为了防止以后如果在方法中增加寄存器，需要对参数寄存器重新进行编号的缺点

                  特别说明一下：Long和Double类型是64位的，需要2个寄存器

                           例如：对于非静态方法

                                       LMyObject——>myMethod(IJZ)V;

                                       有4个参数：LMyObject,int,long,bool;   需要5个寄存器来存储参数；

                                                            P0    this

                                                            P1    I (int)

                                                            P2，P3  J (long)

                                                            P4    Z(bool)

好了，今天就说总结整理这么多吧，以后有时间再整理一翻！希望对大家有帮助；

参考资料如下：

MIUI ROM适配之旅第四天——移植MIUI Framework：http://www.miui.com/thread-409543-1-1.html

                                    smali语法：http://pallergabor.uw.hu/androidblog/dalvik_opcodes.html

                                                            Smali代码注入：http://blog.sina.com.cn/s/blog_5674d18801019i89.html

                                                                 SMALI语法：http://bbs.pediy.com/showthread.php?t=151769

****************************************************分界线****************************************************************************

加上自己的部分理解

Smali，Baksmali分别是指安卓系统里的Java虚拟机（Dalvik）所使用的一种.dex格式文件的汇编器，反汇编器。

其语法是一种宽松式的Jasmin/dedexer语法，而且它实现了.dex格式所有功能（注解，调试信息，线路信息等）

1.constructor
我们知道运行一个类的时候会先调用static方法中的内容，比如：

  static
  {
    System.loadLibrary("qihooTest");
  }

为什么呢？
上面这段代码用smali语言写出来是这样的：

.method static constructor ()V　　#不带参数的构造方法
    .locals 1
    .prologue
    .line 64
    const-string v0, "qihooTest"
    invoke-static {v0}, Ljava/lang/System;->loadLibrary(Ljava/lang/String;)V
    .line 65
    return-void
.end method

可以看到这个方法是作为构造方法出现的，而Java的构造方法在类运行时是要自动运行的。至于和,clinit是初始化静态的类变量,init是初始化实例变量。
 2.invoke-virtual和invoke-direct
这个函数：

      public void onClick(View paramView)
      {
        MainActivity.this.packageNameCheck();
      }

原文件反编译出来后是：

invoke-direct {p0}, Lcom/qihoo/crack/MainActivity;->packageNameCheck()V

而看写上人家修改后的这个函数反编译出来后，是：

invoke-virtual {p0}, Lcom/qihoo/crack/MainActivity;->packageNameCheck()V

一开始很疑惑，后来一想他们之间的不同，发现：
原来的类调用的packageNameCheck方法就在这个类中；而修改后的类继承了另外一个类，且packageNameCheck在父类中。

另外，
invoke-virtual 或 invoke-virtual/range 调用实例的虚方法
invoke-super 或 invoke-super/range 调用实例的父类方法
invoke-direct 或 invoke-direct/range 调用实例的直接方法
由此猜想，invoke-virtual代表引用非本类中的方法（那invoke-super行不行呢？）。

# instance fields  定义实例变量的标记

# static fields 定义静态变量的标记

# direct methods 定义类直系方法（自定义）的标记

# virtual methods 定义类非直系（继承重载等）的标记

const-string v7 ,"Launcher"    字符串常量v7赋值给Launcher

new-instance v6,L java/lang/StringBuilder;   新实例化一个StringBuilder对象

input-boolean v6, p0, L com/android/launcher2/Launcher;->mPermanentMenuKey:Z

p0代表该对象的this,v6代表一个变量（寄存器中值），该命令java命令实现为将v6值赋值给mPermanentMenuKey，以下为java代码

(this.)mPermanentMenuKey =  v6;

iget-object v6, p0, L com/android/launcher2/Launcher;->mModel:Lcom/android/launcher2/LauncherModel;

p0代表该对象this,v6代表一个变量，该命令java实现po.(this.)mModel赋值给v6,以下为java代码

v6 = (this.)mModel;

invoke-super {p0,p1},Landroid/app/ActivityGroup;->onCreate(Landroid/os/Bundle;)V

p0代表该对象this,p1为方法参数，java代码

super.onCreate(Bundle p1);  (p1=insavestance)

invoke-virtual {p0},Lcom/android/Launcher2/Launcher;_>getApplication()L android/app/Application;

p0代表该对象this,java代码:(this.)getApplication();

invoke-interface {v3,v6,v9},Landroid/content/SharedPreferences;->getBoolean(Ljava/lang/String;Z)Z

java实现代码为：v3.getBoolean(v6,v9);

move-result-object v0 将上一条命令的结果赋值给v0

check-cast v0,Lcom/android/Launcher2/launcherApplication;

定义v0的类型为LauncherApplication

if-nez p1,  :cond_2

如果p1不为null,则执行cond_2代码块

 

return-void 没有返回值

输出Log日志

const-string v1, "INCALLCARD"

const-string v2, "+++++++++++++++++++++"

invoke-static {v1, v2}, Landroid/util/Log;->e(Ljava/lang/String;Ljava/lang/String;)I

const-string v3, "InCallCard"

new-instance v4, Ljava/lang/StringBuilder;

invoke-direct {v4}, Ljava/lang/StringBuilder;->()V

invoke-virtual {v4, v0}, Ljava/lang/StringBuilder;->append(I)Ljava/lang/StringBuilder;

move-result-object v4

invoke-virtual {v4}, Ljava/lang/StringBuilder;->toString()Ljava/lang/String;

move-result-object v4

invoke-static {v3, v4}, Landroid/util/Log;->e(Ljava/lang/String;Ljava/lang/String;)I