EN JP CN

RETVOID.IMPLICIT

RETVOID.IMPLICIT

暗黙的な int 関数によって void 値が返されます

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

脆弱性とリスク

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

脆弱コード例

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

3  #define     OK    1

4  func ()
5  {
6    return; 
7  }

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

関連チェッカー