c++ - 任何程序都会检测到 C/C++ 结构中的缓冲区溢出吗？

Question

考虑以下程序:

struct abc
{
    int x[5];
    int y[5];
};

int main()
{
    struct abc test;
    test.y[0] = 10;
    printf("%d", test.x[5]);
}

(借自Is it legal to overrun one element of a struct to view another?)

BoundsChecker不会将此检测为溢出。是否有任何程序可以检测此类编程错误？

Answer 1

clang确实如此，即使没有打开特殊标志:

$ clang example.c -o example
example.c:13:18: warning: array index of '5' indexes past the end of an array
      (that contains 5 elements) [-Warray-bounds]
    printf("%d", test.x[5]);
                 ^      ~
example.c:5:5: note: array 'x' declared here
    int x[5];
    ^
1 warning generated.

编译为 C++ 时会打印相同的警告。