C語言的函數(shù)調(diào)用程序和函數(shù)逆向分析

在學(xué)習(xí)編程的過程中，需要閱讀大量的源代碼才能提高自身的編程能力。同樣，在做產(chǎn)品的時候也需要大量參考同行的軟件才能改善自己產(chǎn)品的不足。如果發(fā)現(xiàn)某個軟件的功能非常不錯，是自己急需融入自己軟件產(chǎn)品的功能，而此時又沒有源代碼可以參考，那么程序員唯一能做的只有通過逆向分析來了解其實現(xiàn)方式。除此之外，當(dāng)使用的某個軟件存在 Bug，而該軟件已經(jīng)不再更新時，程序員能做的并不是去尋找同類的其他軟件，而是可以通過逆向分析來自行修正其軟件的 Bug，從而很好地繼續(xù)使用該軟件。逆向分析程序的原因很多，有些情況不得不進行逆向分析，比如病毒分析、漏洞分析等。

可能病毒分析、漏洞分析等高深技術(shù)對于有些人來說目前還無法達到，但是其基礎(chǔ)知識部分都離不開逆向知識。下面借助IDA來分析由VC6編譯連接C語言的代碼，從而來學(xué)習(xí)掌握逆向的基礎(chǔ)知識。

1. 簡單的C語言函數(shù)調(diào)用程序

為了方便介紹關(guān)于函數(shù)的識別，這里寫一個簡單的C語言程序，用VC6進行編譯連接。C語言的代碼如下：

#include 《stdio.h》#include 《windows.h》int test（char *szStr， int nNum）{ printf（“%s， %d ”， szStr， nNum）; MessageBox（NULL， szStr， NULL， MB_OK）; return 5;}int main（int argc， char ** argv）{ int nNum = test（“hello”， 6）; printf（“%d ”， nNum）; return 0;}在程序代碼中，自定義函數(shù)test（）由主函數(shù)main（）所調(diào)用，test（）函數(shù)的返回值為int類型。在test（）函數(shù)中調(diào)用了printf（）函數(shù)和MessageBox（）函數(shù)。將代碼在VC6下使用DEBUG方式進行編譯連接來生成一個可執(zhí)行文件，對該可執(zhí)行文件通過IDA進行逆向分析。

以上代碼的擴展名為“.c”，而不是“.cpp”。這里用來進行逆向分析的例子均使用DEBUG方式在VC6下進行編譯連接。

2. 函數(shù)逆向分析

大多數(shù)情況下程序員都是針對自己比較感興趣的程序部分進行逆向分析，分析部分功能或者部分關(guān)鍵函數(shù)。因此，確定函數(shù)的開始位置和結(jié)束位置非常重要。不過通常情況下，函數(shù)的起始位置和結(jié)束位置都可以通過反匯編工具自動識別，只有在代碼被刻意改變后才需要程序員自己進行識別。

IDA可以很好地識別函數(shù)的起始位置和結(jié)束位置，如果在逆向分析的過程中發(fā)現(xiàn)有分析不準(zhǔn)確的時候，可以通過Alt + P快捷鍵打開“Edit function”（編輯函數(shù)）對話框來調(diào)整函數(shù)的起始位置和結(jié)束位置?！癊dit function”對話框的界面如圖1所示。在圖1中，被選中的部分可以設(shè)定函數(shù)的起始地址和結(jié)束地址。

圖1 “Edit function”對話框

用IDA打開VC6編譯好的程序，在打開的時候，IDA會有一個提示，如圖2所示。該圖詢問是否使用PDB文件。PDB文件是程序數(shù)據(jù)庫文件，是編譯器生成的一個文件，方便程序調(diào)試使用。PDB包含函數(shù)地址、全局變量的名字和地址、參數(shù)和局部變量的名字和在堆棧的偏移量等很多信息。這里選擇“Yes”按鈕。

圖2 提示是否使用PDB文件

在分析其他程序的時候，通常沒有PDB文件，那么這里會選擇“No”按鈕。在有PDB和無PDB文件時，IDA的分析結(jié)果是截然不同的。請大家在自己分析時，嘗試對比不加載編譯器生成的PDB文件和加載了PDB文件IDA生成的反匯編代碼的差異。

