Java 逆向成Smail中間語言，一般都比較容易解讀。switch case 算是大家疑問比較多的一種結構。在case 值是連續的情況下，一般比較簡單，今天就不說了。我們今天來說一下case值離散的情況下怎麼分析。

    直接上Smail程式碼

const/4 v0, 0x0

    .local v0, "c":I
    const/4 v1, 0x0

    .local v1, "d":I
    const/4 v2, 0x0

    .line 28
    .local v2, "e":I
    iget v3, p0, Lcom/a/b/MainActivity;->b:I   //這個就是我們要判斷的值

    packed-switch v3, :pswitch_data_0        //進入case 模組 ,根據v3值的不同，實現不同的跳轉

    .line 41
    :pswitch_0                                              // case 0分支，注意這裡的pswitch_0 並不是指 v3 ==0的時候跳轉的分支。而只是代                                                                       碼塊的呼叫標記而已 。具體原因下面會說明。                                                               
    div-int v0, v1, v2

    .line 47
    :goto_1
    return-void

    .line 19
    .end local v0    # "c":I
    .end local v1    # "d":I
    .end local v2    # "e":I

    .line 30
    .restart local v0    # "c":I
    .restart local v1    # "d":I
    .local v2, "e":I
    :pswitch_1
    add-int v0, v1, v2

    .line 31
    goto :goto_1

    .line 34
    :pswitch_2                               //  case 2 ,這裡pswitch_2 也是程式碼塊呼叫標記
    sub-int v0, v1, v2

    .line 35
    goto :goto_1

    .line 37
    :pswitch_3
    mul-int v0, v1, v2

    .line 38
    goto :goto_1

    .line 28
    :pswitch_data_0
    .packed-switch 0x3    // 從這一行開始，才是對v3真正的值進行說明。 packed-switch 0x3表示  v3的初始值為3 
        :pswitch_1       //v3 == 3 的時候，跳轉到程式碼塊  pswitch_1
        :pswitch_0       //v3 == 4 的時候，跳轉到程式碼塊  pswitch_0
        :pswitch_2       //v3 == 5 的時候，跳轉到程式碼塊  pswitch_2
        :pswitch_0      // v3 == 6 的時候，跳轉到程式碼塊  pswitch_0
        :pswitch_3      // v3 == 7 的時候，跳轉到程式碼塊  pswitch_3
    .end packed-switch

所以翻譯成java程式碼是

int c=0,d = 0,e=0;
        
        
        switch (b) {
        case 3:
            c = d+e;
            break;
        
        case 5:
            c = d-e;
            break;
        case 7:
            c = d*e;
            break;
            
        default:
            c = d/e;
            break;
        }