如何解析memcpy汇编指令触发的EXC_BAD_ACCESS错误？

首先明确：实际触发EXC_BAD_ACCESS的是rep movsb指令，不是下方栈帧的movl指令。调试器显示箭头在movl行是因为当函数（这里是memcpy）内部触发错误时，调试器会停在函数调用完成后的下一行，你需要看栈回溯的上层（也就是memcpy内部的栈帧）来定位真正的错误点。

关于$0x0的疑问 #

在x86汇编中，$前缀表示立即数（常量），所以movl $0x0, -0x4(%rbp)的意思是把32位的常量0，写入到栈上rbp-0x4的位置（也就是一个局部变量），这行指令本身完全合法，不会触发内存访问错误。

针对rsi访问违例的原因分析 #

既然已经确认是访问rsi指向的地址时触发错误，说明作为memcpy源地址的rsi指向了无效内存，常见原因包括：

• 源内存已被释放：调用memcpy前，源缓冲区已经通过free/delete释放，成为野指针，此时访问会触发内存错误。
• 源指针未初始化：使用了未赋值的指针变量，其值是随机的垃圾地址，大概率属于不可访问的内存区域。
• 源指针越界：原本指向数组的指针，被错误偏移到了数组范围之外，指向了不属于当前进程的内存或者无权限的内存页。
• 内存权限问题：rsi指向的内存被标记为不可读（比如内核空间地址、被设置为写保护的内存页），用户态进程无法读取该区域。
• 多线程竞态条件：在多线程环境下，memcpy读取源内存的同时，另一个线程修改或释放了这块内存，导致访问时内存状态已失效。
• 指针被篡改：缓冲区溢出覆盖了保存源指针的内存区域，导致传入memcpy的源地址被改成了无效值。

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