當(dāng)IDA完成對程序的分析后，IDA直接找到了main（）函數(shù)的跳表項，如圖3所示。

圖3 main（）函數(shù)的跳表

所謂main（）函數(shù)的跳表項，意思是這里并不是main（）函數(shù)的真正的起始位置，而是該位置是一個跳表，用來統(tǒng)一管理各個函數(shù)的地址。從圖3中看到，有一條jmp _main的匯編代碼，這條代碼用來跳向真正的main（）函數(shù)的地址。在IDA中查看圖3上下位置，可能只能找到這么一條跳轉(zhuǎn)指令。

在圖3的靠下部分有一句注釋為“［00000005 BYTES： COLLAPSED FUNCTION j__test. PRESS KEYPAD “+” TO EXPAND］”。這里是可以展開的，在該注釋上單擊右鍵，出現(xiàn)右鍵菜單后選擇“Unhide”項，則可以看到被隱藏的跳表項，如圖4所示。

圖4 展開后的跳表

在實際的反匯編代碼時，jmp _main和jmp _test是緊挨著的兩條指令，而且jmp后面是兩個地址。這里的顯示函數(shù)形式、_main和_test是由IDA進行處理的。在OD下觀察跳表的形式，如圖5所示。

圖5 OD中跳表的指令位置

并不是每個程序都能被IDA識別出跳轉(zhuǎn)到main（）函數(shù)的跳表項，而且程序的入口點也并非main（）函數(shù)。首先來看一下程序的入口函數(shù)位置。在IDA上單擊窗口選項卡，選擇“Exports”窗口（Exports窗口是導(dǎo)出窗口，用于查看導(dǎo)出函數(shù)的地址，但是對于EXE程序來說通常是沒有導(dǎo)出函數(shù)的，這里將顯示EXE程序的入口函數(shù)），在“Exports”窗口中可以看到_mainCRTStartup，如圖6所示。

圖6 Exports窗口

雙擊_mainCRTStartup就可以到達啟動函數(shù)的位置了。在C語言中，main（）不是程序運行的第一個函數(shù)，而是程序員編寫程序時的第一個函數(shù)，main（）函數(shù)是由啟動函數(shù)來調(diào)用的。現(xiàn)在看一下_mainCRTStartup函數(shù)的部分反匯編代碼：

