addresssanitizer必须在编译和链接时均添加-fsanitize=address，否则无法注入检测逻辑；推荐优化等级为-o1，可准确捕获堆/栈越界、use-after-free等内存错误，但需注意全局数组、结构体填充及memcpy参数等易忽略细节。
AddressSanitizer编译时必须加-fsanitize=address
不加这个flag，ASan根本不会注入检测逻辑，运行时像普通程序一样崩溃或静默出错，完全没用。GCC和Clang都支持，但链接时也要保持一致——比如用Clang编译就得用Clang链接，混用GCC的ld可能漏掉ASan运行时库。
常见错误：只在CXXFLAGS里加了-fsanitize=address，但忘了LDFLAGS也得加，导致链接时报undefined reference to __asan_init。正确做法是统一加到编译和链接阶段：
g++ -fsanitize=address -g -O1 main.cpp -o main -fsanitize=address
-O1是推荐的优化等级：-O0可能让某些越界检测失效（如栈上缓冲区合并），-O2+又可能因优化隐藏访问路径，让报告位置不准。
堆数组越界访问会被ASan直接报heap-buffer-overflow
这是最典型的触发场景，比如new int[10]后访问arr[10]或arr[-1]。ASan会在非法读/写发生时立刻中断，并打印调用栈、内存布局和越界偏移量。
注意两点：
- ASan对堆内存插桩很准，但只检查已分配块的边界，不检查
malloc返回的指针是否为空——空指针解引用会报SEGV，不是ASan的职责 - 如果越界访问发生在
delete之后，会报heap-use-after-free，不是buffer-overflow；类型不同，排查思路也不同 - 多线程下，ASan默认开启竞态检测（
-fsanitize=address,thread），但会显著拖慢速度；纯内存越界问题不用开threadsanitizer
栈上缓冲区溢出需配合-fstack-protector才能稳定捕获
ASan本身能检测栈变量越界（如int buf[4]; buf[5] = 1;），但实际中常因编译器优化或栈帧布局变化导致漏报。启用-fstack-protector（或更强的-fstack-protector-strong）可增加栈红区（red zone）保护，提高检测鲁棒性。
实操建议：
- 调试栈越界时，优先关掉优化：
-O0 -fno-omit-frame-pointer，否则ASan可能定位不到原始变量名 - 避免用
std::vector::data()或std::string::c_str()后手动算偏移——ASan能识别容器边界，但无法验证你“凭感觉”写的下标 - 局部数组大小若依赖运行时值（如
int arr[n];），ASan仍能检测，但需确保n非负且不过大，否则栈溢出先于ASan触发
ASan报告里的READ/WRITE of size X要对照源码逐字节看
报告末尾的Address 0x7ffd3a2e1234 is located 4 bytes inside of a 16-byte region这类信息，不能只看“inside”，得结合size和上下文判断是读越界还是写越界、是单字节还是批量操作。
容易忽略的点：
- 结构体填充（padding）可能导致ASan报告的地址看似“在成员内”，实际是踩到了下一个字段的padding区——这时要查
offsetof和sizeof确认内存布局 - 使用
memcpy或memset时，第三个参数写错（比如sizeof(ptr)而非sizeof(*ptr)）会引发大面积越界，ASan报的size往往远大于1，这是重要线索 - ASan默认不检测全局数组越界（如
int g_arr[10]; g_arr[11] = 0;），需额外加-fsanitize-address-use-after-scope并配合-fno-omit-frame-pointer
越界问题从来不是“有没有”，而是“在哪一行、以什么方式、改多少字节”——ASan给出的是证据链起点，不是终点。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
