为什么数据段和堆栈段是可执行的？

Question

我刚刚注意到我的简单程序的数据和堆栈段是可执行的。 我在 /proc/[pid]/maps 中看到它，并且简单的代码证实了这一点。

例如：

; prog.asm
section .data
    code:   db 0xCC    ;int3

section .text
global _start
_start:
    jmp    code

    mov    rax, 60    ; sys_exit
    mov    rdi, 0
    syscall

then

nasm -f elf64 prog.asm
ld -o prog prog.o
./prog

导致 prog 执行 int3 指令。

用 C 编写并使用 gcc 构建的程序的数据、堆栈和堆不可执行，那么为什么用汇编语言编写的程序会有不同的行为呢？

Answer 1

在现代 Linux 系统上，链接器将标记堆栈/数据不可执行IFF参与链接的所有对象都有一个特殊的“标记”部分.note.GNU-stack 。

如果你编译例如 int foo() { return 1; } 到汇编中（使用 gcc -S foo.c），您将看到以下内容：

    .section    .note.GNU-stack,"",@progbits

对于 nasm，语法如 手册第 8.9.2 节；您想要这样的东西：

 section .note.GNU-stack noalloc noexec nowrite progbits

---

注意

必须对进入可执行文件的每个 .o 文件执行此操作。如果任何目标文件需要可执行堆栈或数据，则为整个段设置它。