EN JP CN

NPD.CHECK.MUST

NPD.CHECK.MUST

以前にチェックした null ポインターが逆参照されます

null ポインターを使用してデータにアクセスしようとすると、ランタイムエラーが発生します。有効だと思っていたのに実際は null だと判明したポインターをプログラムが逆参照すると、null ポインター逆参照が起こります。null ポインター逆参照欠陥は、エラー処理または競合状態が無効なためにしばしば起こります。通常、プログラム終了の異常が発生します。ポインターが C/C++ コードにおいて逆参照される前に、null に等しくないことを確認するためにチェックする必要があります。

NPD チェッカーは、null または null ポインターが逆参照されるインスタンスを探します。

NPD.CHECK.MUST チェッカーは、null 値についてチェックされたポインターが後で null についてチェックされずに関数呼び出しによってまたは明示的に逆参照される状況にフラグを立てます。

脆弱性とリスク

通常、null ポインターの逆参照は、プロセスに失敗する結果となります。これらの指摘は通常、無効な例外処理が原因で発生します。

軽減と防止

この脆弱性を回避するには、次の操作を実行します。

  • 値を返すすべての関数の結果において null 値についてチェックします
  • すべての外部入力が検証されていることを確認します
  • 変数を明示的に初期化します
  • 異常な例外が正確に処理されていることを確認します

脆弱コード例

1  void npd_check_must() {
2    char *p = getSomeValue();
3    if (p != NULL) { }
4    p[0] = 0;
5  }

*p は、3 行目で null についてチェックされても、4 行目で null についてチェックされずに明示的に逆参照されます。(この例では欠陥がはっきりとわかりますが、通常のアプリケーションコードでは、逆参照は見つけるのが困難です。このタイプの脆弱性が原因で、予期しない結果や意図しない結果となる可能性があります。

修正コード例

1  void npd_check_must() {
2    char *p = getSomeValue();
3    if (p != NULL) {p[0] = 0;}
4  }

修正バージョンでは、逆参照は null チェックによって異なります。

拡張機能

このチェッカーは、Klocwork knowledge base (ナレッジベース) を利用して拡張できます。詳細については、C/C++ 解析のチューニングを参照してください。