|
Jim Chan
摘要：本文說明高級語言編譯成匯編語言后，高級語言中函數調用的匯編程序過程。
正文：高級語言編譯成匯編程序以后，在高級語言中的函數調用的匯編程序過程如下：
1.將函數參數入棧，第一個參數在棧頂，最后一個參數在棧底。
2.執行CALL指令，調用該函數，進入該函數代碼空間。
a.執行CALL指令，將CALL指令下一行代碼的地址入棧。
b.進入函數代碼空間后，將基址指針EBP入棧，然后讓基址指針EBP指向當前堆棧棧頂，并使用它訪問存在堆棧中的函數輸入參數及堆棧中的其他數據。
c.堆棧指針ESP減少一個值，如44H，向上移動一個距離，留出一個空間給該函數作為臨時存儲區。
{
// 以上準備工作做好后，函數正式被執行，如下所示。
d.將其他指針或寄存器中的值入棧，以便在函數中使用這些寄存器。
e.執行代碼。
f.執行return()返回執行結果，將要返回的值存入EAX中。
g.步驟2.d中的指針出棧。
}
h.將EBP的值傳給堆棧指針ESP，使ESP復原為2.c之前的值。此時進入函數時EBP的值在棧頂。
i.基址指針EBP出棧，復原為2.b之前的EBP的值。
j.執行RET指令，“調用函數”的地址出棧，本函數返回到CALL指令的下一行。
3.函數返回到CALL指令下一行，將堆棧指針加一個數值，以使堆棧指針恢復到以上步驟1執行之前的值。該數值是上面第一步入棧參數的總長度。
注意：
1.堆棧指針ESP指向棧頂的新入棧數據的最低位。
2.MOV指令中偏移指針指向被“MOV”的數據的最低位。如下面指令是將ebp+8到ebp+11四個字節的內容傳到eax寄存器中。
00402048 mov eax,dword ptr [ebp+8]
一個例子如下：
高級語言代碼中的函數調用如下：
117: bR = t1(p);
匯編代碼如下：
00401FB8 mov ecx,dword ptr [ebp-8] ;將參數放入ecx寄存器
00401FBB push ecx ;參數入棧
00401FBC call @ILT+10(t1) (0040100f) ;函數調用,下一行地址00401FC1入棧
00401FC1 add esp,4 ;函數返回,堆棧指針加4,復原為00401FB8時的值
00401FC4 mov dword ptr [ebp-10h],eax ;從eax中取出高級語言中的函數返回值,放入bR變量中
其中t1函數如下：
125: BOOL t1(void* p)
126: {
00402030 push ebp ;ebp入棧
00402031 mov ebp,esp ;ebp指向此時堆棧的棧頂
00402033 sub esp,44h ;esp減少一個值,空出一段存儲區
00402036 push ebx ;將三個寄存器的值入棧,以便在函數中使用它
00402037 push esi ;
00402038 push edi ;
00402039 lea edi,[ebp-44h] ;
0040203C mov ecx,11h ;
00402041 mov eax,0CCCCCCCCh ;
00402046 rep stos dword ptr [edi] ;
127: int* q = (int*)p; ;
00402048 mov eax,dword ptr [ebp+8] ;ebp+8指向函數輸入參數的最低位地址;
;如果是ebp+4則指向函數返回地址00401FC1的最低位,值為C1
0040204B mov dword ptr [ebp-4],eax ;
128: return 0; ;
0040204E xor eax,eax ;返回值放入eax寄存器中
129: }
00402050 pop edi ;三個寄存器出棧
00402051 pop esi ;
00402052 pop ebx ;
00402053 mov esp,ebp ;esp復原
00402055 pop ebp ;ebp出棧,它的值也復原了
00402056 ret ;返回到此時棧頂存儲的代碼地址:00401FC1
;故而如果不幸被修改了返回地址,程序就會出現意外
以上匯編代碼由VC++6.0編譯得到。
堆棧在EBP入棧后的情況：
低位 高位
↓ ↓
內存地址 堆棧
┆ ┆
0012F600├──────┤← edi = 0012F600
│ │
0012F604├─┄┄┄┄─┤
│ │
│ │
┆ 44h的空間 ┆
┆ ┆
│ │
│ │
0012F640├─┄┄┄┄─┤
│ │
0012F644├──────┤← ebp被賦值后指向該單元,此時ebp=0012F644
│AC F6 12 00 │ebp賦值為esp之前的值
0012F648├──────┤
│C1 1F 40 00 │返回地址
0012F64C├──────┤← ebp + 8
│A0 F6 12 00 │函數實參p的值
0012F650├──────┤
│ │
├──────┤
┆ ┆
注：存儲器存儲空間堆棧按從高到低的排列，左邊標注的地址是其右下方存儲單元的最低位地址。如0012F644指向0012F6AC的AC字節，AC在棧頂。圖中存儲器中的內容按從低到高位書寫，“AC F6 12 00”= 0x0012F6AC
|