.text:004011D0 public _mainCRTStartup.text:004011D0 _mainCRTStartup proc near.text:004011D0.text:004011D0 Code = dword ptr -1Ch.text:004011D0 var_18 = dword ptr -18h.text:004011D0 var_4 = dword ptr -4.text:004011D0.text:004011D0 push ebp.text:004011D1 mov ebp， esp.text:004011D3 push 0FFFFFFFFh.text:004011D5 push offset stru_422148.text:004011DA push offset __except_handler3.text:004011DF mov eax， large fs:0.text:004011E5 push eax.text:004011E6 mov large fs:0， esp.text:004011ED add esp， 0FFFFFFF0h.text:004011F0 push ebx.text:004011F1 push esi.text:004011F2 push edi.text:004011F3 mov ［ebp+var_18］， esp.text:004011F6 call ds：__imp__GetVersion@0 ; GetVersion（）.text:004011FC mov __osver， eax.text:00401201 mov eax， __osver.text:00401206 shr eax， 8.text:00401209 and eax， 0FFh.text:0040120E mov __winminor， eax.text:00401213 mov ecx， __osver.text:00401219 and ecx， 0FFh.text:0040121F mov __winmajor， ecx.text:00401225 mov edx， __winmajor.text:0040122B shl edx， 8.text:0040122E add edx， __winminor.text:00401234 mov __winver， edx.text:0040123A mov eax， __osver.text:0040123F shr eax， 10h.text:00401242 and eax， 0FFFFh.text:00401247 mov __osver， eax.text:0040124C push 0.text:0040124E call __heap_init.text:00401253 add esp， 4.text:00401256 test eax， eax.text:00401258 jnz short loc_401264.text:0040125A push 1Ch.text:0040125C call fast_error_exit.text:00401261; ------------------------------------------------.text:00401261 add esp， 4.text:00401264.text:00401264 loc_401264： ; CODE XREF： _mainCRTStartup+88j.text:00401264 mov ［ebp+var_4］， 0.text:0040126B call __ioinit.text:00401270 call ds：__imp__GetCommandLineA@0 ; GetCommandLineA（）.text:00401276 mov __acmdln， eax.text:0040127B call ___crtGetEnvironmentStringsA.text:00401280 mov __aenvptr， eax.text:00401285 call __setargv.text:0040128A call __setenvp.text:0040128F call __cinit.text:00401294 mov ecx， __environ.text:0040129A mov ___initenv， ecx.text:004012A0 mov edx， __environ.text:004012A6 push edx.text:004012A7 mov eax， ___argv.text:004012AC push eax.text:004012AD mov ecx， ___argc.text:004012B3 push ecx.text:004012B4 call _main_0.text:004012B9 add esp， 0Ch.text:004012BC mov ［ebp+Code］， eax.text:004012BF mov edx， ［ebp+Code］.text:004012C2 push edx ; Code.text:004012C3 call _exit.text:004012C3 _mainCRTStartup endp從反匯編代碼中可以看到，main（）函數(shù)的調(diào)用在004012B4位置處。啟動函數(shù)從004011D0地址處開始，期間調(diào)用GetVersion（）函數(shù)獲得了系統(tǒng)版本號、調(diào)用__heap_init函數(shù)初始化了程序所使用的堆空間、調(diào)用GetCommandLineA（）函數(shù)獲取了命令行參數(shù)、調(diào)用___crtGetEnviro nmentStringsA函數(shù)獲得了環(huán)境變量字符串……在完成一系列啟動所需的工作后，終于在004012B4處調(diào)用了_main_0。由于這里使用的是調(diào)試版且有PDB文件，因此在反匯編代碼中直接顯示出程序中的符號，在分析其他程序時是沒有PDB文件的，這樣_main_0就會顯示為一個地址，而不是一個符號。不過依然可以通過規(guī)律來找到_main_0所在的位置。

沒有PDB文件，如何找到_main_0所在的位置呢？在VC6中，啟動函數(shù)會依次調(diào)用GetVersion（）、GetCommandLineA（）、GetEnvironmentStringsA（）等函數(shù)，而這一系列函數(shù)即是一串明顯的特征。在調(diào)用完GetEnvironmentStringsA（）后，不遠處會有3個push操作，分別是main（）函數(shù)的3個參數(shù)，代碼如下：

.text:004012A0 mov edx， __environ.text:004012A6 push edx.text:004012A7 mov eax， ___argv.text:004012AC push eax.text:004012AD mov ecx， ___argc.text:004012B3 push ecx.text:004012B4 call _main_0該反匯編代碼對應(yīng)的C代碼如下：

#ifdef WPRFLAG __winitenv = _wenviron; mainret = wmain（__argc， __wargv， _wenviron）;#else /* WPRFLAG */ __initenv = _environ; mainret = main（__argc， __argv， _environ）;#endif /* WPRFLAG */該部分代碼是從CRT0.C中得到的，可以看到啟動函數(shù)在調(diào)用main（）函數(shù)時有3個參數(shù)。

接著上面的內(nèi)容，在3個push操作后的第1個call處，即是_main_0函數(shù)的地址。往_main_0下面看，_main_0后地址為004012C3的指令為call _exit。確定了程序是由VC6編寫的，那么找到對_exit的調(diào)用后，往上找一個call指令就找到_main_0所對應(yīng)的地址。大家可以依照該方法進行測試。

在順利找到_main_0函數(shù)后，直接雙擊反匯編的_main_0，到達函數(shù)跳轉(zhuǎn)表處。在跳轉(zhuǎn)表中雙擊_main，即可到真正的_main函數(shù)的反匯編代碼處。_main函數(shù)的返匯編代碼如下：

