Verwenden dieses Beispiel aus Wikipedia, in der DrawSquare() DrawLine() aufruft,
(Beachten Sie, dass dieses Diagramm hohe Adressen unten und niedrige Adressen oben hat.)
Kann mir jemand erklären was ebp und esp stehen in diesem Zusammenhang?
Von dem, was ich sehe, würde ich sagen, dass der Stapelzeiger immer auf den Anfang des Stapels zeigt und der Basiszeiger auf den Anfang der aktuellen Funktion? Oder was?
edit: Ich meine das im Zusammenhang mit Windows-Programmen
edit2: Und wie funktioniert eip auch arbeiten?
edit3: Ich habe den folgenden Code von MSVC++:
var_C= dword ptr -0Ch
var_8= dword ptr -8
var_4= dword ptr -4
hInstance= dword ptr 8
hPrevInstance= dword ptr 0Ch
lpCmdLine= dword ptr 10h
nShowCmd= dword ptr 14h
Alle von ihnen scheinen Dwords zu sein und nehmen somit jeweils 4 Bytes ein. Ich kann also sehen, dass es eine Lücke von hInstance zu var_4 von 4 Bytes gibt. Was sind Sie? Ich nehme an, es ist die Absenderadresse, wie auf dem Bild von Wikipedia zu sehen ist?
(Anmerkung des Herausgebers: ein langes Zitat aus Michaels Antwort entfernt, das nicht in die Frage gehört, aber eine Folgefrage wurde bearbeitet):
Dies liegt daran, dass der Ablauf des Funktionsaufrufs ist:
* Push parameters (hInstance, etc.)
* Call function, which pushes return address
* Push ebp
* Allocate space for locals
Meine Frage (zuletzt, hoffe ich!) ist jetzt, was genau passiert von dem Moment an, in dem ich die Argumente der Funktion, die ich aufrufen möchte, bis zum Ende des Prologs platziere? Ich möchte wissen, wie sich ebp, esp in diesen Momenten entwickeln (ich habe bereits verstanden, wie der Prolog funktioniert, ich möchte nur wissen, was passiert, nachdem ich die Argumente auf den Stapel und vor den Prolog verschoben habe).
Eine wichtige Sache, die zu beachten ist, ist, dass der Stack im Speicher “nach unten” wächst. Das heißt, um den Stapelzeiger nach oben zu bewegen, verringern Sie seinen Wert.
– BS
8. September 2009 um 19:07 Uhr
Ein Hinweis, um zu unterscheiden, was EBP/ESP und EIP tun: EBP und ESP beschäftigen sich mit Daten, während sich EIP mit Code befasst.
– mmmmmmmm
8. September 2009 um 19:19 Uhr
In Ihrem Diagramm ist ebp (normalerweise) der “Frame-Zeiger”, insbesondere der “Stack-Zeiger”. Dies ermöglicht den Zugriff auf Einheimische über [ebp-x] und Stapelparameter über [ebp+x] konsistent, unabhängig vom Stapelzeiger (der sich innerhalb einer Funktion häufig ändert). Die Adressierung könnte über ESP erfolgen, wodurch EBP für andere Operationen freigegeben wird – aber auf diese Weise können Debugger den Aufrufstapel oder die Werte von Einheimischen nicht mitteilen.
– Peterchen
8. September 2009 um 19:31 Uhr
@ Ben. Nicht unbedingt. Einige Compiler legen Stack-Frames in den Heap. Das Konzept des Stack-Wachstums ist genau das, ein Konzept, das es leicht verständlich macht. Die Implementierung des Stapels kann beliebig sein (die Verwendung zufälliger Teile des Stapels macht Hacks, die Teile des Stapels überschreiben, viel schwieriger, da sie nicht so deterministisch sind).
– Martin York
8. September 2009 um 20:06 Uhr
In zwei Worten: Stapelzeiger ermöglichen Push/Pop-Operationen zu funktionieren (damit Push und Pop wissen, wo Daten abgelegt/abgeholt werden sollen). Der Basiszeiger ermöglicht es dem Code, unabhängig auf Daten zu verweisen, die zuvor auf dem Stapel abgelegt wurden.
– tigrou
4. September 2013 um 9:39 Uhr