Memcheck不会直接捕获空指针解引用，因其不监控地址0；需配合ASan或启用--track-origins=yes等参数检测未初始化/已释放指针的间接使用。
空指针解引用会被Memcheck直接捕获吗
不会。Memcheck本身不把NULL指针解引用（如*p，其中p == NULL）当作“非法地址访问”报错——因为NULL在大多数系统上对应地址 0，而 Memcheck 的 A-bit（可寻址位）机制只监控堆、栈、全局区等**实际被分配/映射的内存区域**，并不主动标记地址 0 为不可访问。所以程序一碰到*((int*)0)，通常直接触发操作系统级的 Segmentation fault，Valgrind 还没来得及插手就退出了。
怎么让Memcheck真正“看见”空指针问题
必须配合编译器辅助检测，不能只靠 Valgrind 单独运行：
- 用
gcc -fsanitize=address或-fsanitize=undefined编译，ASan 会在解引用前插入检查，精准报出SEGV on unknown address 0x000000000000并带栈帧 - Valgrind 需要你**先确保程序不崩溃退出**，才能持续监控。所以得先修复明显空解引用，再交给 Memcheck 查更隐蔽的问题（比如指针刚被
free后又用了，但还没归零） - 如果非要用 Valgrind 覆盖这类场景，可在代码中主动加防御：把可能为空的指针在使用前强制写入一个非法但可监控的值，例如
if (!p) { p = (int*)0x1; }，这样 Memcheck 就会捕获对0x1的读写（A-bit 未标记），报Invalid read of size 4
空指针附近访问常混杂哪些 Memcheck 可抓的真问题
所谓“空指针附近”，往往不是真的解引用 NULL，而是指针已失效但未置空，Memcheck 对这些反而很敏感：
-
free(p); printf("%d", *p);→ Memcheck 报Invalid read of size 4（A-bit 已清零） -
char *p = malloc(10); p[10] = 'x';→ 越界写，报Invalid write of size 1（A-bit 范围外） -
int *p = malloc(sizeof(int)); free(p); p = NULL; printf("%d", *p);→ 这里又回到 OS 崩溃，Memcheck 不管；但如果漏了p = NULL，后续某处误用p，Memcheck 就能拦住 - 结构体嵌套指针未初始化：
struct S { int *data; }; struct S s; printf("%d", *s.data);→ Memcheck 报Use of uninitialised value（V-bit 未设），前提是开了--track-origins=yes
排查时最容易忽略的关键点
很多人跑完 valgrind --leak-check=full ./a.out 没看到错误，就以为没空指针问题。其实 Memcheck 默认不启用 V-bit 源头追踪，也不检查栈上未初始化指针的间接使用。真正要覆盖“空指针附近”的模糊地带，必须显式加两个参数：
— --track-origins=yes：否则 Use of uninitialised value 错误只告诉你“用了未初始化值”，不告诉你这个指针是从哪一行 malloc 返回后没赋值、还是从函数返回的垃圾值
— --undef-value-errors=yes：默认开启，但若你关过它，就会漏掉所有 V-bit 类错误
另外，NULL 本身是合法指针值，问题永远不在“是不是 NULL”，而在于“是否被当作有效地址用了”。盯住每一条 if (p) 分支之后的首次解引用，那里才是 Memcheck 最可能发声的地方。
