CWARN.HIDDEN.PARAM
ローカル変数によってパラメーターが非表示になっています
CWARN.HIDDEN.PARAM チェッカーは、ローカル変数がパラメーターを非表示にするインスタンスを検出します。
脆弱性とリスク
プログラムは常に、スコープ内の最も近い変数を使用するため、ローカル変数はそれに含まれる関数のパラメーターを非表示にし、これらのパラメーターにアクセスできなくします。この意図しない動作が発生すると、予期しない結果になる可能性があります。
脆弱コード例
コピー
void foo(int a) {
int a = 0;
if (a > 3) {...}
この例では、Klocwork は、ローカル変数 'a' が関数パラメーターを非表示にしていることを示す 2 行目にフラグを立てます。