NASM x86汇编中STOSB指令触发Segmentation fault段错误排查

STOSB指令正确用法 #

STOSB是x86指令集的单字节串存储指令，无合法显式操作数，你尝试传入寄存器参数触发汇编报错是正常现象——该指令的所有操作逻辑都是硬编码约定的：

1. 固定读取AL寄存器中的1字节值
2. 将该值写入ES:EDI（32位保护模式平坦内存模型下ES与DS段基址一致，无需额外配置段寄存器）指向的内存地址
3. 写入完成后根据EFLAGS中的DF方向标志位修改EDI的值：DF=0时EDI自增1，DF=1时EDI自减1

同类隐式串操作指令LODSB逻辑对应：从DS:ESI指向地址读1字节到AL，之后按DF标志修改ESI值。你代码注释里写lodsb会递增EIP是错误的，所有指令执行后都会自动更新EIP指向下一条指令，LODSB自动修改的是源地址寄存器ESI。

段错误根因排查 #

你当前代码触发段错误的核心原因有两个：

• 未初始化EDI寄存器。STOSB写入的目标地址完全由EDI控制，你没有给EDI赋合法的可写内存地址，EDI中的残留值是随机的：前两次循环刚好落在可写内存区间所以没报错，执行到'e'分支时EDI已经指向不可写的内存页，触发段错误是必然结果。
• 逻辑冗余。匹配到目标字符后dec ESI回退源指针、再跳回循环起始位置重读字符的写法完全没有必要，平白增加了指令开销，还容易搞混指针偏移。

另外注意：y不属于元音字母，不需要做匹配判断。

修正实现参考 #

如果是原地替换字符串（直接修改原输入串），初始化时让ESI、EDI同时指向输入字符串首地址即可；如果是生成新字符串，把EDI指向提前分配好的可写目标缓冲区即可，核心代码如下：

; 初始化段：假设输入字符串首地址存放在EAX，目标缓冲区首地址存放在EBX
mov     esi, eax
mov     edi, ebx
cld                     ; 清空DF标志，强制串操作后地址指针自增，避免指针倒走越界

process_loop:
lodsb                   ; 读当前字符到AL，ESI自动+1
test    al, al          ; 判断是否读到字符串终止符0
jz      process_end

; 小写元音匹配分支
cmp     al, 'a'
jne     .check_e
mov     al, 'A'
jmp     .save_char
.check_e:
cmp     al, 'e'
jne     .check_i
mov     al, 'E'
jmp     .save_char
.check_i:
cmp     al, 'i'
jne     .check_o
mov     al, 'I'
jmp     .save_char
.check_o:
cmp     al, 'o'
jne     .check_u
mov     al, 'O'
jmp     .save_char
.check_u:
cmp     al, 'u'
jne     .save_char
mov     al, 'U'

.save_char:
stosb                   ; 把处理后的字符写入目标地址，EDI自动+1
jmp     process_loop

process_end:
stosb                   ; 补写字符串终止符0，避免后续字符串操作越界
; 后续业务逻辑

额外注意事项 #

• 所有基础串操作指令（STOSB/STOSW/STOSD/LODSB/LODSW/LODSD/MOVSB等）都使用隐式操作数，不要尝试给这类指令加显式寄存器/内存操作数，否则必然触发汇编错误。
• 如果代码其他位置用过std指令设置DF=1让指针自减，切回串操作前一定要执行cld恢复自增逻辑，否则指针会向低地址倒走，非常容易触发越界。
• 32位x86环境下不要混用16位串操作指令的SI/DI寄存器和32位的ESI/EDI，避免地址截断导致访问非法内存。

内容的提问来源于stack exchange，提问作者lunatickle