配列またはポインター変数のアクセス式のうち、インデックスが配列または割り当てられたバッファーの範囲外にある可能性があるものを報告します。

例:


  void foo() {
      int buffer[100];

      for (int i = 0; i <= 100; i ++)
          buffer[i] = 0; // buffer overflow when i is equal to 100
  }

2022.2 の新機能です