.text:004010A0 _main proc near ; CODE XREF： _main_0j.text:004010A0.text:004010A0 var_44 = byte ptr -44h.text:004010A0 var_4 = dword ptr -4.text:004010A0.text:004010A0 push ebp.text:004010A1 mov ebp， esp.text:004010A3 sub esp， 44h.text:004010A6 push ebx.text:004010A7 push esi.text:004010A8 push edi.text:004010A9 lea edi， ［ebp+var_44］.text:004010AC mov ecx， 11h.text:004010B1 mov eax， 0CCCCCCCCh.text:004010B6 rep stosd.text:004010B8 push 6.text:004010BA push offset aHello ; “hello”.text:004010BF call j__test.text:004010C4 add esp， 8.text:004010C7 mov ［ebp+var_4］， eax.text:004010CA mov eax， ［ebp+var_4］.text:004010CD push eax.text:004010CE push offset aD ; “%d ”.text:004010D3 call _printf.text:004010D8 add esp， 8.text:004010DB xor eax， eax.text:004010DD pop edi.text:004010DE pop esi.text:004010DF pop ebx.text:004010E0 add esp， 44h.text:004010E3 cmp ebp， esp.text:004010E5 call __chkesp.text:004010EA mov esp， ebp.text:004010EC pop ebp.text:004010ED retn.text:004010ED _main endp短短幾行C語言代碼，在編譯連接生成可執(zhí)行文件后，再進行反匯編竟然生成了比C語言代碼多很多的代碼。仔細觀察上面的反匯編代碼，通過特征可以確定這是寫的主函數(shù)，首先代碼中有一個對test（）函數(shù)的調(diào)用在004010BF地址處，其次有一個對printf（）函數(shù)的調(diào)用在004010D3地址處。_main函數(shù)的入口部分代碼如下：

.text:004010A0 push ebp.text:004010A1 mov ebp， esp.text:004010A3 sub esp， 44h.text:004010A6 push ebx.text:004010A7 push esi.text:004010A8 push edi.text:004010A9 lea edi， ［ebp+var_44］.text:004010AC mov ecx， 11h.text:004010B1 mov eax， 0CCCCCCCCh.text:004010B6 rep stosd大多數(shù)函數(shù)的入口處都是push ebp/mov ebp， esp/sub esp， ×××這樣的形式，這幾句代碼完成了保存棧幀，并開辟了當(dāng)前函數(shù)所需的?？臻g。push ebx/push esi/push edi是用來保存幾個關(guān)鍵寄存器的值，以便函數(shù)返回后這幾個寄存器中的值還能在調(diào)用函數(shù)處繼續(xù)使用而沒有被破壞掉。lea edi， ［ebp + var_44］/mov ecx， 11h/move ax ， 0CCCCCCCCh/rep stosd，這幾句代碼是開辟的內(nèi)存空間，全部初始化為0xCC。0xCC被當(dāng)作機器碼來解釋時，其對應(yīng)的匯編指令為int 3，也就是調(diào)用3號斷點中斷來產(chǎn)生一個軟件中斷。將新開辟的棧空間初始化為0xCC，這樣做的好處是方便調(diào)試，尤其是給指針變量的調(diào)試帶來了方便。

以上反匯編代碼是一個固定的形式，唯一會發(fā)生變化的是sub esp， ×××部分，在當(dāng)前反匯編代碼處是sub esp， 44h。在VC6下使用Debug方式編譯，如果當(dāng)前函數(shù)沒有變量，那么該句代碼是sub esp， 40h；如果有一個變量，其代碼是sub esp， 44h；有兩個變量時，為sub esp， 48h。也就是說，通過Debug方式編譯時，函數(shù)分配?？臻g總是開辟了局部變量的空間后又預(yù)留了40h字節(jié)的空間。局部變量都在?？臻g中，棧空間是在進入函數(shù)后臨時開辟的空間，因此局部變量在函數(shù)結(jié)束后就不復(fù)存在了。與函數(shù)入口代碼對應(yīng)的代碼當(dāng)然是出口代碼，其代碼如下：

