NULL ポインターのデリファレンス

NULL ポインターのデリファレンス

説明

この欠陥は、値が NULL のポインターを、有効なメモリ位置を指しているかのように使用した場合に発生します。0x00 などのゼロアドレスをデリファレンスした場合、Polyspace^® は null アドレスを NULL と同等と見なし、この欠陥を報告します。

リスク

NULL ポインターのデリファレンスは未定義の動作です。ほとんどの実装では、このデリファレンスによってプログラムがクラッシュする可能性があります。

修正方法

デリファレンスの前にポインターが NULL かどうかをチェックします。

以前に NULL かどうかをチェックしていたにもかかわらず、この問題が発生する場合は、このチェックと以降のデリファレンスの間で中間イベントを探します。多くの場合、結果の詳細 (または Polyspace as You Code のソースコードツールヒント) には欠陥につながる一連のイベントが表示されます。そのシーケンス内のどのイベントについても修正を実装できます。結果の詳細にイベント履歴が表示されない場合は、ソースコード内で右クリックオプションを使用して、欠陥に関連する変数のこれまでの参照を検索し、関連するイベントを検出できます。Polyspace デスクトップユーザーインターフェイスでの Bug Finder の結果の解釈またはPolyspace Access Web インターフェイスでの Bug Finder の結果の解釈 (Polyspace Access)も参照してください。

以下の修正例を参照してください。

チェッカーの拡張

入力値が不明であり、入力のサブセットのみがエラーの原因となっている場合、既定の Bug Finder 解析ではこの欠陥が報告されない可能性があります。特定のシステム入力値を原因とする欠陥の有無をチェックするには、より厳密な Bug Finder 解析を実行してください。特定のシステム入力値から欠陥を見つけるための Bug Finder チェッカーの拡張を参照してください。

例

すべて展開する

NULL ポインターエラー

#include <stdlib.h>

int FindMax(int *arr, int Size) 
{
 int* p=NULL;

 *p=arr[0];
 /* Defect: Null pointer dereference */

 for(int i=0;i<Size;i++)
  {
   if(arr[i] > (*p))
     *p=arr[i];    
  }

 return *p;
}

ポインター p は NULL の値で初期化されます。しかし、値 arr[0] が *p に書き込まれるとき、p は有効なメモリ位置を指していると想定されます。

修正 — デリファレンスの前に null ポインターにアドレスを割り当てる

1 つの修正方法として、デリファレンスの前に有効なメモリアドレスで p を初期化することができます。

#include <stdlib.h>

int FindMax(int *arr, int Size) 
{
 /* Fix: Assign address to null pointer */
 int* p=&arr[0];       

 for(int i=0;i<Size;i++)
  {
   if(arr[i] > (*p))
     *p=arr[i];    
  }

 return *p;
}

結果情報

グループ: 静的メモリ

言語: C | C++

既定値: オン

コマンドライン構文: NULL_PTR

影響度: High

バージョン履歴

R2013b で導入

すべて展開する

R2023a: デリファレンスされたポインターがエラー状態でのみ `NULL` になる場合、欠陥は報告されない

特定のエラー状態でのみ NULL になる可能性があるポインターがデリファレンスされている場合、Polyspace はこれらの欠陥を報告しなくなりました。次のコードでは、入力 a が NULL であると、ポインター *x が NULL になる可能性があります。この場合、コード内の他の場所でエラー状態 (a==NULL) がチェックされて修正される場合があります。R2023a 以降、Polyspace は *x のデリファレンスや *x に対する算術演算にフラグを設定しなくなりました。

struct A {
    int i;
    int j;
};


int *foo(struct A* a) {

    if (a == NULL) {
        return 0;
    }
    return &(a->j);
}


void bar(struct A* b) {
    int * x = foo(b);
    *x = 0; //Compliant
}

参考

欠陥の検出 (-checkers) | NULL ポインターを使用した算術演算 | 未初期化ポインター