CWARN.HIDDEN.PARAM

ローカル変数によってパラメーターが非表示になっています

CWARN.HIDDEN.PARAM チェッカーは、ローカル変数がパラメーターを非表示にするインスタンスを検出します。

脆弱性とリスク

プログラムは常に、スコープ内の最も近い変数を使用するため、ローカル変数はそれに含まれる関数のパラメーターを非表示にし、これらのパラメーターにアクセスできなくします。この意図しない動作が発生すると、予期しない結果になる可能性があります。

脆弱コード例

コピー
  void foo(int a) {
    int a = 0;     
         if (a > 3) {...}

この例では、Klocwork は、ローカル変数 'a' が関数パラメーターを非表示にしていることを示す 2 行目にフラグを立てます。