.text:004010DD pop edi.text:004010DE pop esi.text:004010DF pop ebx.text:004010E0 add esp， 44h.text:004010E3 cmp ebp， esp.text:004010E5 call __chkesp.text:004010EA mov esp， ebp.text:004010EC pop ebp.text:004010ED retn.text:004010ED _main endp函數(shù)的出口部分（或者是函數(shù)返回時的部分）也屬于固定格式，這個格式跟入口的格式基本是對應(yīng)的。首先是pop edi/pop esi/pop ebx，這里是將入口部分保存的幾個關(guān)鍵寄存器的值進行恢復(fù)。push和pop是對堆棧進行操作的指令。堆棧結(jié)構(gòu)的特點是后進先出，或先進后出。因此，在函數(shù)的入口部分的入棧順序是push ebx/push esi/push edi，出棧順序則是倒序pop edi/pop esi/pop ebx?；謴?fù)完寄存器的值后，需要恢復(fù)esp指針的位置，這里的指令是add esp， 44h，將臨時開辟的棧空間釋放掉（這里的釋放只是改變寄存器的值，其中的數(shù)據(jù)并未清除掉），其中44h也是與入口處的44h對應(yīng)的。從入口和出口改變esp寄存器的情況可以看出，棧的方向是由高地址向低地址方向延伸的，開辟空間是將esp做減法操作。mov esp， ebp/pop ebp是恢復(fù)棧幀，retn就返回上層函數(shù)了。在該反匯編代碼中還有一步?jīng)]有講到，也就是cmp ebp， esp/call __chkesp，這兩句是對__chkesp函數(shù)的一個調(diào)用。在Debug方式下編譯，對幾乎所有的函數(shù)調(diào)用完成后都會調(diào)用一次__chkesp。該函數(shù)的功能是用來檢查棧是否平衡，以保證程序的正確性。如果棧不平，會給出錯誤提示。這里做個簡單的測試，在主函數(shù)的return語句前加一條內(nèi)聯(lián)匯編__asm push ebx（只要是改變esp或ebp寄存器值的操作都可以達到效果），然后編譯連接運行，在輸出后會看到一個錯誤的提示，如圖7所示。

圖7 調(diào)用__chkesp后對棧平衡進行檢查后的出錯提示

圖7就是__chkesp函數(shù)在檢測到ebp與esp不平時給出的提示框。該功能只在DEBUG版本中存在。

主函數(shù)的反匯編代碼中還有一部分沒有介紹，反匯編代碼如下：

.text:004010B8 push 6.text:004010BA push offset aHello ; “hello”.text:004010BF call j__test.text:004010C4 add esp， 8.text:004010C7 mov ［ebp+var_4］， eax.text:004010CA mov eax， ［ebp+var_4］.text:004010CD push eax.text:004010CE push offset aD ; “%d ”.text:004010D3 call _printf.text:004010D8 add esp， 8.text:004010DB xor eax， eax首先幾條反匯編代碼是push 6/push offset aHello/call j_test/add esp， 8/mov ［ebp+var_ 4］， eax，這幾條反匯編代碼是主函數(shù)對test（）函數(shù)的調(diào)用。函數(shù)參數(shù)的傳遞可以選擇寄存器或者內(nèi)存。由于寄存器數(shù)量有限，幾乎大部分函數(shù)調(diào)用都是通過內(nèi)存進行傳遞的。當(dāng)參數(shù)使用完成后，需要把參數(shù)所使用的內(nèi)存進行回收。對于VC開發(fā)環(huán)境而言，其默認的調(diào)用約定方式是cdecl。這種函數(shù)調(diào)用約定對參數(shù)的傳遞依靠棧內(nèi)存，在調(diào)用函數(shù)前，會通過壓棧操作將參數(shù)從右往左依次送入棧中。在C代碼中，對test（）函數(shù)的調(diào)用形式如下：

