使用valgrind怎么检查数组越界？

DraculaW

形如
int
main()
{
    int a[10] = {0};
    a[10] = 10;

    return 0;
}

使用 valgrind --tool=memcheck ./test
报告竟然是没有内存越界...

bruceteen

当然可能没有内存越界呀
在C/C++标准中要求 int a[10] 分配至少（而非正好）能存得下它的内存区域
当然，正如不能保证 a[10] = 10 一定crash一样，也不能保证其一定不crash。

irp

valgrind 通过binary translation来trace内存访问，我估计valgrind是对stack的范围做判断，你的这个问题从c的角度是数组越界了，从binary角度，valgrind无法判断，比如你的这个程序，stack space可能比需要的大，这时候就不是越界了。disassemble一下binary可以看下具体的指令模式，有些模式valgrind无法判断。

djsxut

分配的内存一般大于等于需要的内存。 另外从栈上看的话， GCC 坚持Linux IA-32 的一个惯例是确保每个栈帧（一个函数）的所有长度都是16字节的整数倍， 包括调用时的 push %ebp 和 返回值共8个字节。你这个a【10】 也没越界。

myworkstation

回复 1# DraculaW


    valgrind在数组越界检查上还不够完善，你的代码中a数组是automatic storage duration，实际上这个数组对象是创建在stack上的，memcheck并不对stack和全局数组进行越界检查，这个检查需要使用SGCheck，使用选项--tool=exp-sgcheck。由于SGCheck是试验性质的所以这个检查还有待完善。

DraculaW

回复 5# myworkstation


   
非常谢谢你的解答