参考情報として、使用している C コンパイラが gcc の場合、配列の範囲外アクセス(`out of bounds access`)に対して警告(warning)を表示するオプションが用意されています。

**gcc(1)**

> **-Warray-bounds**
  **-Warray-bounds=n**
 This option is only active when -ftree-vrp is active (default for -O2 and above). It warns about subscripts to arrays that are always out of bounds. This warning is enabled by -Wall.
 
 **-Warray-bounds=1**
  This is the warning level of -Warray-bounds and is enabled by -Wall; higher levels are not, and must be explicitly requested.
 
 **-Warray-bounds=2**
  This warning level also warns about out of bounds access for arrays at the end of a struct and for arrays accessed through pointers. This warning level may give a larger number of false positives and is deactivated by default.

```sh
$ gcc --version
gcc (Ubuntu 9.3.0-17ubuntu1~20.04) 9.3.0

$ gcc -O2 -Warray-bounds -o histogram histogram.c
histogram.c: In function ‘main’:
histogram.c:27:21: warning: iteration 50 invokes undefined behavior [-Waggressive-loop-optimizations]
   27 |     histogram[ score[ j ] ]++;
      |                ~~~~~^~~~~
histogram.c:25:3: note: within this loop
   25 |   for( j = 0; j <= NUM_SCORE; j++ )
      |   ^~~
```

その他に [cppcheck - A tool for static C/C++ code analysis](https://sourceforge.net/p/cppcheck/wiki/Home/) を利用しても同様の結果が得られます。

```sh
$ cppcheck --enable=all histogram.c 
Checking histogram.c ...
histogram.c:27:21: error: Array 'score[50]' accessed at index 50, which is out of bounds. [arrayIndexOutOfBounds]
    histogram[ score[ j ] ]++;
                    ^
```