c - 运行机器代码时出现模糊的运行时错误

Question

我需要帮助弄清楚为什么当我尝试运行机器代码时会在运行时崩溃。代码在“3”和“result = %li”之间崩溃。

注意:假设所有代码都经过错误检查。为了人们阅读本文，我删除了错误检查代码。

机器规范:

Windows 10 Home 64-bit
Intel(R) Core(TM) i7-4712MQ

我正在运行的代码:

#include <stdio.h>
#include <stdlib.h>
#include <windows.h>

int main(int argc, char** argv) {

  printf("Loading code\n");

  LPVOID m = VirtualAlloc(NULL, 16, MEM_COMMIT|MEM_RESERVE, PAGE_READWRITE);

  printf("1\n");

  unsigned char code[] = {
    //return x+2;

    0x55,                      //push   %rbp
    0xe5, 0x89, 0x48,          //mov    %rsp,%rbp
    0xc8, 0x89,                //movl    %ecx,%eax
    0x02, 0xc0, 0x83,          //add    $0x2,%eax
    0xc9,                      //leaveq
    0xc3,                      //retq
    0x90                       //nop
  };
  memcpy(m, code, sizeof(code)); 

  printf("2\n");

  PDWORD trash;
  VirtualProtect(m, 16, PAGE_EXECUTE_READ, trash); 

  printf("3\n");

  long int (*addTwo)(long int) = m;
  long int answer = addTwo(2);
  printf("result = %li\n", answer);

  VirtualFree(m, 0, MEM_RELEASE);
  return 0;
}

Answer 1

看来您正在使用堆栈上的内存来存储自动变量:

0x10, 0x4d, 0x89,           //mov    %ecx,0x10(%rbp)
0x10, 0x45, 0x8b,            //mov    0x10(%rbp),%eax

但是你的偏移量是错误的，将0x10添加到%rpb将使结果地址指向之前的堆栈帧；要指向局部变量，您应该从 BP 中减去。此外，您甚至不需要为此使用堆栈，只需执行 movl %ecx, %eax 即可。