EN JP CN

RETVOID.GEN

RETVOID.GEN

非 void 関数によって void 値が返されます

RETVOID.GEN チェッカーは、値のない明示的な return ステートメントが非 void 関数に含まれているインスタンスを検出します。

脆弱性とリスク

戻り値が使用されると、メモリが初期化されていないまま使用される場合があります。

脆弱コード例

1  #include  <math.h>
2  #include  <stdio.h>

3  #define     OK    1

4  int func ()
5  {
6    return;
7  }

Klocwork このコードでは、Insight は、値のない明示的な return ステートメントが int 関数 func() に含まれている 6 行目にフラグを立てます。

関連チェッカー