然后，將主調(diào)函數(shù)EBP棧幀基地址壓入棧幀，用于還原現(xiàn)場(chǎng)。并把ESP賦值給EBP，使EBP成為被調(diào)函數(shù)的棧幀基地址。

繼續(xù)，改變SP的值，給被調(diào)函數(shù)局部變量預(yù)留空間。

這時(shí)候，EBP指向被調(diào)函數(shù)的棧底，向上是主調(diào)函數(shù)返回地址，向下是局部變量。該地址還保存主調(diào)函數(shù)的棧幀基址。

函數(shù)調(diào)用結(jié)束后，EBP賦值給ESP，使ESP指向被調(diào)函數(shù)棧底，釋放被調(diào)函數(shù)局部變量。再將主調(diào)函數(shù)棧幀基地址彈出給EBP，并彈出返回地址到EIP。

堆棧操作

函數(shù)調(diào)用流程

函數(shù)調(diào)用時(shí)的具體操作：

1. 主調(diào)函數(shù)按照約定，將參數(shù)壓入棧中。（x86將參數(shù)壓入棧幀，x86_64具有16個(gè)通用寄存器，前六個(gè)參數(shù)通常由寄存器保存，其余參數(shù)壓入棧中。）
2. 主調(diào)函數(shù)將控制權(quán)轉(zhuǎn)給被調(diào)函數(shù)，返回地址（EIP）保存在棧中（在call指令中執(zhí)行）。
3. 被調(diào)函數(shù)設(shè)置棧幀基址，即用ESP給EBP賦值。
4. 若有必要，保存被調(diào)函數(shù)希望保持的寄存器的數(shù)據(jù)。
5. 被調(diào)函數(shù)修改棧頂指針，為局部變量預(yù)留空間。并向低地址方向開(kāi)始存放局部變量和臨時(shí)變量。
6. 被調(diào)函數(shù)執(zhí)行任務(wù)，若被調(diào)函數(shù)返回值，一般存放在EAX中。
7. 棧頂指針指向EBP，釋放局部變量空間。
8. 恢復(fù)4中保存的主調(diào)函數(shù)寄存器中的數(shù)據(jù)。并恢復(fù)3中的棧幀基址。
9. 被調(diào)函數(shù)控制權(quán)交還給主調(diào)函數(shù)（ret指令），也可能清除參數(shù)。
10. 主調(diào)函數(shù)得到控制器，可能將棧上的參數(shù)清除。

函數(shù)調(diào)用常用命令

壓棧（push）：棧頂指針減小4個(gè)字節(jié)，以字節(jié)為單位將數(shù)據(jù)壓入棧中。（不足補(bǔ)0）

出棧（pop）：棧頂指針數(shù)據(jù)被取回，ESP增大4個(gè)字節(jié)。

調(diào)用（call）：將EIP（call的下一條指令地址）壓入棧幀，然后EIP指向被調(diào)函數(shù)代碼開(kāi)始處。

離開(kāi)（leave）：恢復(fù)主調(diào)函數(shù)棧幀，等價(jià)于 mov ebp esp 、pop ebp

返回（ret）：與call對(duì)應(yīng)，從棧頂彈出返回地址給EIP。繼續(xù)執(zhí)行程序。

C調(diào)用約定典型的函數(shù)序和函數(shù)跋如下：

C語(yǔ)言函數(shù)調(diào)用的兩種壓棧方式：

兩種壓棧方式區(qū)別：

方式一是傳統(tǒng)方式，一個(gè)參數(shù)一個(gè)參數(shù)的壓棧，然后調(diào)用，最后釋放棧。

方式二是預(yù)先開(kāi)辟空間，然后將參數(shù)復(fù)制到空間，最后沒(méi)有回收空間。

函數(shù)調(diào)用約定

創(chuàng)建棧幀最重要的步驟是參數(shù)的傳遞。函數(shù)選擇特定調(diào)用約定，以特定方式進(jìn)行參數(shù)傳遞。調(diào)用約定還規(guī)定在函數(shù)調(diào)用結(jié)束后，由主調(diào)函數(shù)還是被調(diào)函數(shù)對(duì)棧進(jìn)行清理。

函數(shù)調(diào)用約定包括以下方面：

• 函數(shù)參數(shù)傳遞順序和方式
• 棧的維護(hù)方式
• 名字修飾策略

常見(jiàn)調(diào)用約定

cdecl調(diào)用約定

別名 C調(diào)用約定，C/C++編譯器默認(rèn)調(diào)用約定。

所有非C++成員函數(shù)，和未使用stdcall、fastcall聲明的函數(shù)默認(rèn)都是cdecl調(diào)用。

參數(shù)按照從右向左的順序入棧，主調(diào)函數(shù)負(fù)責(zé)清空棧，返回值保存在EAX中。

cdecl調(diào)用支持可變參數(shù)函數(shù)，對(duì)于C函數(shù)，名字修飾是在函數(shù)名前加 _ 。

對(duì)于C++，除非使用**extern"C"**修飾，否則有不同的名字修飾方法。

stdcall調(diào)用約定（微軟命名）

Pascal程序缺省調(diào)用方式，WinAPI也多采用該調(diào)用約定。

