Re: [問題] 關於 stack 和 function 的問題

看板ASM (組合語言)作者b0920075 (Void)時間6年前 (2018/09/01 00:59)推噓1(1推 0噓 0→)

留言1則, 1人參與討論串2/2 (看更多)

※ 引述《gn00618777 (非常念舊)》之銘言： : 裡面牽扯一些組語，應該多少沾到邊.. : 首先，我為我天資駑鈍感到抱歉，翻了google 好幾頁，我仍然看不懂。 : stack 從上往下長 (高位址 -> 低位址) : step1 caller 會將 callee 的 parameters 推入 stack : step2 caller 將 callee 的 return address 推入 stack : step3 .. : 問題1: ESP 指向 stack top，所以 pop 時，會先從 local variable 拿出並歸還空間。 : 那拿出 return address 要幹嘛? 直接返回了嗎? 那這樣一開始放的 : parameters不就沒處理到? 當你進到一個function時，在x86是沒有一個register保存return address的，那當你執行 function內的指令要返回時要怎麼知道當初是從哪裡跳進來的？所以在call function的時後會把call這個指令的下一條指令地址push進stack，好讓電腦結束function準備返回時可以透過ret這個指令從stack中pop出return address給eip來回到當初進入function的下一個指令。這邊的ret其實相當於pop eip 至於parameters......就留在caller的frame裡面，我不知道你的處不處理是什麼意思XD : 問題2: EBP呢? EBP定義是指向目前的 frame : 會怎樣運作? 我知道 ESP 每次 pop，他就會 ESP = ESP - 4，那 EBP 呢? : 高位址 : +--------------------+ : + parameters + : +--------------------+ : + return address + : +--------------------+ : EBP -> + previous frame + ------ : +--------------------+ | : ESP -> + local variable + | : +--------------------+ | : + parameters + | : +--------------------+ | : + return address + | : +--------------------+ | : + previous frame + <----- : +--------------------+ : + local variable + : +--------------------+ : 低位址 : 謝謝。 ebp是標出目前這個frame的基底在哪，應該可以說是當前function能用的空間，通常在取用一個變數的時候會透過像是mov eax, [ebp - 0x10]的方式來拿，就是以ebp當基準點的意思，當function return的時候也需要ebp指向的地址來回到caller的frame，另外return addr ess也是以ebp當作基準點，ebp一旦指向的值有人為的改變都會嚴重影響整個程式流程如果是pop ebp，除了ebp = *esp外，esp還會+4表示被pop掉，但如果是其他register那就完全不甘ebp的事，甚至你可以一直pop到esp比ebp地址還高XD 另外你的圖畫錯了，正常來說previous frame應該是存更高地址，不會指到低地址去，但如果是指overflow改掉ebp指到的值的話當我沒說XD 這部分要弄懂我覺得可以先理解function prologue、function epilogue，前者用於開闢一個stack frame，後者用於回收stack frame回復到caller的frame，當然還有傳參數和call 這個指令做了哪些事情另外再配合gdb之類的debugger，自己寫一個小範例把傳參數到call function再return的過程紀錄並理解之間的變化關係，應該就能很清楚了，我自己是這樣摸出來的啦 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.161.91.64 ※ 文章網址: https://www.ptt.cc/bbs/ASM/M.1535734762.A.2C5.html