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

（実例１）

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

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