UNREACH.RETURN

到達不能な戻り値

UNREACH.RETURN チェッカーは、コードで到達不能な戻り値ステートメント、つまり、決して使用されない戻り値を探します。UNREACH.RETURN の一般的な使用法は、到達不能な戻り値を他のタイプの到達不能コードから切り離すことです。重要ではないコード (特に、生成コード) に到達不能な戻り値があることが分かっていても、一般に到達不能コードをさらに UNREACH.GEN でチェックするときは、UNREACH.RETURN チェッカーを無効に出来ると便利です。

脆弱性とリスク

到達不能な戻り値ステートメントは、コードのメンテナンスやレビュー時に混乱を引き起こすことがあります。斬新なケースでは、到達不能な戻り値が意図しないプログラム動作を引き起こす可能性もあります。

脆弱コード例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
  void foo(int *p)
  {
      switch (*p) {
          case 0: 
          case 1: 
              if (*p == 0) {
                  ++(*p);
                  return;
              } else if (*p == 1){
                 --(*p);
                 return;
             }
             return;
         default: 
             (*p) = 1 - (*p);
     }
 }

Klocwork は到達不能な void 戻り値ステートメントレポートを生成し、13 行目での戻り値ステートメントが決して到達されないことを示します。このケースでは明らかに、動作は良性であるため、レビュー担当者はこのチェッカーを無効にするのが一般的です (特に、パターンがコードジェネレータによって体系的な方法で出力された場合)。

関連チェッカー

• UNREACH.GEN

外部参考資料

• CERT MSC07-C: 到達不能コードの検出と削除
• CERT MSC12-C: 影響を与えないコード、または決して実行されないコードの検出と削除
• CWE-561: 到達不能コード
• STIG-ID: APP3050 アクティブでないコードとライブラリが削除されていない

拡張機能

このチェッカーは機能を拡張できます。詳細については、C/C++ 解析のチューニングを参照してください。