strcpy（）を呼び出すときに、対応するサブルーチン呼び出しがマシンコードのダンプで呼び出されないのはなぜですか？

Question

私はJon Ericksonの著書「Hacking：The Art of Exploitation」を取り上げています。

本の一部では、彼はCコードを与え、gdbを使用して対応するアセンブリを歩き、命令とメモリの動作を説明します。

私はMac OS Xで作業していますので、彼は本で紹介するもの（彼はLinuxを使用しています）とは少し異なります。

とにかく、私はこのCプログラムを持っている：

_main: 
0000000100000ea0 pushq %rbp 
0000000100000ea1 movq %rsp,%rbp 
0000000100000ea4 subq $0x30,%rsp 
0000000100000ea8 movq 0x00000189(%rip),%rax 
0000000100000eaf movq (%rax),%rax 
0000000100000eb2 movq %rax,0xf8(%rbp) 
0000000100000eb6 leaq 0xd4(%rbp),%rax 
0000000100000eba movq %rax,%rcx 
0000000100000ebd movq $0x77202c6f6c6c6548,%rdx 
0000000100000ec7 movq %rdx,(%rcx) 
0000000100000eca movb $0x00,0x0e(%rcx) 
0000000100000ece movw $0x0a21,0x0c(%rcx) 
0000000100000ed4 movl $0x646c726f,0x08(%rcx) 
0000000100000edb movq %rcx,0xe8(%rbp) 
0000000100000edf xorb %cl,%cl 
0000000100000ee1 movq %rax,%rdi 
0000000100000ee4 movb %cl,%al 
0000000100000ee6 callq 0x100000f1e ; symbol stub for: _printf 
0000000100000eeb movl 0xf4(%rbp),%eax 
0000000100000eee movq 0x00000143(%rip),%rcx 
0000000100000ef5 movq (%rcx),%rcx 
0000000100000ef8 movq 0xf8(%rbp),%rdx 
0000000100000efc cmpq %rdx,%rcx 
0000000100000eff movl %eax,0xd0(%rbp) 
0000000100000f02 jne 0x100000f0d 
0000000100000f04 movl 0xd0(%rbp),%eax 
0000000100000f07 addq $0x30,%rsp 
0000000100000f0b popq %rbp 
0000000100000f0c ret 
0000000100000f0d callq 0x100000f12 ; symbol stub for: ___stack_chk_fail 

OK：ここ

1 #include <stdio.h> 
2 #include <string.h> 
3 
4 int main() 
5 { 
6   char str_a[20]; 
7 
8   strcpy(str_a, "Hello, world!\n"); 
9   printf(str_a); 
10 } 

は、対応するコマンドotoolオブジェクト・ダンプ（私は、メイン含まれている）です。

0000000100000ee6 callq 0x100000f1e ; symbol stub for: _printf 

をしかし、ここでのstrcpy（）への呼び出しは次のとおりです。あなたは（）のprintfサブルーチンコールに気づくでしょうか？

さらに2つの異常があります。まず、strcpy（）のgdpにブレークポイントを設定した場合：

break strcpy 

プログラムは実行を途中で止めることなくジップアップします。 strcpy（）が実際に呼び出されていないかのようです。

第二に、私はコードをコンパイルした場合：私はそれが欠けているサブルーチンコールに関連しているかどうかわからないんだけど、私は思っ

char_array2.c: In function ‘main’: 
char_array2.c:9: warning: format not a string literal and no format arguments 
char_array2.c:9: warning: format not a string literal and no format arguments 

：

gcc -g -o char_array2 char_array2.c 

を私は警告を得ましたとにかくそれをデータポイントとして含めるでしょう。

コンパイラがstrcpy（）が必要ではないと判断して、それなしで動作するようにコードを最適化したかのように思えます。プログラムは、「Hello、world！」という印字をしています。 strcpy（）へのこの欠落した呼び出しは、何が起こっているのか正確に疑問に思います。

本の中のエリクソンの例では、はです。strcpy（）を呼び出すと、コンパイラとコンパイラの動作に違いがあるかもしれません。私はLLVMの午前：

のi686-りんごdarwin11-LLVM-GCC-4.2

任意のアイデアをありがたく受け取ったことでしょう！

おかげさまで、ありがとうございました。あなたがこの1つを面白いと思うことを願っています。

トム

Answer 1

それはここです：

0000000100000ebd movq $0x77202c6f6c6c6548,%rdx 
0000000100000ec7 movq %rdx,(%rcx) 
0000000100000eca movb $0x00,0x0e(%rcx) 
0000000100000ece movw $0x0a21,0x0c(%rcx) 
0000000100000ed4 movl $0x646c726f,0x08(%rcx)