読者です 読者をやめる 読者になる 読者になる

小さい頃はエラ呼吸

いつのまにやら肺で呼吸をしています。


【cppcheck】error: Buffer is accessed out of bounds.

はじめに

C++の静的解析ツール「cppcheck」でソースコードを静的解析した場合に、以下の警告がでることがあります。

error: Buffer is accessed out of bounds.

cppcheckのバージョン
  • v1.65
サンプルプログラム

以下のソースプログラムを解析にかけると表示されます。

int _tmain(int argc, _TCHAR* argv[])
{
  char tmp[4]; //NG
  //char tmp[5]; // OK
  int num = 100;

  sprintf(tmp, "%04d", num);
  printf("%s\n", tmp);

  return 0;
}

上記のように、4byteのバッファに対して、sprintf(tmp, "%04d", num);で書き込みしようとすると最後に¥0が付加されるので、1byteバッファをオーバしてしまいます。