<span id="7ztzv"></span>
<sub id="7ztzv"></sub>

<span id="7ztzv"></span><form id="7ztzv"></form>

<span id="7ztzv"></span>

        <address id="7ztzv"></address>

            原文地址:http://drops.wooyun.org/tips/13245

            Author:leonnewton

            0x00 序


            目前對Android模擬器的檢測,主要是從特定的系統值來進行區分的。例如,getDeviceId()、getLine1Number()這類函數,還有android.os.Build類記錄的一系列值等等。但是偶然發現有位老外提出了用cache來區分模擬器和真機的idea,但是這位老外可能當時比較懶,沒有具體的細節,寫了個簡單的PoC后把Evaluation空著了,也沒有實驗,所以并不知道這個方法是否真的有效。因此,本文就把檢測的整個方法從原理到實現完整地展現出來。

            0x01 ARM和x86


            由于現在大部分的Android手機都是ARM架構的,因此首先看一下ARM架構和x86架構在cache上的區別。兩者簡明的區別如下圖所示。

            圖1:ARM和x86 cache區別

            從圖中我們可以看出,在CPU和內存之間,可以存在幾級cache,這里是L1和L2。cache的作用是加速,把指令緩存起來,就不用到低速的內存中去取了。x86的cache都是連續的,但是ARM把L1 cache分成了平行的2塊,也就是I-Cache和D-Cache。這種將程序指令儲存和數據儲存分開的存儲器結構叫哈佛架構(Harvard architecture),而把程序指令存儲器和數據存儲器合并在一起的叫馮·諾伊曼結構(von Neumann architecture)。

            那么問題就來了,在指令和數據分開存儲的結構中,這兩個cache不是同步的,因此一個特定地址的數據值在一個cache中更新了,但是在另一個cache就沒有更新。比如往數據cache中寫了數據,指令cache中是不會寫入這個數據的。

            而目前Android SDK提供的模擬器是基于QEMU的,QEMU是一個開源的模擬處理器的軟件,詳細可以看維基QEMU。所以模擬器是沒有分開的cache,模擬器只有一個整塊的cache。

            于是就有了下面利用cache來檢測模擬器的思路。

            0x02 思路


            先看下思路的流程圖:

            圖2:檢測思路

            左邊的是真機上發生的情況,右邊是模擬器發生的情況,下面詳述一下操作和后果。

            第一步:
            執行一個地址上的指令,假設就是$address這個地址。那么在真機上,指令會寫到I-Cache上,模擬器直接寫到cache上(因為模擬器就一個整塊的cache)。

            第二步:
            $address寫入一個新指令。注意,這就有區別了,真機上的新指令會寫入D-Cache,而在模擬器直接寫到cache上。

            第三步:
            執行$address的指令。那么此時,在真機上,會從I-Cache讀指令,也就是會執行第一步的指令。模擬器直接從cache上讀指令,會執行第二步的新指令。

            當然有可能發生在真機上的指令cache被洗掉了,但是實驗下來可能性還是比較小的。

            0x03 show me the code


            首先是設計一段代碼,會向一個特定的地址重新寫一個指令。然后由于要重新回到原來的地址再執行一遍,因此可以用一個循環來實現。代碼如下:

            #!cpp
            __asm __volatile (
            1 "stmfd sp!,{r4-r8,lr}\n"
            2 "mov r6,#0\n"  用來統計循環次數,debug用的
            3 "mov r7,#0\n"  為r7賦初值
            4 "mov r8,pc\n"  4、7行用來獲得覆蓋$address“新指令”的地址
            5 "mov r4,#0\n"  為r4賦初值
            6 "add r7,#1\n"  用來覆蓋$address的“新指令”
            7 "ldr r5,[r8]\n" 
            8 "code:\n"
            9 "add r4,#1\n"  這就是$address,是對r4加1
            10 "mov r8,pc\n"  10,11,12行的作用就是把第6行的指令寫到第9行
            11 "sub r8,#12\n"
            12 "str r5,[r8]\n"
            13 "add r6,#1\n"   r6用來計數
            14 "cmp r4,#10\n"  控制循環次數
            15 "bge out\n"
            16 "cmp r7,#10\n"   控制循環次數
            17 "bge out\n"
            18 "b code\n"      10次內的循環調回去
            19 "out:\n"
            20 "mov r0,r4\n"    把r4的值作為返回值
            21 "ldmfd sp!,{r4-r8,pc}\n"
            );
            

            注釋已經解釋得比較清晰了。也就是說,r4如果是10,那么就是執行的是舊指令,是在真機上。如果r4等于1,那就是執行了舊指令,是在模擬器上。

            這里會遇到一個問題,就是我們是沒有寫代碼段的權限的,解決方案是mmap一段可寫的,把編譯好的機器碼復制進去,再跳過去執行。

            #!cpp
            void (*call)(void);
            #define PROT PROT_EXEC|PROT_WRITE|PROT_READ
            #define FLAGS MAP_ANONYMOUS| MAP_FIXED |MAP_SHARED
            char code[]=
            "\xF0\x41\x2D\xE9\x00\x60\xA0\xE3\x00\x70\xA0\xE3\x0F\x80\xA0\xE1"
            "\x00\x40\xA0\xE3\x01\x70\x87\xE2\x00\x50\x98\xE5\x01\x40\x84\xE2"
            "\x0F\x80\xA0\xE1\x0C\x80\x48\xE2\x00\x50\x88\xE5\x01\x60\x86\xE2"
            "\x0A\x00\x54\xE3\x02\x00\x00\xAA\x0A\x00\x57\xE3\x00\x00\x00\xAA"
            "\xF5\xFF\xFF\xEA\x04\x00\xA0\xE1\xF0\x81\xBD\xE8";
            void *exec = mmap((void*)0x10000000,(size_t)4096 ,PROT ,FLAGS,-1,(off_t)0);
            memcpy(exec ,code,sizeof(code)+1);
            call=(void*)0x10000000;
            call();
            

            申請了一段內存,然后把匯編代碼的機器碼復制過去,接著跳到這塊內存執行。然后我們在后面取r4的值即可。

            #!cpp
            __asm __volatile (
            "mov %0,r0\n"
            :"=r"(a)
            :
            :
            );
            

            把r0,也就是r4的值放到a變量中。然后根據a的值返回不同的值就可以了。方便在應用里判斷結果。

            0x04 調試


            調試的方法可以見鄭博士的文章安卓動態調試七種武器之孔雀翎 – Ida Pro

            整個調試的過程是,把上一節的代碼編譯成一個so共享庫,返回值是r0也就是r4的值(a變量),然后在應用中根據返回值來判斷在什么環境中運行。

            在進入10000000前下斷點,然后F7進去。

            進入以后,在mov r0,r4的時候下斷,F9執行,這時候看到r4的值是10,這是在真機上測試的結果。可以看到原先add r4,#1 已經變成了add r7,#1,但是實際執行的還是add r4,#1。

            在模擬器執行的結果如下,可以看到r4的值是1,r7是10,所以執行的是新指令,是在模擬器上:

            0x05 測試


            不知道在其他機器上是否可行,大家可以從https://github.com/leonnewton/cache_test下載進行測試。

            <span id="7ztzv"></span>
            <sub id="7ztzv"></sub>

            <span id="7ztzv"></span><form id="7ztzv"></form>

            <span id="7ztzv"></span>

                  <address id="7ztzv"></address>

                      亚洲欧美在线