スタックはWindows関数呼び出しでどのように設定されますか？

Question

はじめに、私は、機能的なアセンブリプログラマであることを知るために必要なことの大部分を理解するために、アセンブリの十分な背景を持っていると言いたいと思います。残念ながら、Windows API呼び出しが戻りアドレスの観点からどのように機能するかはわかりません。ここで

は、使用してWindows用のガスアセンブリで書かれたいくつかのサンプルコードですMinGWの者として、このコードはコンパイルされ、組み立て後に実行

.extern _ExitProcess@4 
    .text 
    .globl _main 
_main: 
    pushl $0 
    call _ExitProcess@4 

アセンブラ、リンカなどのMinGWのLD ... ...など

as program.s -o program.o 

私の理解、WindowsのAPIから

そして、それを結ぶ...

ld program.o -o program.exe -lkernel32 

上記のように、呼び出しはプッシュ命令を介して引数を受け取ります。その後、通話中。

call _ExitProcess@4 

関数の戻りアドレスがスタックに配置されます。そして、これが私が混乱しているところです。この関数は、すべての引数をスタックからポップします。

私は、スタックが最初に出てくるので、スタックの引数をポップしているときに、最初にリターンアドレスをポップするので、私は混乱しています。議論が最初に来て、リターンアドレスが次に来たので、それは技術的に最初に破棄されるだろう。

私の質問は、プッシュ操作を介して引数をスタックに配置された関数呼び出しと戻りアドレスに渡した後、スタックのレイアウトがどのように見えるかです。引数と戻りアドレスは、実行される関数によってどのようにスタックからポップされますか？最後に、戻りアドレスがスタックからポップされ、関数呼び出しは戻りアドレスで指定されたアドレスに戻りますか？

Answer 1

ほとんどすべてのWindows API関数はstdcall calling conventionを使用します。これは通常の "cdecl"のような働きをしますが、呼び出された関数が引数を取り除く責任を負っていることを除いては、これは正常に動作します。これは、オプションの即値オペランドをとるRET命令を使用して行います。このオペランドは、最初に戻り値をポップした後にスタックをポップアウトするバイト数です。

cdeclとstdcallの両方の呼び出し規約では、関数の実行中に関数の引数がスタックからポップされません。それらはスタックに残され、ESPまたはEBP相対アドレス指定を使用してアクセスされます。したがって、ExitProcessがその引数にアクセスする必要があるときは、mov 4(%esp), %eaxまたはmov 4(%ebp), %eaxのような命令を使用します。