为何添加ASan编译参数生成目标文件后链接仍需传入相同参数

常见的ASan编译链接操作示例：

clang -fsanitize=address -c test.c
clang -fsanitize=address test.o -o test.exe

核心原因非常直接：-fsanitize=address 不是只给编译阶段用的单功能参数，是同时控制编译、链接两个阶段行为的复合开关，两个阶段传入该flag时执行的操作完全不同：

• 编译阶段传这个flag，编译器的核心动作是给生成的目标文件插桩：在所有内存读写操作前后插入边界检查逻辑，给栈变量、全局变量周围加检测用的隔离红区，注入内存分配/释放的上下文记录代码。注意这些插桩生成的代码只是调用ASan检测逻辑的“桩”，本身不包含检测功能的完整实现，依赖ASan运行时库提供的对应接口。
• 链接阶段传这个flag，会完成两个编译阶段根本做不了的核心配置：
  1. 自动链接ASan完整运行时库：这个库实现了所有插桩代码要调用的接口，包括内存访问错误上报、栈/堆内存毒化状态管理，还会替换默认的malloc/free等内存分配函数，支撑堆越界、释放后使用等问题的检测。如果链接阶段不传这个flag，链接器不会主动引入ASan运行时，最终会直接报一堆__asan_*开头的未定义引用错误，根本生成不了可执行文件。
  2. 调整最终二进制的内存布局规则：ASan工作需要预留固定范围的虚拟地址作为影子内存（用来标记每一字节内存的可访问状态），还要调整可执行段的权限、程序初始化入口逻辑适配检测流程。这些操作只能在链接阶段完成，就算你手动强行把ASan库链进去，不传对应flag的话生成的二进制要么启动就崩溃，要么会漏报大量内存问题，完全达不到检测效果。

不止ASan，GCC和Clang提供的几乎所有 sanitizer 检测工具（比如TSan、UBSan、MSan）都遵循相同逻辑：-fsanitize=xxx 是覆盖编译、链接全流程的开关，两个阶段都需要正确传入才能生成可用的检测程序。

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