ARM64平台Bounce Bed函数钩子正常运行不触发，调试环境下正常

以下是针对问题的核心排查方向和解决方案：

1. 缓存一致性问题（最可能的原因） #

ARM64架构中数据缓存（DCache）与指令缓存（ICache）分离，修改代码段指令后，CPU可能仍执行ICache中缓存的旧指令，导致跳转未触发。而gdb/valgrind运行时会强制刷新缓存或使用非缓存路径，因此钩子能正常工作。

解决方法：
修改完目标指令后必须执行缓存同步操作，可通过两种方式实现：

• 内联汇编执行同步指令：

__asm__ __volatile__ (
    "dsb sy\n"
    "isb sy\n"
    ::: "memory"
);

• 使用GCC内置函数刷新缓存：

__builtin___clear_cache((void*)target_func_addr, (void*)((uintptr_t)target_func_addr + 4));

2. 编译器优化导致函数内联/克隆 #

即使添加-g编译选项，GCC仍可能对目标函数进行内联或克隆优化，导致你修改的函数首指令并未被实际调用路径使用。

解决方法：
给被hook的目标函数添加属性，禁止内联和克隆：

void target_func(int a, int b) __attribute__((noinline, noclone));

3. 内存页面权限问题 #

代码段默认是只读权限，若修改权限后未同步缓存，或权限恢复过早，会导致指令无法生效。

解决方法：

1. 使用mprotect()将目标函数所在内存页设置为可读可写可执行：

uintptr_t page_addr = (uintptr_t)target_func & ~(getpagesize() - 1);
mprotect((void*)page_addr, getpagesize(), PROT_READ | PROT_WRITE | PROT_EXEC);

2. 修改目标指令后执行缓存同步，再将权限恢复为只读可执行：

mprotect((void*)page_addr, getpagesize(), PROT_READ | PROT_EXEC);

4. 分支指令正确性验证 #

ARM64直接分支指令（如B/BL）有±128MB的地址范围限制，若bounce bed超出该范围，跳转指令会失效；此外相对跳转的偏移量计算错误也会导致跳转失败。

解决方法：

• 若bounce bed超出直接跳转范围，改用间接跳转：将bounce bed地址加载到寄存器后执行BR指令，示例：

LDR X1, =bounce_bed_addr
BR X1

• 验证跳转指令编码：对比手动计算的偏移量与生成的机器码，确保地址计算无误。

5. Bounce Bed栈操作合规性 #

ARM64要求栈指针必须保持16字节对齐，且调用函数时需保存必要寄存器。若bounce bed中的栈操作不符合调用约定，可能导致程序异常跳过钩子逻辑。

解决方法：

• 确保调用hook函数前，栈指针SP是16字节对齐的；
• 保存和恢复所有会被hook函数破坏的非临时寄存器（如X19-X29），符合ARM64的AAPCS调用规范。

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