以下のエラーを検出することが出来ます。

（実例１）

int sub() { 　　char c[10]; 　　c[10] = 0; }

配列“ｃ”の添え字は０〜９でなくてはならないが、実際は添え字に１０を使用している。