參數(shù)從右向左入棧，被調(diào)函數(shù)負(fù)責(zé)清空棧，返回值保存在EAX。

stdcall僅適用于參數(shù)個(gè)數(shù)固定的函數(shù)，因?yàn)楸徽{(diào)函數(shù)無(wú)法知道棧上參數(shù)個(gè)數(shù)。

C函數(shù)中，stdcall的名字修飾是在名字前加_，在名字后加@和參數(shù)大小。

fastcall調(diào)用約定

stdcall的變形，通常使用ECX、EDX寄存器傳遞前兩個(gè)DWORD（四字節(jié)雙字）類(lèi)型或更少的字節(jié)的函數(shù)參數(shù)，其余從右向左入棧。

被調(diào)函數(shù)負(fù)責(zé)清空棧中參數(shù)。返回值保存在EAX中。

函數(shù)名兩邊使用@修飾，并在后面用十進(jìn)制表示參數(shù)列表大?。ㄗ止?jié)）。

thiscall調(diào)用約定

C++類(lèi)的非靜態(tài)成員函數(shù)必須接收一個(gè)主調(diào)對(duì)象的指針（this指針），并頻繁的使用該指針。編譯器默認(rèn)使用thiscall調(diào)用約定提高調(diào)用效率。

參數(shù)按照從右向左的順序入棧。

若參數(shù)數(shù)目固定，this指針通過(guò)ECX傳遞，被調(diào)函數(shù)負(fù)責(zé)清理堆棧。

若參數(shù)數(shù)目不固定，this指針在所有參數(shù)入棧后再入棧，主調(diào)函數(shù)清理堆棧。

thiscall不是C++關(guān)鍵字，不能用于修飾函數(shù)，只能由編譯器使用。

naked call調(diào)用約定

naked call調(diào)用，編譯器不產(chǎn)生保存和恢復(fù)寄存器的代碼。也不能使用return語(yǔ)句。

只能使用內(nèi)嵌的匯編返回結(jié)果。用于某些特殊場(chǎng)合，如非C/C++上下文中的函數(shù)，程序員需自行編寫(xiě)初始化和清棧的內(nèi)嵌匯編指令。

pascal調(diào)用約定

Pascal語(yǔ)言調(diào)用約定，參數(shù)從右向左入棧。只支持固定數(shù)量參數(shù)。

被調(diào)函數(shù)清理堆棧，函數(shù)名稱(chēng)無(wú)修飾且全部大寫(xiě)。

上述約定的特點(diǎn)：

Windows下可直接在函數(shù)聲明前添加關(guān)鍵字__stdcall、__cdecl或__fastcall等標(biāo)識(shí)確定函數(shù)的調(diào)用方式，如int __stdcall func()。

Linux下可借用函數(shù)attribute 機(jī)制，如int attribute((stdcall)) func()。

被調(diào)函數(shù)CalleeFunc分別聲明為cdecl、stdcall和fastcall約定時(shí)，匯編代碼比較：

調(diào)用約定影響

不同編譯器產(chǎn)生棧幀的方式不盡相同，主調(diào)函數(shù)不一定能完成清理堆棧的工作，而被調(diào)函數(shù)一定可以。

同時(shí)，為了保證不同平臺(tái)堆棧正常，一般使用stdcall調(diào)用。（通常用于A語(yǔ)言調(diào)用B語(yǔ)言函數(shù)）

此外，主調(diào)函數(shù)和被調(diào)函數(shù)采用相同調(diào)用約定，但分別使用C和C++時(shí)，會(huì)出現(xiàn)鏈接錯(cuò)誤。

這是因?yàn)椋簝煞N語(yǔ)言函數(shù)名稱(chēng)修飾符不一樣。解決方法是使用**extern “C”**修飾被調(diào)函數(shù)。

同時(shí)應(yīng)該考慮，被調(diào)函數(shù)也有可能是C++編譯的。通常這樣聲明頭文件：

#ifdef _cplusplus
     extern "C" {
#endif
     type Func(type para);
#ifdef _cplusplus
     }
#endif

x86函數(shù)傳遞參數(shù)方法

x86處理器的ABI規(guī)范中規(guī)定，所有參數(shù)從右向左壓入棧中。

整型和指針參數(shù)傳遞

整型參數(shù)與指針參數(shù)傳遞方式相同，在32位的x86處理器上整型與指針大小相同（四個(gè)字節(jié)）。

下表給出這兩種類(lèi)型在棧幀中位置關(guān)系：

浮點(diǎn)參數(shù)傳遞

浮點(diǎn)參數(shù)的傳遞與整型類(lèi)似，區(qū)別在于參數(shù)大小。

x86處理器中浮點(diǎn)類(lèi)型占8個(gè)字節(jié)，因此在棧中也需要占8個(gè)字節(jié)。

下表給出浮點(diǎn)參數(shù)在棧中位置關(guān)系：

結(jié)構(gòu)體和聯(lián)合體參數(shù)傳遞

結(jié)構(gòu)體和聯(lián)合體的傳遞與整型、浮點(diǎn)型類(lèi)似，只是占用大小不同。

x86處理器棧寬是4字節(jié)，故結(jié)構(gòu)體在棧上大小是4的倍數(shù)。