溢出的缓冲区数据不会连续存储

Question

我有下面的代码来模拟缓冲区溢出。

编辑：我错过了下面代码中的一个重要步骤。随着讨论的进行，变量 c 正在被修改。

void function (int fd, int e)
{
        int i = 0;
        int n;
        char c;
        char s[44];
        .
        .
        c = getchar(fd);
        .
        //Some check on c
        s[i++] = c;
        .
        //Some more local variables and some operations on them.
}

我试图通过发送更多 > 4 字节的输入来溢出缓冲区，以查看局部变量和 EBP 和 RET 以及参数是如何被修改的。

但是，当我在 GDB 中调试以查看堆栈帧时，此缓冲区会溢出，并且溢出的数据似乎没有分配到连续的内存位置。

缓冲区基地址：0xbfff fdb3 C地址：0xbfffddf i的地址：0xbfff fde0

如您所见，我的输入字符串包含大量 NOP (\x90)，然后是大量 A (\x41)。在 GDB 堆栈帧中，您可以看到缓冲区的第一个 4 字节按预期连续填充，然后部分多余数据也连续填充。 来自(address: 0xbffffddc onwards till 0xbffffdfc)

但这不是完整的数据。然后中间还有一些其他数据，我的输入字符串可以从address 0xbffffe1c to 0xbffffe2c.再次看到

所以缓冲区虽然溢出，但溢出的数据并未存储在连续的位置。如何使溢出数据存储在连续的位置？

PS：在我的 Ubuntu 机器上，32 位系统，

Answer 1

当你声明你的变量时

    int i = 0;
    int n;
    char c;
    char s[4];

假设堆栈“向上”溢出c，您所依赖的假设可能不正确，即变量在堆栈上紧邻。这可能不是真的，因为变量之间可能存在“堆栈保护”或“堆栈金丝雀”。

要了解更多信息，请查找“stack guard”和“stack canaries”：

• COEN 152 Computer Forensics: Buffer Overflow Attack
• StackGuard: Simple Stack Smash Protection for GCC
• Four different tricks to bypass StackShield and StackGuard protection
• Stack Overflows - Defeating Canaries, ASLR, DEP, NX
• Epilogues, Canaries, and Buffer Overflows