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

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

然后

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; }成汇编(with gcc -S foo.c),你会看到:

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

因为nasm,语法显示在手册的第7.9.2节中 ; 你想要这样的东西:

 section .note.GNU-stack noalloc noexec nowrite progbits

注意

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