C and C++


LANG.STRUCT.UPD : チェックせずに参照された仮引数

要旨

関数の引数が初期の NULL チェック無しに参照されており、 NULLポインタ参照を引き起こす可能性があります。

プロパティ

クラス名 Unchecked Parameter Dereference
日本語クラス名 チェックせずに参照された仮引数
クラス分類 スタイル (style)
ニーモニック LANG.STRUCT.UPD
カテゴリー
CWE CWE:476 NULL Pointer Dereference
  CWE:822 Untrusted Pointer Dereference
TS17961 TS17961:5.14-nullref 5.14. Dereferencing an out-of-domain pointer
CERT-C CERT-C:API00-C Functions should validate their parameters
  CERT-C:EXP34-C Do not dereference null pointers
JSF++ JSF++:174 The null pointer shall not be de-referenced.
POW10 POW10:7 Check the return value of non-void functions, and check the validity of function parameters.
JPL JPL:15 Check the validity of values passed to functions.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル (configuration file)に以下の WARNING_FILTER ルールを追加してください。
WARNING_FILTER += allow class="Unchecked Parameter Dereference"

char lang_struct_upd(char *inchar)
{
    char c;
    c = *inchar; /* 'Unchecked Parameter Dereference' warning issued here */
    return c;
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。