MSan是Clang提供的检测未初始化内存读取的动态分析工具，运行时追踪字节初始化状态，读取未初始化值即报错；需全程Clang编译、启用-fsanitize=memory等选项，不兼容ASan但可与UBSan共用。
MSan（MemorySanitizer）是 Clang 提供的用于检测未初始化内存读取的动态分析工具，专为 C/C++ 设计。它不检测内存泄漏或越界访问（那是 ASan 的事），核心能力是：**在程序运行时追踪每个字节是否被显式初始化过，一旦读取了未初始化的值，立刻报告**。
必须用 Clang 编译（GCC 不支持），且需同时编译所有代码（包括依赖的静态库），否则会漏报或误报。
-fsanitize=memory -fPIE -pie -O2
-fPIE -pie 是必需的（位置无关可执行文件），MSan 依赖此机制插桩-O1 或保留 -O2（Clang 14+ 对 MSan 优化支持较好）-mllvm -msan-always-check-memory-access（非必需，但提升检出率）触发未初始化读取后，MSan 会打印类似这样的堆栈：
==12345==WARNING: MemorySanitizer: use-of-uninitialized-value
#0 0x4a8b23 in foo() /src/test.cpp:12:15
#1 0x4a8c10 in main /src/test.cpp:20:3
Uninitialized value was created by a heap allocation
#0 0x4b2a90 in operator new(unsigned long) (/lib/clang/.../libclang_rt.msan.so)
#1 0x4a8ac0 in foo() /src/test.cpp:10:12
立即学习“C++免费学习笔记（深入）”；
关键看两行：
“use-of-uninitialized-value” 表明问题类型；
“Uninitialized value was created by…” 告诉你这个脏值从哪来（比如 new 出来没赋值、malloc 后没 memset、局部变量声明未初始化等）。
MSan 对某些系统调用、第三方库（如 glibc 内部）、或手动管理的内存区域可能误报。这时可用：
__attribute__((no_sanitize_memory)) 标记函数（跳过插桩）__msan_unpoison(ptr, size) 手动标记某段内存为“已初始化”（慎用！只在确认安全时，比如 memcpy 从已知合法源拷贝后）memset(p, 0, n) 或 = {} 显式初始化，比依赖零初始化更可靠MSan 不能和 ASan 同时开启（冲突），但可以和 UBSan 配合：
-fsanitize=memory,undefined（Clang 支持组合）基本上就这些。MSan 开销比 ASan 小，但要求全链路 Clang 编译——只要满足这点，它是揪出“随机崩溃”“偶发逻辑错”的利器。
以上就是c++++中的memory sanitizers(MSan)怎么用_c++检测未初始化内存读取【调试】的详细内容，更多请关注php中文网其它相关文章！
c++怎么学习？c++怎么入门？c++在哪学？c++怎么学才快？不用担心，这里为大家提供了c++速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！
广告Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号
380
收藏
