堆栈与堆溢出检测

Question

在像 linux 这样的按需分页系统中，我读到的页面可能约为 4k，它通过检查堆栈或堆大小是否超过给每个页面的数量来确保保护。当我创建两个变量时

char *s = (char *) malloc(100);   
char sa[100];

在 for 循环中，我可以写 s[i] = 'c'; 几乎 4000 次，然后才出现内存错误 而使用sa[i] = 'c'; 编辑：对于大于数组大小的任何内容，我都会收到segmentation fault 或stack smashing 错误。

我可以理解在第一种情况下存在页面错误，并且它看到没有更多的页面被分配给堆，因此内存冲突。但是在第二种情况下，gcc 会在运行时检查所有预分配的变量吗？
编辑：我在下面发布整个代码

int main(int argc,char* argv[]){
char *s = (char *) malloc(20);
char sa[400] = {0};
int i ,count;
printf(" enter the number of chars to write: ");
scanf("%d",&count);
for (i=0;i<count;i++){
printf("%d\n",i);
sa[i] = 'a';
//s[i] = 'a';
}
free(s);

}

Answer 1

在许多 32 位操作系统上，堆栈向下增长。您只在数组中使用正索引，因此它取决于您的函数调用的嵌套深度。当您从数组中索引时，您将首先覆盖金丝雀。所以堆栈粉碎错误是第一位的。接下来，您将开始覆盖函数参数和返回地址。如果没有金丝雀，这将导致函数返回跳转到永无止境，通常会产生段错误。并非总是如此，它可能会意外落在有效代码上，即堆栈缓冲区溢出攻击背后的逻辑。

随着您的继续，您最终会越过堆栈顶部写入未分配的页面。那么段错误。在一个嵌套调用很少的小型测试程序中，快速发生的调用需要几千字节。

也可以尝试使用负偏移量。这可以持续一段时间，否则不会导致任何事故，因为您正在写入未分配的堆栈空间。当您写入超过分配的堆栈大小（通常为兆字节）时，就会出现段错误。在 Windows 上，您会触发堆栈保护页面，生成一个以该站点命名的异常。