iOS逆向之旅（基礎篇） — 彙編（三） — 彙編下的 Switch語句

洪呵呵發表於2018-10-25

Switch樣式一

原C程式碼如下:

void __switch_1__(){
    int value = 5;
    switch (value) {
        case 0:
            printf("1");
            break;
        case 1:
            printf("2");
            break;
        case 2:
            printf("3");
            break;
        default:
            printf("else");
            break;
    }
}
複製程式碼

彙編程式碼如下:

01-彙編-IF-SWITCH`__switch_1__:
    0x100c96644 <+0>:   sub    sp, sp, #0x30             ; =0x30 
    0x100c96648 <+4>:   stp    x29, x30, [sp, #0x20]
    0x100c9664c <+8>:   add    x29, sp, #0x20            ; =0x20 
->  0x100c96650 <+12>:  mov    w8, #0x5                  ; w8 = 5
    0x100c96654 <+16>:  stur   w8, [x29, #-0x4]
    0x100c96658 <+20>:  ldur   w8, [x29, #-0x4]          ; value = w8
    0x100c9665c <+24>:  mov    x9, x8
    0x100c96660 <+28>:  stur   w9, [x29, #-0x8]
    0x100c96664 <+32>:  cbz    w8, 0x100c96694           ; cbz 指令的意思是 如果w8==0，則跳轉到 0x100c96694，如果不等於0，則繼續執行程式碼
    0x100c96668 <+36>:  b      0x100c9666c               ; <+40> at main.m:26
    0x100c9666c <+40>:  ldur   w8, [x29, #-0x8]
    0x100c96670 <+44>:  subs   w9, w8, #0x1              ; w9=w8-1
    0x100c96674 <+48>:  stur   w9, [x29, #-0xc]
    0x100c96678 <+52>:  b.eq   0x100c966a8               ; 如果w9==0,則跳轉到 0x100c966a8
    0x100c9667c <+56>:  b      0x100c96680               ; <+60> at main.m:26
    0x100c96680 <+60>:  ldur   w8, [x29, #-0x8]
    0x100c96684 <+64>:  subs   w9, w8, #0x2              ; w9=w8-2
    0x100c96688 <+68>:  str    w9, [sp, #0x10]
    0x100c9668c <+72>:  b.eq   0x100c966bc               ; 如果w9==0,則跳轉到  0x100c966bc
    0x100c96690 <+76>:  b      0x100c966d0               ; 如果都不滿足即default，則跳轉到 0x100c966d0
    0x100c96694 <+80>:  adrp   x0, 1
    0x100c96698 <+84>:  add    x0, x0, #0xf29            ; =0xf29 
    0x100c9669c <+88>:  bl     0x100c96c04               ; printf("1");
    0x100c966a0 <+92>:  str    w0, [sp, #0xc]
    0x100c966a4 <+96>:  b      0x100c966e0               ; <+156> at main.m:40
    0x100c966a8 <+100>: adrp   x0, 1
    0x100c966ac <+104>: add    x0, x0, #0xf2b            ; =0xf2b 
    0x100c966b0 <+108>: bl     0x100c96c04               ; printf("2");
    0x100c966b4 <+112>: str    w0, [sp, #0x8]
    0x100c966b8 <+116>: b      0x100c966e0               ; <+156> at main.m:40
    0x100c966bc <+120>: adrp   x0, 1
    0x100c966c0 <+124>: add    x0, x0, #0xf2d            ; =0xf2d 
    0x100c966c4 <+128>: bl     0x100c96c04               ; printf("3");
    0x100c966c8 <+132>: str    w0, [sp, #0x4]
    0x100c966cc <+136>: b      0x100c966e0               ; <+156> at main.m:40
    0x100c966d0 <+140>: adrp   x0, 1
    0x100c966d4 <+144>: add    x0, x0, #0xf24            ; =0xf24 
    0x100c966d8 <+148>: bl     0x100c96c04               ; printf("else");
    0x100c966dc <+152>: str    w0, [sp]
    0x100c966e0 <+156>: ldp    x29, x30, [sp, #0x20]
    0x100c966e4 <+160>: add    sp, sp, #0x30             ; =0x30 
    0x100c966e8 <+164>: ret 
複製程式碼

先科普一下兩個新指令：

cbz ：【cbz 暫存器，地址】指令的意思是如果暫存器的值==0，則跳轉到地址，如果不等於0，則繼續執行程式碼
subs : subs其實就是sub指令，但是這個指令操作結束後，會影響到標誌暫存器

用一段最簡單的switch帶碼來介紹，這一段程式碼參照之前的IF語句，本質上一點區別都沒有，就是判斷跳轉，判斷跳轉

Switch樣式二

原C程式碼如下:

void __switch_2__(){
    int value = 5;
    switch (value) {
        case 0:
            printf("1");
            break;
        case 1:
            printf("2");
            break;
        case 2:
            printf("3");
            break;
        case 3:
            printf("3");
            break;
        case 4:
            printf("4");
            break;
        default:
            printf("else");
            break;
    }
}
複製程式碼

彙編程式碼如下:

01-彙編-IF-SWITCH`__switch_2__:
    0x100be66c8 <+0>:   sub    sp, sp, #0x40             ; =0x40 
    0x100be66cc <+4>:   stp    x29, x30, [sp, #0x30]
    0x100be66d0 <+8>:   add    x29, sp, #0x30            ; =0x30 
    0x100be66d4 <+12>:  orr    w8, wzr, #0x3
    0x100be66d8 <+16>:  stur   w8, [x29, #-0x4]
    0x100be66dc <+20>:  ldur   w8, [x29, #-0x4]
    0x100be66e0 <+24>:  mov    x9, x8
    0x100be66e4 <+28>:  mov    x8, x9
    0x100be66e8 <+32>:  subs   w8, w8, #0x4              ; 如果 w8 > 0，則跳轉到 0x102fae774【加上前面的減法實際的意思就是如果w8>4的話就跳轉】
    0x100be66ec <+36>:  stur   x9, [x29, #-0x10]
    0x100be66f0 <+40>:  stur   w8, [x29, #-0x14]
    0x100be66f4 <+44>:  b.hi   0x100be6774               ; <+172> at main.m:62
    0x100be66f8 <+48>:  adrp   x8, 0
    0x100be66fc <+52>:  add    x8, x8, #0x790            ; x0 = 0x0000000100be6790
    0x100be6700 <+56>:  ldur   x9, [x29, #-0x10]
    0x100be6704 <+60>:  ldrsw  x10, [x8, x9, lsl #2]
->  0x100be6708 <+64>:  add    x8, x10, x8
    0x100be670c <+68>:  br     x8
    0x100be6710 <+72>:  adrp   x0, 1
    0x100be6714 <+76>:  add    x0, x0, #0xf29            ; =0xf29 
    0x100be6718 <+80>:  bl     0x100be6c04               ; symbol stub for: printf
    0x100be671c <+84>:  str    w0, [sp, #0x18]
    0x100be6720 <+88>:  b      0x100be6784               ; <+188> at main.m:65
    0x100be6724 <+92>:  adrp   x0, 1
    0x100be6728 <+96>:  add    x0, x0, #0xf2b            ; =0xf2b 
    0x100be672c <+100>: bl     0x100be6c04               ; symbol stub for: printf
    0x100be6730 <+104>: str    w0, [sp, #0x14]
    0x100be6734 <+108>: b      0x100be6784               ; <+188> at main.m:65
    0x100be6738 <+112>: adrp   x0, 1
    0x100be673c <+116>: add    x0, x0, #0xf2d            ; =0xf2d 
    0x100be6740 <+120>: bl     0x100be6c04               ; symbol stub for: printf
    0x100be6744 <+124>: str    w0, [sp, #0x10]
    0x100be6748 <+128>: b      0x100be6784               ; <+188> at main.m:65
    0x100be674c <+132>: adrp   x0, 1
    0x100be6750 <+136>: add    x0, x0, #0xf2d            ; =0xf2d 
    0x100be6754 <+140>: bl     0x100be6c04               ; symbol stub for: printf
    0x100be6758 <+144>: str    w0, [sp, #0xc]
    0x100be675c <+148>: b      0x100be6784               ; <+188> at main.m:65
    0x100be6760 <+152>: adrp   x0, 1
    0x100be6764 <+156>: add    x0, x0, #0xf2f            ; =0xf2f 
    0x100be6768 <+160>: bl     0x100be6c04               ; symbol stub for: printf
    0x100be676c <+164>: str    w0, [sp, #0x8]
    0x100be6770 <+168>: b      0x100be6784               ; <+188> at main.m:65
    0x100be6774 <+172>: adrp   x0, 1
    0x100be6778 <+176>: add    x0, x0, #0xf24            ; =0xf24 
    0x100be677c <+180>: bl     0x100be6c04               ; symbol stub for: printf
    0x100be6780 <+184>: str    w0, [sp, #0x4]
    0x100be6784 <+188>: ldp    x29, x30, [sp, #0x30]
    0x100be6788 <+192>: add    sp, sp, #0x40             ; =0x40 
    0x100be678c <+196>: ret    
複製程式碼

其中的這一段彙編程式碼是核心

    0x100be66f8 <+48>:  adrp   x8, 0
    0x100be66fc <+52>:  add    x8, x8, #0x790            ; x8 = 0x0000000100be6790 
    0x100be6700 <+56>:  ldur   x9, [x29, #-0x10]         ; x9 就是前面存進來的值 也就是3
    0x100be6704 <+60>:  ldrsw  x10, [x8, x9, lsl #2]     ; 取出[0x0000000100be6790 + 03 << 2],給x10
    0x100be6708 <+64>:  add    x8, x10, x8               ; 計算出要調轉的位置
    0x100be670c <+68>:  br     x8                        ; 跳轉
複製程式碼

先科普一下adrp指令，之前在彙編(一) 中有大致介紹過在本案例中 adrp x8, 0 ：x8 = PC暫存器(0x100be66fc) 的第十二位清零 + 0 << 12位 = 0x100be6000 接下來介紹當分支大於3的時候，編譯器做了什麼，首先編譯器會生成一個分支跳轉表，也就是我們0x100be66fc獲取到的值我們在lldb環境下進行除錯:

(lldb) memory read 0x0000000100be6790
0x100be6790: 80 ff ff ff 94 ff ff ff a8 ff ff ff bc ff ff ff  ................
0x100be67a0: d0 ff ff ff ff c3 00 d1 fd 7b 02 a9 fd 83 00 91  .........{......
複製程式碼

能發現他裡面幾個值分別是 0xFFFFFF80、0xFFFFFF94、0xFFFFFFBC、0xFFFFFFD0

ldrsw  x10, [x8, x9, lsl #2]  這一句是取出列表的值
add    x8, x10, x8  ;計算出跳轉的位置  0xffffffbc+0x0100be6790 = 0x0000000100be674c
複製程式碼

0x0000000100be674c這就是我們要跳轉的地址，這樣就不需要我們冗長的一步一步去判斷，大大提高了執行效率所以，當我們實際開發的時候如果分支<=3，if與switch語句的執行效率是一致的，我們儘量在分支大於3的時候使用switch語句，當然有時候為了可讀性，這一點點效率也不用計較太多

Switch樣式三

void __switch_3__(){
    int value = 5;
    switch (value) {
        case 100:
            printf("1");
            break;
        case 4353:
            printf("2");
            break;
        case 199:
            printf("3");
            break;
        case 1:
            printf("3");
            break;
        default:
            printf("else");
            break;
    }
}
複製程式碼

當case的值，不規律的時候，他的彙編程式碼又會迴歸到 if - else if -else ..的彙編指令【這裡我就不再過多的分析彙編解釋】所以我們寫case 必須是規律的且分支大於三的時候，最能保證我們程式碼的執行效率

iOS逆向之旅（基礎篇） — 彙編（二） — 彙編下的 IF語句
2018-10-25
iOS
iOS逆向之旅（基礎篇） — 彙編（五） — 彙編下的Block
2018-10-25
iOSBloC
iOS逆向之旅（基礎篇） — 彙編（一）— 彙編基礎
2018-10-25
iOS
iOS逆向之旅（基礎篇） — 彙編（四） — 彙編下的函式
2018-10-25
iOS函式
iOS逆向-彙編基礎（一）
2018-11-05
iOS
iOS彙編基礎（一）
2018-05-08
iOS
重新整理彙編—————彙編的基礎理論前置篇
2022-05-21
iOS逆向學習筆記 - 彙編(一) - 初識彙編
2018-05-16
iOS筆記
iOS彙編入門教程（一）ARM64彙編基礎
2018-03-16
iOS
彙編基礎
2024-04-28
C++ 反彙編：關於Switch語句的優化措施
2022-01-28
C++優化
iOS彙編基礎（二）暫存器
2018-05-08
iOS
逆向之彙編筆記
2020-12-30
筆記
iOS彙編入門教程（三）彙編中的 Section 與資料存取
2019-03-29
iOS
iOS逆向之旅（基礎篇） — Macho檔案
2018-10-26
iOSMac
iOS彙編基礎（四）指標和macho檔案
2018-05-08
iOS指標Mac
彙編基礎學習筆記
2020-10-11
筆記
x86彙編反編譯到c語言之——(2)if語句
2021-11-29
編譯C語言
switch語句逆向分析
2024-10-18
c語言if語句是如何變成彙編程式碼的？
2021-11-23
C語言
iOS 彙編基礎（三）還原高階程式碼之迴圈和判斷
2018-05-02
iOS
滴水逆向筆記系列-c語言總結4-15.switch語句反彙編-16.指標1-17.指標2
2024-03-14
筆記C語言指標
彙編基礎——常用暫存器及其用途
2017-03-14
學習筆記分享之彙編---2.彙編指令/語法
2020-04-18
筆記
C語言的本質（32）——C語言與彙編之C語言內聯彙編
2014-07-24
C語言
JAVA基礎--Switch case語句
2024-03-07
Java
Jack整理的Win32彙編基礎知識
2020-04-04
Win32
Win32彙編的環境和基礎（轉）
2007-07-28
Win32
Win32彙編的環境和基礎 (轉)
2007-12-29
Win32
WebAssembly 系列（三）編譯器如何生成彙編
2017-03-12
Web編譯
基於VC平臺下C++反彙編與逆向分析研究——No.1
2016-05-27
C++
iOS彙編入門教程（二）在Xcode工程中嵌入彙編程式碼
2018-03-23
iOSXCode
彙編命令A
2018-03-22
彙編指令
2016-08-23
x64dbg(程式逆向反彙編修改神器)
2022-03-29
iOS 基礎面試題彙總
2018-12-11
iOS面試題
iOS逆向與安全：基礎篇
2018-10-31
iOS
彙編學習小記(三)-查表
2018-04-21

iOS逆向之旅（基礎篇） — 彙編（三） — 彙編下的 Switch語句

Switch樣式一

Switch樣式二

Switch樣式三

相關文章