int nNum = test（“hello”， 6）;而對應(yīng)的反匯編代碼為push 6 / push offset aHello / call j_test。從壓棧操作的push指令來看，參數(shù)是從右往左依次入棧的。當(dāng)函數(shù)返回時，需要將參數(shù)使用的空間回收。這里的回收，指的是恢復(fù)esp寄存器的值到函數(shù)調(diào)用前的值。而對于cdecl調(diào)用方式而言，平衡堆棧的操作是由函數(shù)調(diào)用方來做的。從上面的反匯編代碼中可以看到反匯編代碼add esp， 8，它是用于平衡堆棧的。該代碼對應(yīng)的語言為調(diào)用函數(shù)前的兩個push操作，即函數(shù)參數(shù)入棧的操作。

函數(shù)的返回值通常保存在eax寄存器中，這里的返回值是以return語句來完成的返回值，并非以參數(shù)接收的返回值。004010C7地址處的反匯編代碼mov ［ebp+var_4］， eax是將對j_test調(diào)用后的返回值保存在［ebp + var_4］中，這里的［ebp + var_4］就相當(dāng)于C語言代碼中的nNum變量。逆向分析時，可以在IDA中通過快捷鍵N來完成對var_4的重命名。

在對j_test調(diào)用完成并將返回值保存在var_4中后，緊接著push eax/push offset aD/call _printf/add esp， 8的反匯編代碼應(yīng)該就不陌生了。而最后面的xor eax， eax這句代碼是將eax進行清0。因為在C語言代碼中，main（）函數(shù)的返回值為0，即return 0;，因此這里對eax進行了清0操作。

雙擊004010BF地址處的call j__test，會移到j(luò)_test的函數(shù)跳表處，反匯編代碼如下：

.text:0040100A j__test proc near ; CODE XREF： _main+1Fp.text:0040100A jmp _test.text:0040100A j__test endp雙擊跳表中的_test，到如下反匯編處：

.text:00401020 ; int __cdecl test（LPCSTR lpText， int）.text:00401020 _test proc near ; CODE XREF： j__testj.text:00401020.text:00401020 var_40 = byte ptr -40h.text:00401020 lpText = dword ptr 8.text:00401020 arg_4 = dword ptr 0Ch.text:00401020.text:00401020 push ebp.text:00401021 mov ebp， esp.text:00401023 sub esp， 40h.text:00401026 push ebx.text:00401027 push esi.text:00401028 push edi.text:00401029 lea edi， ［ebp+var_40］.text:0040102C mov ecx， 10h.text:00401031 mov eax， 0CCCCCCCCh.text:00401036 rep stosd.text:00401038 mov eax， ［ebp+arg_4］.text:0040103B push eax.text:0040103C mov ecx， ［ebp+lpText］.text:0040103F push ecx.text:00401040 push offset Format ; “%s， %d ”.text:00401045 call _printf.text:0040104A add esp， 0Ch.text:0040104D mov esi， esp.text:0040104F push 0 ; uType.text:00401051 push 0 ; lpCaption.text:00401053 mov edx， ［ebp+lpText］.text:00401056 push edx ; lpText.text:00401057 push 0 ; hWnd.text:00401059 call ds：__imp__MessageBoxA@16 ; MessageBoxA（x，x，x，x）.text:0040105F cmp esi， esp.text:00401061 call __chkesp.text:00401066 mov eax， 5.text:0040106B pop edi.text:0040106C pop esi.text:0040106D pop ebx.text:0040106E add esp， 40h.text:00401071 cmp ebp， esp.text:00401073 call __chkesp.text:00401078 mov esp， ebp.text:0040107A pop ebp.text:0040107B retn.text:0040107B _test endp該反匯編代碼的開頭部分和結(jié)尾部分，這里不再重復(fù)，主要看一下中間的反匯編代碼部分。中間的部分主要是printf（）函數(shù)和MessageBoxA（）函數(shù)的反匯編代碼。

調(diào)用printf（）函數(shù)的反匯編代碼如下：

.text:00401038 mov eax， ［ebp+arg_4］.text:0040103B push eax.text:0040103C mov ecx， ［ebp+lpText］.text:0040103F push ecx.text:00401040 push offset Format ; “%s， %d ”.text:00401045 call _printf.text:0040104A add esp， 0Ch調(diào)用MessageBoxA（）函數(shù)的反匯編代碼如下：

