谁能帮我解释一下gcc的堆栈溢出检查机制？

[konglinglong]

原C代码：

代码： 全选

#include <stdio.h>
void return_input (void){
char array[10];
gets (array);
printf("%s\n", array);
}
int main()
{
return_input();
return 0;
}

用GCC反汇编后的代码：

代码： 全选

.file "test11.c"
.text
.globl return_input
.type return_input, @function
return_input:
pushl    %ebp
movl     %esp, %ebp
subl      $24, %esp
movl     %gs:20, %eax              //这个%gs:20值是什么，希望能详细解释下
movl      %eax, -4(%ebp)
xorl       %eax, %eax
leal      -14(%ebp), %eax
movl     %eax, (%esp)
call    gets
leal      -14(%ebp), %eax
movl     %eax, (%esp)
call   puts
movl    -4(%ebp), %eax
xorl      %gs:20, %eax
je .L3
call __stack_chk_fail          
.L3:
leave
ret
.size return_input, .-return_input
.globl main
.type main, @function
main:
leal      4(%esp), %ecx
andl     $-16, %esp
pushl    -4(%ecx)
pushl    %ebp
movl     %esp, %ebp
pushl    %ecx
subl      $4, %esp
call     return_input
movl     $0, %eax
addl      $4, %esp
popl      %ecx
popl      %ebp
leal      -4(%ecx), %esp
ret
.size main, .-main
.ident "GCC: (GNU) 4.2.3 (Ubuntu 4.2.3-2ubuntu7)"
.section .note.GNU-stack,"",@progbits

[tscmga]

哈哈 在ubuntu里或者ubuntu的irc里面，有难度的问题，最好在晚上英文频道去问。。

[command]

代码： 全选

movl %gs:20, %eax //这个不懂，希望能详细解释 

这句的意思是将gs＋20这个地址放入eax中，在你提供的列子中gs＋20中放的可能是字符数组的首地址，这样在调用gets时就会将输入的字符放入gs+20中。gets是滋生溢出的温床，因此

代码： 全选

movl -4(%ebp), %eax
xorl %gs:20, %eax 
movl -4(%ebp), %eax
xorl %gs:20, %eax
je .L3
call __stack_chk_fail //这里应该就是检查溢出问题
.L3: 

这段代码进行溢出检查，查看输入的字符数是不是超过了数组的长度，如果超过即产生溢出，否则没有溢出。

[tscmga]

我不知道楼上的说的对不对。我也是猜的。只是给个我的想法。
gs:20可能是个和程序无关的随机数。编译器会把这个放到分配在栈里的缓存的结尾。用完了，就再检查这个数看有没有改动。有些内存调试的也这么做的。
就是在字符串的末尾放上一个数，在退出的时候检查这个数是不是有没有变化，没有变化，就是正确的。如果你写越界了，覆盖了这个多余的字符，我就能检测到。

[tscmga]

我说过这么样有难度的问题在这里是不能得到答案的。到什么www.freebsdchian.org去问问这样的问题。

[tscmga]

就是这样的。一个帖子分几个发分多些 哈哈呵呵

代码： 全选

void cc(  )
{
char v[10];//编译器会在v[10]放上一个数.
puts(v);
gets(v);
//完了检查
}

[konglinglong]

虽然还是不太清楚，不过谢谢大家的帮忙。

[BigSnake.NET]

subl $24, %esp
movl %gs:20, %eax
movl %eax, -4(%ebp) 在栈顶放一个数
xorl %eax, %eax
leal -14(%ebp), %eax
movl %eax, (%esp)
call gets
leal -14(%ebp), %eax
movl %eax, (%esp)
call puts
movl -4(%ebp), %eax 取栈顶
xorl %gs:20, %eax 检查是不是变了
je .L3 没变就跳到后面
call __stack_chk_fail 否则, 溢出
.L3:

[aobi]

小脸美女，我用C代码对过才说的。就是
void cc( )
{
char v[10];//编译器会在v[10]放上一个数.
puts(v);
gets(v);
//完了检查
}
这个代码和lz很相似。用编译器gcc- -S -...stack .... 的。

我想他那个不是栈顶。 他那个是subl $24, %esp 。

[hgshlg]

最近在看cs：app，在作缓冲区溢出攻击那题，发现ggc竟然有了这个机制