ソフトウェア設計及び演習2013 - スタックの検査（backtrace, frame）

スタックの検査（backtrace, frame）

no archive mode

!!! スタックの検査 [backtrace, frame]

プログラムにおいて，ある関数に対する1回の呼び出しが発生した場所，関数への引数，関数内部のローカル変数などを含む情報は，スタック・フレームと呼ばれるメモリ域に保存される．

先ほどと同様に，実行ファイルを引数として gdb を起動させる．
8<
$ gdb test1
...
>8
change 関数にブレークポイントを設定する．
8<
(gdb) break change
Breakpoint 1 at 0x400688: file test1.c, line 34.
>8
run コマンドでプログラムを実行して，continue コマンドを2回使用する．
8<
(gdb) run
Starting program: /home/staff/luxin/OLD/program1/test1
3       2       1

Breakpoint 1, change (x=0x601028, j=2) at test1.c:34
34                 j-1, x[j-1], j, x[j]);
(gdb) continue
Continuing.
x[1] = 2 <-> x[2] = 1

Breakpoint 1, change (x=0x601028, j=1) at test1.c:34
34                 j-1, x[j-1], j, x[j]);
(gdb) continue
Continuing.
x[0] = 3 <-> x[1] = 1
1       3       2

Breakpoint 1, change (x=0x601028, j=2) at test1.c:34
34                 j-1, x[j-1], j, x[j]);
>8
backtrace コマンドを実行することによって，フレームの要約情報を表示する．
表示されたフレームは，プログラムが現在いる場所にどのように到達したかを示す．
8<
(gdb) backtrace
+0  change (x=0x601028, j=2) at test1.c:34
+1  0x00000000004005a4 in sort (x=0x601028, n=3) at test1.c:15
+2  0x00000000004006f3 in main () at test1.c:39
>8
各関数を中心として、そのまわりの10行を表示する． 
8<
(gdb) list 34
29          printf("\n");
30      }
31
32      void change(int x[], int j) {
33          printf("x[%d] = %d <-> x[%d] = %d\n",
34                 j-1, x[j-1], j, x[j]);
35      }
36
37      void main(void) {
38          show(x, NUM);
>8
frame コマンドを使用して，任意のフレームについての情報を取得する．
8<
(gdb) frame 0
+0  change (x=0x601028, j=2) at test1.c:34
34                 j-1, x[j-1], j, x[j]);
(gdb) print j
$1 = 2
(gdb) frame 1
+1  0x00000000004005a4 in sort (x=0x601028, n=3) at test1.c:15
15                      change(x, j);
(gdb) print j
$2 = 2
(gdb) frame 2
+2  0x00000000004006f3 in main () at test1.c:39
39          sort(x, NUM);
(gdb) print j
No symbol "j" in current context.
>8
continue コマンドを使用してプログラムの最後まで実行して，quit コマンドで gdb を終了させる．
8<
(gdb) continue
Continuing.
x[1] = 3 <-> x[2] = 2
1       2       3

Program exited with code 02.
(gdb) quit
>8

Tag:

Attachment

New: append-tag

Edit

スタックの検査（backtrace, frame）

Attachment

Syntax Help

URL Link

Page Link

Image or Attachment

Text Decoration

Special Letter

Headline

Itemize

Enumerate

Table

Description

Quotation

Preformatted text