質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
87.20%
アセンブリ言語

アセンブリ言語とは、機械語を人間にわかりやすい形で記述した低水準言語です。

解決済

アセンブラでのスタック領域の確保のされ方について

k-taguchi
k-taguchi

総合スコア9

アセンブリ言語

アセンブリ言語とは、機械語を人間にわかりやすい形で記述した低水準言語です。

4回答

0評価

0クリップ

1527閲覧

投稿2020/09/03 14:03

知りたいこと

x86-64で、スタックフレームの確保され方を知りたいです。

x86-64 gcc8.1で以下のコードをコンパイルします。
コンパイルオプションは-O0(最適化なし)をつけています。

c

#include <stdio.h> #include <string.h> void vuln(char *pass){ char buf[50]; strcpy(buf, pass); } int main(int argc, char** argv){ vuln(argv[1]); return 0; }

ディスアセンブルした結果が以下になります。

vuln: push rbp mov rbp, rsp sub rsp, 80 mov QWORD PTR [rbp-72], rdi mov rdx, QWORD PTR [rbp-72] lea rax, [rbp-64] mov rsi, rdx mov rdi, rax call strcpy nop leave ret main: push rbp mov rbp, rsp sub rsp, 16 mov DWORD PTR [rbp-4], edi mov QWORD PTR [rbp-16], rsi mov rax, QWORD PTR [rbp-16] add rax, 8 mov rax, QWORD PTR [rax] mov rdi, rax call vuln mov eax, 0 leave ret

この時、関数vulnではスタックフレームは80バイト分確保されていることがわかります。

vuln: push rbp mov rbp, rsp sub rsp, 80 ← ここ

元のCのコードでは、buf[50]と記載されている通り、バッファは50バイト分しか確保していません。

スタックフレームの確保のされ方のルールをご教授ください。
または、そのルールが記載されているドキュメントがございましたら、ご教授いただけると幸いです。

良い質問の評価を上げる

以下のような質問は評価を上げましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

  • プログラミングに関係のない質問
  • やってほしいことだけを記載した丸投げの質問
  • 問題・課題が含まれていない質問
  • 意図的に内容が抹消された質問
  • 過去に投稿した質問と同じ内容の質問
  • 広告と受け取られるような投稿

評価を下げると、トップページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

まだ回答がついていません

会員登録して回答してみよう

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
87.20%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

アセンブリ言語

アセンブリ言語とは、機械語を人間にわかりやすい形で記述した低水準言語です。