一搂橙、背景
熟悉VC編譯器的朋友往弓,對switch case匯編代碼不會感到陌生旦装。
switch case 代碼基本分位3類:
1页衙、case分支小于等于3,數(shù)值連續(xù)。編譯器生成的匯編代碼阴绢,直接用 cmp [ebp+var_4], 0 jz short loc_401042之類指令代替
2店乐、case分支大于3小于等于256。編譯器會生成一張或者兩張table表呻袭,case分支通過查表找到代碼地址
2眨八、case分支大于3,數(shù)值很離散左电。編譯器會用平衡樹的結(jié)構(gòu)廉侧,即生成的代碼邏輯上構(gòu)成一顆平衡樹含长。
二、研究目的
Android apk軟件的逆向伏穆,一般的主戰(zhàn)場仍然在java層,有反調(diào)試和加固的apk除外纷纫。在jeb枕扫、jadx、jd-gui工具橫行的今天辱魁,很多時候我們不需要熟悉smali源碼烟瞧,直接使用工具反中間碼為java源碼就OK了。那還分析smali干嘛呢染簇?
熟悉smali中間代碼主要意義如下:
1参滴、在動態(tài)調(diào)試smali代碼時會比較有幫助
2、工具不管用情況下锻弓,需要靜態(tài)分析手工還原smali代碼為java代碼砾赔,會大大提高還原效率。
3青灼、給了我們一個窺探j(luò)ava 語法設(shè)計原理的方法
三暴心、這里只分析編譯器會生成table的情形
含有table表的switch case中間碼分兩種類型:
sparse-switch 和 packed-switch
它們兩的區(qū)別:
A packed-switch uses a simple jump table, indexed by the form low + n, where low is the lowest test value among the case labels, and n is the input to the switch. The values at each index represent the bytecode offsets for each case. Finding the correct jump address is a constant-time operation.
packed-switch 簡單實(shí)用跳表,實(shí)際上就是一個數(shù)組杂拨,數(shù)值元素是地址值专普。跳表索引值 = base值(low) + n
A sparse-switch uses a sorted list of key-value pairs, where each key is a test value from a caselabel, and the values are jump offsets. Finding the correct jump target for a lookupswitch requires a binary search on the key, so it is a logarithmic-time operation.
sparse-switch 實(shí)用鍵值對實(shí)現(xiàn),一個key對應(yīng)一個地址值
3.1 sparse-switch 基本語法格式舉例:
sparse-switch v1, :sswitch_data_0
default: code
....
:sswitch_data_0
.sparse-switch
0x5ec5cc94 -> :sswitch_0
0x5ec5cc96 -> :sswitch_1
0x5ec5cc98 -> :sswitch_2
0x5ec5cc99 -> :sswitch_3
0x5ec5ccb0 -> :sswitch_4
.end sparse-switch
說明:上述代碼使用sparse 解析v1,如果查表成功則走入相應(yīng)的分支弹沽,如果查表不成功檀夹,則順序執(zhí)行(實(shí)際上走的是default分支)
第一case值是:0x5ec5cc94 ,第二個case值是0x5ec5cc96 ...
3.2 packed-switch 基本語法格式舉例:
packed-switch v0, :pswitch_data_0
default: code
:pswitch_data_0
.packed-switch 0x0
:pswitch_0
:pswitch_1
:pswitch_2
:pswitch_3
:pswitch_4
.end packed-switch
說明:上述代碼 使用pswitch解析v0,如果查表成功則走入相應(yīng)的分支策橘,如果查表不成功炸渡,則順序執(zhí)行(實(shí)際上走的是default分支)
第一個case值是 0,第二個case值是 1 ...
舉一個實(shí)戰(zhàn)荔枝:
舉例smali源代碼:
.class public Lme/veryyoung/wechat/luckymoney/VersionParam;
.super Ljava/lang/Object;
static fields
.field public static getMessageClass:Ljava/lang/String;
.field public static getNetworkByModelMethod:Ljava/lang/String;
.field public static receiveUIFunctionName:Ljava/lang/String;
.field public static receiveUIParamName:Ljava/lang/String;
direct methods
.method static constructor <clinit>()V
.locals 1
const-string v0, "c"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIFunctionName:Ljava/lang/String;
const-string v0, "vS"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getNetworkByModelMethod:Ljava/lang/String;
const-string v0, "com.tencent.mm.v.k"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIParamName:Ljava/lang/String;
const-string v0, "com.tencent.mm.e.b.bv"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getMessageClass:Ljava/lang/String;
return-void
.end method
.method public constructor <init>()V
.locals 0
invoke-direct {p0}, Ljava/lang/Object;-><init>()V
return-void
.end method
.method public static init(Ljava/lang/String;)V
.locals 2
const/4 v0, -0x1
invoke-virtual {p0}, Ljava/lang/String;->hashCode()I
move-result v1
sparse-switch v1, :sswitch_data_0
:cond_0
:goto_0
packed-switch v0, :pswitch_data_0
const-string v0, "c"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIFunctionName:Ljava/lang/String;
const-string v0, "vS"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getNetworkByModelMethod:Ljava/lang/String;
const-string v0, "com.tencent.mm.v.k"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIParamName:Ljava/lang/String;
const-string v0, "com.tencent.mm.e.b.bv"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getMessageClass:Ljava/lang/String;
:goto_1
return-void
:sswitch_0
const-string v1, "6.3.23"
invoke-virtual {p0, v1}, Ljava/lang/String;->equals(Ljava/lang/Object;)Z
move-result v1
if-eqz v1, :cond_0
const/4 v0, 0x0
goto :goto_0
:sswitch_1
const-string v1, "6.3.25"
invoke-virtual {p0, v1}, Ljava/lang/String;->equals(Ljava/lang/Object;)Z
move-result v1
if-eqz v1, :cond_0
const/4 v0, 0x1
goto :goto_0
:sswitch_2
const-string v1, "6.3.27"
invoke-virtual {p0, v1}, Ljava/lang/String;->equals(Ljava/lang/Object;)Z
move-result v1
if-eqz v1, :cond_0
const/4 v0, 0x2
goto :goto_0
:sswitch_3
const-string v1, "6.3.28"
invoke-virtual {p0, v1}, Ljava/lang/String;->equals(Ljava/lang/Object;)Z
move-result v1
if-eqz v1, :cond_0
const/4 v0, 0x3
goto :goto_0
:sswitch_4
const-string v1, "6.3.30"
invoke-virtual {p0, v1}, Ljava/lang/String;->equals(Ljava/lang/Object;)Z
move-result v1
if-eqz v1, :cond_0
const/4 v0, 0x4
goto :goto_0
:pswitch_0
const-string v0, "d"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIFunctionName:Ljava/lang/String;
const-string v0, "vE"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getNetworkByModelMethod:Ljava/lang/String;
const-string v0, "com.tencent.mm.t.j"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIParamName:Ljava/lang/String;
const-string v0, "com.tencent.mm.e.b.bl"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getMessageClass:Ljava/lang/String;
goto :goto_1
:pswitch_1
const-string v0, "d"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIFunctionName:Ljava/lang/String;
const-string v0, "vF"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getNetworkByModelMethod:Ljava/lang/String;
const-string v0, "com.tencent.mm.t.j"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIParamName:Ljava/lang/String;
const-string v0, "com.tencent.mm.e.b.bl"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getMessageClass:Ljava/lang/String;
goto :goto_1
:pswitch_2
const-string v0, "e"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIFunctionName:Ljava/lang/String;
const-string v0, "yj"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getNetworkByModelMethod:Ljava/lang/String;
const-string v0, "com.tencent.mm.u.k"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIParamName:Ljava/lang/String;
const-string v0, "com.tencent.mm.e.b.br"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getMessageClass:Ljava/lang/String;
goto :goto_1
:pswitch_3
const-string v0, "c"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIFunctionName:Ljava/lang/String;
const-string v0, "vP"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getNetworkByModelMethod:Ljava/lang/String;
const-string v0, "com.tencent.mm.v.k"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIParamName:Ljava/lang/String;
const-string v0, "com.tencent.mm.e.b.bu"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getMessageClass:Ljava/lang/String;
goto :goto_1
:pswitch_4
const-string v0, "c"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIFunctionName:Ljava/lang/String;
const-string v0, "vS"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getNetworkByModelMethod:Ljava/lang/String;
const-string v0, "com.tencent.mm.v.k"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->receiveUIParamName:Ljava/lang/String;
const-string v0, "com.tencent.mm.e.b.bv"
sput-object v0, Lme/veryyoung/wechat/luckymoney/VersionParam;->getMessageClass:Ljava/lang/String;
goto/16 :goto_1
:sswitch_data_0
.sparse-switch
0x5ec5cc94 -> :sswitch_0
0x5ec5cc96 -> :sswitch_1
0x5ec5cc98 -> :sswitch_2
0x5ec5cc99 -> :sswitch_3
0x5ec5ccb0 -> :sswitch_4
.end sparse-switch
:pswitch_data_0
.packed-switch 0x0
:pswitch_0
:pswitch_1
:pswitch_2
:pswitch_3
:pswitch_4
.end packed-switch
.end method
手工還原成java源代碼:
pakage me.veryyoung.wechat.luckymoney
public class VersionParam{
public static String getMessageClass;
public static String getNetworkByModelMethod;
public static String receiveUIFunctionName;
public static String receiveUIParamName;
static{//clinit
receiveUIFunctionName = "c";
getNetworkByModelMethod = "vS";
receiveUIParamName = "com.tencent.mm.v.k";
getMessageClass = "com.tencent.mm.e.b.bv";
}
public VersionParam(){
super();
}
public static init(String str){
int hashCode = str.hashCode();
int index = -1;
switch(hashCode){//sparse-switch
case 0x5ec5cc94:
if(str.equals("6.3.23")){
index = 0;
}
break;
case 0x5ec5cc96:
if(str.equals("6.3.25")){
index = 1;
}
break;
case 0x5ec5cc98:
if(str.equals("6.3.27")){
index = 2;
}
break;
case 0x5ec5cc99:
if(str.equals("6.3.28")){
index = 3;
}
break;
case 0x5ec5ccb0:
if(str.equals("6.3.30")){
index = 4;
}
default:
break;
}
switch(index){
case 0:
receiveUIFunctionName = "d";
getNetworkByModelMethod = "vE";
receiveUIParamName = "com.tencent.mm.t.j";
getMessageClass = "com.tencent.mm.e.b.bl";
break;
case 1:
receiveUIFunctionName = "d";
getNetworkByModelMethod = "vF";
receiveUIParamName = "com.tencent.mm.t.j";
getMessageClass = "com.tencent.mm.e.b.bl";
break;
case 2:
receiveUIFunctionName = "e";
getNetworkByModelMethod = "yj";
receiveUIParamName = "com.tencent.mm.u.k";
getMessageClass = "com.tencent.mm.e.b.br";
break;
case 3:
receiveUIFunctionName = "c";
getNetworkByModelMethod = "vP";
receiveUIParamName = "com.tencent.mm.v.k";
getMessageClass = "com.tencent.mm.e.b.bu";
break;
case 4:
receiveUIFunctionName = "c";
getNetworkByModelMethod = "vS";
receiveUIParamName = "com.tencent.mm.v.k";
getMessageClass = "com.tencent.mm.e.b.bv";
break;
default:
receiveUIFunctionName = "c";
getNetworkByModelMethod = "vS";
receiveUIParamName = "com.tencent.mm.v.k";
getMessageClass = "com.tencent.mm.e.b.bv";
break;
}
}
}
比較作者源代碼:
package me.veryyoung.wechat.luckymoney;
public class VersionParam {
public static String receiveUIFunctionName = "c";
public static String getNetworkByModelMethod = "vS";
public static String receiveUIParamName = "com.tencent.mm.v.k";
public static String getMessageClass = "com.tencent.mm.e.b.bv";
public static void init(String version) {
switch (version) {
case "6.3.23":
receiveUIFunctionName = "d";
getNetworkByModelMethod = "vE";
receiveUIParamName = "com.tencent.mm.t.j";
getMessageClass = "com.tencent.mm.e.b.bl";
break;
case "6.3.25":
receiveUIFunctionName = "d";
getNetworkByModelMethod = "vF";
receiveUIParamName = "com.tencent.mm.t.j";
getMessageClass = "com.tencent.mm.e.b.bl";
break;
case "6.3.27":
receiveUIFunctionName = "e";
getNetworkByModelMethod = "yj";
receiveUIParamName = "com.tencent.mm.u.k";
getMessageClass = "com.tencent.mm.e.b.br";
break;
case "6.3.28":
receiveUIFunctionName = "c";
getNetworkByModelMethod = "vP";
receiveUIParamName = "com.tencent.mm.v.k";
getMessageClass = "com.tencent.mm.e.b.bu";
break;
case "6.3.30":
receiveUIFunctionName = "c";
getNetworkByModelMethod = "vS";
receiveUIParamName = "com.tencent.mm.v.k";
getMessageClass = "com.tencent.mm.e.b.bv";
break;
default:
receiveUIFunctionName = "c";
getNetworkByModelMethod = "vS";
receiveUIParamName = "com.tencent.mm.v.k";
getMessageClass = "com.tencent.mm.e.b.bv";
}
}
}