.text:0040104F push 0 ; uType.text:00401051 push 0 ; lpCaption.text:00401053 mov edx， ［ebp+lpText］.text:00401056 push edx ; lpText.text:00401057 push 0 ; hWnd.text:00401059 call ds：__imp__MessageBoxA@16 ; MessageBoxA（x，x，x，x）比較以上簡單的兩段代碼會發(fā)現(xiàn)很多不同之處，首先在調(diào)用完_printf后會有add esp， 0Ch的代碼進行平衡堆棧，而調(diào)用MessageBoxA后沒有。為什么對MessageBoxA函數(shù)的調(diào)用則沒有呢？原因在于，在Windows系統(tǒng)下，對API函數(shù)的調(diào)用都遵循的函數(shù)調(diào)用約定是stdcall。對于stdcall這種調(diào)用約定而言，參數(shù)依然是從右往左依次被送入堆棧，而參數(shù)的平棧是在API函數(shù)內(nèi)完成的，而不是在函數(shù)的調(diào)用方完成的。在OD中看一下MessageBoxA函數(shù)在返回時的平棧方式，如圖8所示。

圖8 MessageBoxA函數(shù)的平棧操作

從圖8中可以看出，MessageBoxA函數(shù)在調(diào)用retn指令后跟了一個10。這里的10是一個16進制數(shù)，16進制的10等于10進制的16。而在為MessageBoxA傳遞參數(shù)時，每個參數(shù)是4字節(jié)，4個參數(shù)等于16字節(jié)，因此retn 10除了有返回的作用外，還包含了add esp， 10的作用。

上面兩段反匯編代碼中除了平衡堆棧的不同外，還有另外一個明顯的區(qū)別。在調(diào)用printf時的指令為call _printf，而調(diào)用MessageBoxA時的指令為call ds：__imp__MessageBoxA@16。printf（）函數(shù)在stdio.h頭文件中，該函數(shù)屬于C語言的靜態(tài)庫，在連接時會將其代碼連接入二進制文件中。而MessageBoxA函數(shù)的實現(xiàn)在user32.dll這個動態(tài)連接庫中。在代碼中，這里只留了進入MessageBoxA函數(shù)的一個地址，并沒有具體的代碼。MessageBoxA的具體地址存放在數(shù)據(jù)節(jié)中，因此在反匯編代碼中給出了提示，使用了前綴“ds：”?！癬_imp__”表示導(dǎo)入函數(shù)。MessageBoxA后面的“@16”表示該API函數(shù)有4個參數(shù)，即16 / 4 = 4。

多參的API函數(shù)仍然在調(diào)用方進行平棧，比如wsprintf（）函數(shù)。原因在于，被調(diào)用的函數(shù)無法具體明確調(diào)用方會傳遞幾個參數(shù)，因此多參函數(shù)無法在函數(shù)內(nèi)完成參數(shù)的堆棧平衡工作。

stdcall是Windows下的標(biāo)準(zhǔn)函數(shù)調(diào)用約定。Windows提供的應(yīng)用層及內(nèi)核層函數(shù)均使用stdcall的調(diào)用約定方式。cdecl是C語言的調(diào)用函數(shù)約定方式。

3. 結(jié)語

在逆向分析函數(shù)時，首先需要確定函數(shù)的起始位置，這通常會由IDA自動進行識別（識別不準(zhǔn)確的話，就只能手動識別了）；其次需要掌握函數(shù)的調(diào)用約定和確定函數(shù)的參數(shù)個數(shù)，確定函數(shù)的調(diào)用約定和參數(shù)個數(shù)都是通過平棧的方式和平棧時對esp操作的值來進行判斷的；最后就是觀察函數(shù)的返回值，這部分通常就是觀察eax的值，由于return通常只返回布爾類型、數(shù)值類型相關(guān)的值，因此通過觀察eax的值可以確定返回值的類型，確定了返回值的類型后，可以進一步考慮函數(shù)調(diào)用方下一步的動作。

來源：計算機與網(wǎng)絡(luò)安全