Checkers:RETVOID.GEN

From current-ja

Reference > C/C++ checkers > 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  }

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

関連チェッカー

外部参考資料