VA_UNUSED.INIT

初期化後、値は使用されません

VA_UNUSED.INIT チェッカーは、次に割り当てられるか関数が終了するまで使用されない、初期化時にローカル変数に割り当てられた値を検出します。

脆弱性とリスク

未使用の変数の値は、次のことを示す可能性があります。

  • 後でコード内で不正確な変数が使用される可能性がある
  • 重大な論理エラーまたはその他の問題がコードにある

脆弱コード例

コピー 
  int foo(){
    int i = f();
  
    i = g();
    return i;
  }

Klocwork は、'i' が関数 f() から返された値で初期化されるもののこの値は決して使用されないことを示す 2 行目にフラグを立てます。

関連チェッカー

外部参考資料