好的，这将是一个很长的问题。我试图理解“缓冲区溢出”是如何工作的。我正在阅读aleph 1的Smashing the stack for fun and profit，并刚刚得到了以下代码的反汇编：

void function(int a, int b, int c) {
   char buffer1[5];
   char buffer2[10];
}

void main() {
  function(1,2,3);
}

使用GCC的-S标志进行反汇编，可以得到：

.file   "example1.c"
    .text
    .globl  function
    .type   function, @function
function:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $48, %rsp
    movl    %edi, -36(%rbp)
    movl    %esi, -40(%rbp)
    movl    %edx, -44(%rbp)
    movq    %fs:40, %rax
    movq    %rax, -8(%rbp)
    xorl    %eax, %eax
    movq    -8(%rbp), %rax
    xorq    %fs:40, %rax
    je  .L2
    call    __stack_chk_fail
.L2:
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE0:
    .size   function, .-function
    .globl  main
    .type   main, @function
main:
.LFB1:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movl    $3, %edx
    movl    $2, %esi
    movl    $1, %edi
    call    function
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE1:
    .size   main, .-main
    .ident  "GCC: (Ubuntu 4.8.2-19ubuntu1) 4.8.2"
    .section    .note.GNU-stack,"",@progbits

X1 m1n1x指令没有出现在Aleph 1的论文中，我猜当时没有使用它们。我读过this question on SO，我知道GCC使用它们进行异常处理。我也读过another question on SO，我知道.LFB0、.LFE0、.LFE1和.LFB1是标签，但我有以下疑问：
1.我知道.cfi指令是用于异常处理的，但是我不明白它们的意思。我在这里看到了一些定义，如：
.cfi_def_cfa寄存器，偏移量
.cfi_def_cfa将计算CFA的规则定义为：从寄存器中获取地址并向其添加偏移量。
然而，如果你看一下我上面放的反汇编 *，你不会发现任何寄存器名称 *（如EAX、EBX等），您会在那里找到一个数字（我通常会找到“6”），但我不知道这怎么会是一个寄存器。特别是，有人能解释一下.cfi_def_cfa_offset 16、.cfi_offset 6, -16、.cfi_def_cfa_register 6和.cfi_def_cfa 7, 8的含义吗？还有，CFA是什么意思？我问这个问题是因为大多数书籍/论文中的过程序言都是这样的：

pushl %ebp
 movl %esp,%ebp
 subl $20,%esp

但是，现在我认为现代计算机中的程序prolog如下：

.cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $48, %rsp

最初我认为使用CFI指令而不是sub助记符来设置偏移量，但事实并非如此; sub命令仍在使用。
1.我知道每个过程都有标签。但是，为什么在一个过程中有多个嵌套标签？在我的例子中，main有.LFB1和.LFE2标签。为什么需要多个标签？类似地，function过程有.LFB0、.L2和.LFE0标签
1.这两个过程的最后3行似乎是用于一些内务处理功能（告诉程序的大小，也许？），但我不知道他们是什么意思。谁能解释一下他们的意思和他们的用途？
编辑：
（再增加一个问题）

1. CFI指令是否占用空间？因为在过程“function”中，每个int参数占用4个字节，而参数个数为3，所以所有参数占用内存12个字节。接下来，第一个char数组占用8个字节（将5个字节向上舍入为8个字节），下一个char数组占用12个字节（将10个字节四舍五入为12个字节），因此整个char数组需要20个字节。所有这些加起来，参数和局部变量只需要12+20=32个字节。
   但是在函数过程中，编译器要减去48个字节来存储值，为什么？