代码从 .data 部分运行时有效，但 .text 部分出现分段错误

Question

为什么下面的代码没有给出分段错误？

global _start
section .data 

_start:
    mov ecx, 3
    xor byte[_start+1], 0x02
    mov eax, 1
    mov ebx, 2
    int 80h

我希望它与在 .text 部分中运行相同的代码时在同一位置（标有注释的行）发生段错误：

global _start
section .text  ; changed from data to text

_start:
    mov ecx, 3
    xor byte[_start+1], 0x02   ; ******get segmentation fault here
    mov eax, 1
    mov ebx, 2
    int 80h           

现在，我知道.data 部分用于读写，而.text 部分用于只读。
但是，当我尝试访问非法内存地址时，这有什么关系呢？

对于此处的示例，我预计在.data 部分也会出现分段错误，与我在.text 部分中得到的位置相同。

Answer 1

[_start+1] 显然不是非法地址。它是 5 字节编码 mov ecx, 3 的一部分。 （查看objdump -Mintel -drw a.out 以查看十六进制机器码的反汇编）。

IDK 为什么您认为写入您已定义内容的.data 中的地址会出现问题。使用db 之类的伪指令将字节组装到数据段中更为常见，但汇编器会很乐意将指令或db 组装到您放置它们的任何位置的字节中。

---

您预期 .data 版本的崩溃是 _start 在未经执行许可的情况下被映射，但由于工具链中令人惊讶的默认设置，带有 asm 源文件的程序通常以read-implies-exec（如gcc -zexecstack），除非您采取预防措施来避免这种情况：

• Why data and stack segments are executable?
• Unexpected exec permission from mmap when assembly files included in the project

如果您应用了 section .note.GNU-stack noalloc noexec nowrite progbits 更改，从 RIP=_start 获取代码会出错。

---

尝试写入.text 部分的版本当然会出现段错误，因为它被映射为只读。