能，valgrind memcheck 会拦截 memset 调用，检查 dst 是否有效及 n 是否超出其内存块边界，越界写入触发 “invalid write of size x”；需编译带 -g 和 -o0 才能准确定位到源码行。
valgrind --tool=memcheck 能否捕获 memset 覆盖越界？
能，但仅当越界发生在堆或栈的已分配/合法范围内被监控的区域时。Memcheck 会拦截 memset 调用，并检查 dst 指针是否有效、长度是否超出该内存块边界。它不检查“逻辑上不该覆盖”，只检查“物理上越界”。
常见误判场景：用 memset 清零一个局部数组，但传入的 n 大于数组实际字节数——这会被准确报为 Invalid write；但如果 memset 写到了相邻但同样合法的栈变量区域（比如结构体 padding），Memcheck 通常不会报警，因为那仍是“可访问栈内存”。
-
memset的越界写入一定会触发Invalid write of size X（X 是单次写入字节，通常是 1/2/4/8） - 越界读取（如
memset读 src？不，memset不读 src）不会发生，所以不用管Invalid read - 若目标是未初始化栈内存（如
char buf[10]; memset(buf, 0, 20);），报错位置在memset调用行，而非定义行
怎么让 valgrind 显示 memset 越界的精确位置？
关键不是加新参数，而是确保编译和运行条件满足基础前提：
- 编译必须带
-g，否则at 0x400658: main (???:?)这种符号缺失输出毫无调试价值 - 禁用优化：
-O0，避免编译器内联或重排memset导致栈帧错乱 - 不要用
-fomit-frame-pointer，否则调用栈可能截断 - 运行命令中无需额外开关，
--tool=memcheck默认就监控所有memset、memcpy、memmove
典型有效命令：
g++ -g -O0 -o test test.cpp valgrind --leak-check=full ./test
memset(dst, 0, n) 报 Invalid write，但 dst 看起来没问题？
这时要立刻怀疑三点：分配大小、类型尺寸、指针偏移。Memcheck 输出里 Address 0x... is X bytes after a block of size Y alloc'd 是最直接线索。
- 检查
dst是否来自malloc/new，且n >= 分配字节数（注意：不是元素个数，是sizeof(T) * count） - 若
dst是数组名或结构体成员，确认是否发生了隐式转换（如&s.a + 1偏移后越界） - 警惕
sizeof误用：对指针用sizeof(ptr)得到的是指针长度（8 字节），不是所指内存大小 - 多线程下若
dst是全局缓冲区，需确认没被其他线程提前free或realloc
为什么 memcpy(dst, src, n) 会报错，而 memset(dst, 0, n) 同样 n 却不报？
因为 memcpy 有双端校验（dst 和 src 都要合法），而 memset 只校验 dst 和长度。所以：
-
memset(dst, 0, n)安全 ≠memcpy(dst, src, n)安全 - 如果
src是野指针或越界地址，memcpy会先报Invalid read，根本走不到dst写入阶段 - 反过来，
memset报Invalid write说明问题一定出在dst端——要么地址无效，要么n过大
这种不对称性容易让人误以为 memset 更“宽松”，其实只是职责不同。排查时永远以 Memcheck 的具体错误类型为第一依据，不靠经验类比。
