C语言指针赋值后地址异常变化？自定义缓冲区金丝雀机制排障

问题场景 #

要实现类金丝雀的缓冲区溢出检测：在字符缓冲区末尾放置随机生成的金丝雀值，当缓冲区越界写入时会修改该值，以此检测溢出。但调试时发现，向目标地址赋值后，canary指针自身的地址值意外改变——使用gcc -fno-stack-protector编译时出现该问题，添加-O2优化则无异常。

示例代码 #

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

int main(int argc, char *argv[])
{
  srand(time(NULL));
  int secret = rand();
  char buf[8];
  char *aft_buf = buf + 8;
  printf("aft buf address = %p\n", aft_buf);
  int *canary = (int *) aft_buf;
  *canary = secret;
  printf("canary address = %p\n", canary); // 此处地址与aft_buf不同，原因何在？
  
  return 0;
}

原因解释 #

1. 内存对齐要求 #

int类型在x86/x86_64等主流平台上要求4字节对齐，即int*指向的地址必须是4的整数倍。如果buf的起始地址导致buf+8（即aft_buf）不是4字节对齐，强制转换为int*后，该指针指向的是一个不符合对齐要求的地址。

2. 无优化（-O0）编译的特殊行为 #

• 栈变量存储与布局：关闭优化时，编译器会将所有局部变量存在栈上（方便调试），且栈布局可能存在未优化的填充或顺序调整。如果aft_buf指向的地址恰好覆盖了栈上的canary变量本身，执行*canary = secret时就会越界写入，直接修改canary指针的值，导致后续打印的地址与原aft_buf不一致。
• 不对齐访问的处理：虽然x86硬件支持不对齐内存访问，但无优化模式下编译器可能生成额外代码处理这种情况，甚至隐式调整指针到最近的对齐地址，同时更新栈上的canary变量值。

3. -O2优化后的行为 #

开启-O2优化后，编译器会进行多项优化：

• 将aft_buf、canary等局部变量存储在寄存器中，避免栈上的布局冲突和意外覆盖。
• 优化栈布局，严格按照对齐规则调整变量位置，确保buf+8的地址满足int类型的对齐要求。
• 精简不必要的内存操作，直接通过寄存器完成地址计算，不会出现指针被意外修改的情况。

解决建议 #

• 保证地址对齐：调整缓冲区大小（比如将buf设为12字节，确保末尾地址是4的倍数），或使用编译器属性（如__attribute__((aligned(4)))）强制buf的起始地址对齐。
• 规范打印格式：使用%p打印指针时，显式将int*转换为void*，避免未定义行为：

  printf("canary address = %p\n", (void*)canary);
  

• 预留金丝雀空间：不要直接在缓冲区末尾后写入，为金丝雀单独分配对齐后的空间，避免越界覆盖栈上其他变量。

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