汇编 movl %gs:20, %eax 的作用

lylhw13_

于 2021-06-10 23:05:56 发布

阅读量4.6k

点赞数 3

分类专栏：汇编文章标签：堆栈汇编

本文链接：https://blog.csdn.net/m0_47696151/article/details/117792480

版权

汇编专栏收录该内容

7 篇文章

订阅专栏

本文详细解析了GCC编译器中的堆栈保护机制，包括如何通过特定指令在编译阶段加入堆栈金丝雀来检测堆栈溢出攻击。介绍了如何启用或禁用这一特性，并解释了其在汇编代码中的实现细节。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

将如下代码进行编译，输出的汇编版本为

int main()
{
    int a[2][3]= {{1,2,3},{4,5,6}};
    return 0;
}

	pushl   %ebp
    movl    %esp, %ebp
    pushl   %ecx
    subl    $36, %esp
    movl    %gs:20, %eax
    movl    %eax, -12(%ebp)
    xorl    %eax, %eax
    movl    $1, -36(%ebp)
    movl    $2, -32(%ebp)
    movl    $3, -28(%ebp)
    movl    $4, -24(%ebp)
    movl    $5, -20(%ebp)
    movl    $6, -16(%ebp)
    movl    $0, %eax
    movl    -12(%ebp), %edx
    xorl    %gs:20, %edx
    je  .L3 
    call    __stack_chk_fail

其中如下两行的作用是将 %gs:20 的值放在数组结束处，并在结束的时候判断这个值有没有被改变，从而判断堆栈是否损坏。这种叫做Stack canaries, 堆栈金丝雀

movl    %gs:20, %eax
xorl    %gs:20, %edx

gcc 默认情况下是开启堆栈检查，即 gcc -fstack-protector=strong
可以通过 gcc -fno-stack-protector关闭检查。

另，gs 一般用来存放线程局部变量，比如 errno

参考：