Question

我试图学习倒车的基础知识，我试图拆解一个小C程序。我正在使用MacOS 10.7.2（64位 - Intel）并使用gcc 4.2.1。

#include <stdio.h>

int main() {

    char word[20];

    scanf("%s",word);
    if (strcmp(word,"password")==0) 
        printf("Correct\n");
    else
        printf("Fail\n");
}

我使用gcc -o test test.c进行编译，然后使用gdb工作了一段时间，我在strcmp调用（100000e8e）之后放置了一个断点并得到（我认为）相关的汇编代码：

0x0000000100000e40 <main+0>:    push   %rbp
0x0000000100000e41 <main+1>:    mov    %rsp,%rbp
0x0000000100000e44 <main+4>:    sub    $0x30,%rsp
0x0000000100000e48 <main+8>:    mov    0x1e9(%rip),%rax        # 0x100001038
0x0000000100000e4f <main+15>:   mov    (%rax),%rax
0x0000000100000e52 <main+18>:   mov    %rax,-0x8(%rbp)
0x0000000100000e56 <main+22>:   lea    -0x20(%rbp),%rax
0x0000000100000e5a <main+26>:   mov    %rax,%rcx
0x0000000100000e5d <main+29>:   xor    %dl,%dl
0x0000000100000e5f <main+31>:   lea    0xda(%rip),%rsi        # 0x100000f40
0x0000000100000e66 <main+38>:   mov    %rsi,%rdi
0x0000000100000e69 <main+41>:   mov    %rcx,%rsi
0x0000000100000e6c <main+44>:   mov    %rax,-0x28(%rbp)
0x0000000100000e70 <main+48>:   mov    %dl,%al
0x0000000100000e72 <main+50>:   callq  0x100000eee <dyld_stub_scanf>
0x0000000100000e77 <main+55>:   mov    -0x28(%rbp),%rcx
0x0000000100000e7b <main+59>:   xor    %dl,%dl
0x0000000100000e7d <main+61>:   lea    0xbf(%rip),%rsi        # 0x100000f43
0x0000000100000e84 <main+68>:   mov    %rcx,%rdi
0x0000000100000e87 <main+71>:   mov    %dl,%al
0x0000000100000e89 <main+73>:   callq  0x100000ef4 <dyld_stub_strcmp>
0x0000000100000e8e <main+78>:   mov    %eax,%ecx
0x0000000100000e90 <main+80>:   cmp    $0x0,%ecx
0x0000000100000e93 <main+83>:   jne    0x100000ea6 <main+102>
0x0000000100000e95 <main+85>:   lea    0xb0(%rip),%rax        # 0x100000f4c
0x0000000100000e9c <main+92>:   mov    %rax,%rdi
0x0000000100000e9f <main+95>:   callq  0x100000ee8 <dyld_stub_puts>
0x0000000100000ea4 <main+100>:  jmp    0x100000eb5 <main+117>
0x0000000100000ea6 <main+102>:  lea    0xa7(%rip),%rax        # 0x100000f54
0x0000000100000ead <main+109>:  mov    %rax,%rdi
0x0000000100000eb0 <main+112>:  callq  0x100000ee8 <dyld_stub_puts>
0x0000000100000eb5 <main+117>:  mov    -0xc(%rbp),%eax
0x0000000100000eb8 <main+120>:  mov    0x179(%rip),%rcx        # 0x100001038
0x0000000100000ebf <main+127>:  mov    (%rcx),%rcx
0x0000000100000ec2 <main+130>:  mov    -0x8(%rbp),%rdx
0x0000000100000ec6 <main+134>:  cmp    %rdx,%rcx
0x0000000100000ec9 <main+137>:  mov    %eax,-0x2c(%rbp)
0x0000000100000ecc <main+140>:  jne    0x100000ed7 <main+151>
0x0000000100000ece <main+142>:  mov    -0x2c(%rbp),%eax
0x0000000100000ed1 <main+145>:  add    $0x30,%rsp
0x0000000100000ed5 <main+149>:  pop    %rbp
0x0000000100000ed6 <main+150>:  retq   
0x0000000100000ed7 <main+151>:  callq  0x100000edc <dyld_stub___stack_chk_fail>

现在，根据我对汇编程序的理解，事情应该很简单：在strcmp调用100000e89之后，%ecx的值被保存，然后与0进行比较。

如果它们不相等（jne）则有跳转（否则），否则它应该继续（如果）。

很好，我想将jne修改为je即使输入错误我也应该“正确”。

其实我没有。试图理解问题可能是什么，我试图检查操作代码，我得到一个奇怪的（对我来说）输出：

(gdb) x/8x 0x100000e93
0x100000e93 <main+83>:  0x8d481175  0x0000b005  0xc7894800  0x000044e8
0x100000ea3 <main+99>:  0x480feb00  0x00a7058d  0x89480000  0x0033e8c7

没有0f85的标志应该是jne的代码。

我有点困惑然后......我不应该得到跳转的操作代码吗？有人可以解释我的错误吗？

Answer 1

请参阅JNE的操作码： http://ref.x86asm.net/coder64.html

所以，这是预期的： 0x8d481175 既然它印有dword，而且架构很小，你有从该地址开始的以下字节序列： 75 11 48 8d

和75是64位模式下JNE的操作码，具有8位rel偏移。

验证：根据下一条指令+偏移量的地址计算跳转地址。所以， 0x0000000100000e95 + 0x11 = 0x0000000100000eA6 这正是gdb显示的内容

拆卸C，更换操作代码

1 个答案: