SEMICOL

セミコロンの位置を確認してください

SEMICOL チェッカーは、セミコロンが間違った位置にあるインスタンスを検出します。状況によっては、パーサーはセミコロンの位置が間違っていることに気が付かない場合があります。このため、Klocwork は、if、for、または while ステートメントと同じ行にあるセミコロンにフラグを立てます。

脆弱性とリスク

間違った位置へのセミコロンの配置は、通常、プログラマーのエラーによるものであり、予期しないプログラムの動作を引き起こす可能性があります。

脆弱コード例

コピー 
  void foo(){
    for (i=0;i<10;i++);
    {
      do_this();
    }
  }

Klocwork は、セミコロンの位置が間違っている可能性のある 2 行目にフラグを立てます。

外部参考資料

セキュリティトレーニング

Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。