配列アクセス時のインデックスチェック(index checking)が有名である。