5

の出力を見ると、objdump -d ELFfile直接ジャンプ/呼び出しと間接ジャンプ/呼び出しを区別できませんでした。助言がありますか？

4

2 に答える 2

6

間接呼び出しとジャンプには、*や のように、命令の後と場所の前に がcallq *%r13ありjmpq *0x204d8a(%rip)ます。

私の x86-64 Linux マシンからの 2 つの実際の例を示します。

  1. ユーザー提供の比較関数を呼び出す C 標準ライブラリーのqsort()
  2. strcmp()を呼び出す動的にリンクされた実行可能ファイル

GLIBCのqsort()実装は、実際には、入力サイズに応じて異なるソート アルゴリズムを呼び出します。そのような実装の 1 つが/lib64/libc.so.6 のmsort_with_tmp ()です。

0000003cbde37d70 <msort_with_tmp.part.0>:
  <...>
  3cbde37dd6:   4c 8b 68 10             mov    0x10(%rax),%r13
  <...>
  3cbde37e2f:   41 ff d5                callq  *%r13

上記のコード スニペットは、比較関数のアドレスをR13に移動し、最終的に間接呼び出しを行います。

strcmp()を呼び出す動的にリンクされた実行可能ファイルの場合、例として/bin/trueを使用します。メイン実行可能ファイル内のstrcmp()へのすべての呼び出しは、PLT スタブstrcmp@pltへの呼び出しに変換されます。

$ gdb /bin/true
(gdb) disassemble 'strcmp@plt'
0x401350 <+0>:  ff 25 8a 4d 20 00 jmpq  *0x204d8a(%rip) # 0x6060e0 <strcmp@got.plt>
0x401356 <+6>:  68 19 00 00 00    pushq $0x19
0x40135b <+11>: e9 50 fe ff ff    jmpq  0x4011b0

最初の命令で、0x204d8a(%rip)はRIP相対アドレス指定を使用してstrcmp@got.pltを見つけます。

実行時にstrcmp@got.pltが保持する値を調べようとすると、次のようになります。

(gdb) break *0x401350
(gdb) run --XXX
Breakpoint 1, 0x0000000000401350 in strcmp@plt ()

(gdb) p/a 'strcmp@got.plt'
$1 = 0x3cbdf2fbe0 <__strcmp_sse42>
(gdb) break *0x3cbdf2fbe0
Breakpoint 2 at 0x3cbdf2fbe0: file ../sysdeps/x86_64/multiarch/strcmp-sse42.S, line 128.
(gdb) continue 
Continuing.

Breakpoint 2, __strcmp_sse42 ()
    at ../sysdeps/x86_64/multiarch/strcmp-sse42.S:128
128     mov %esi, %ecx

strcmp@got.pltが/usr/lib64/libc.so.6の__strcmp_sse42 ()を指していることがわかります。

したがって、最初に遭遇した間接ジャンプであるstrcmp @pltのjmpq *0x204d8a(%rip)は、最終的に__strcmp_sse42()にジャンプします。これは、動作中のSTT_GNU_IFUNCメカニズムです。動的リンカーを使用して、実行時に CPU の機能に基づいて最適なstrcmp()バリアントを見つけます。

于 2013-05-15T01:14:14.447 に答える