CWE Rule 824
説明
ルールの説明
The program accesses or uses a pointer that has not been initialized.
Polyspace 実装
このルール チェッカーは、[未初期化ポインター] をチェックします。
例
この問題は、デリファレンスの前にポインターにアドレスが割り当てられていなかった場合に発生します。
ポインターにアドレスが明示的に割り当てられていない場合、そのポインターは予測できない位置を指します。
修正方法は欠陥の根本原因によって異なります。たとえば、アドレスをポインターに割り当てたが、その割り当てに到達不能である場合があります。
多くの場合、結果の詳細 (または Polyspace as You Code のソース コード ツールヒント) には欠陥につながる一連のイベントが表示されます。そのシーケンス内のどのイベントについても修正を実装できます。結果の詳細にイベント履歴が表示されない場合は、ソース コード内で右クリック オプションを使用して、欠陥に関連する変数のこれまでの参照を検索し、関連するイベントを検出できます。Polyspace デスクトップ ユーザー インターフェイスでの Bug Finder の結果の解釈またはPolyspace Access Web インターフェイスでの Bug Finder の結果の解釈 (Polyspace Access)も参照してください。
以下の修正例を参照してください。ポインターを宣言するときはポインターを NULL に初期化することをお勧めします。
問題を修正しない場合は、改めてレビューされないように結果またはコードにコメントを追加します。詳細は、以下を参照してください。
Polyspace ユーザー インターフェイスでのバグ修正または正当化による結果への対処 (Polyspace ユーザー インターフェイスで結果をレビューする場合)。
Polyspace Access でのバグ修正または正当化による結果への対処 (Polyspace Access) (Web ブラウザーで結果をレビューする場合)。
コードへの注釈付けと既知の結果または許容可能な結果の非表示 (IDE で結果をレビューする場合)
特定のシステム入力値の場合にのみ、コード内のあるポインターが初期化されない場合は、欠陥を引き起こす可能性のある入力値の組み合わせの 1 つと見なすことができます。特定のシステム入力値から欠陥を見つけるための Bug Finder チェッカーの拡張を参照してください。
#include <stdlib.h>
int* assign_pointer(int* prev)
{
int j = 42;
int* pi;
if (prev == NULL)
{
pi = (int*)malloc(sizeof(int));
if (pi == NULL) return NULL;
}
*pi = j; //Noncompliant
/* Defect: Writing to uninitialized pointer */
return pi;
}
prev
が NULL
でない場合、ポインター pi
にはアドレスが割り当てられません。しかし、prev
が NULL
かどうかにかかわりなく、pi
はすべての実行パスでデリファレンスされます。
1 つの修正方法として、prev
が NULL
でない場合に pi
にアドレスを割り当てることができます。
#include <stdlib.h>
int* assign_pointer(int* prev)
{
int j = 42;
int* pi;
if (prev == NULL)
{
pi = (int*)malloc(sizeof(int));
if (pi == NULL) return NULL;
}
/* Fix: Initialize pi in branches of if statement */
else
pi = prev;
*pi = j;
return pi;
}
チェック情報
カテゴリ: Pointer Issues |
バージョン履歴
R2023a で導入
MATLAB Command
You clicked a link that corresponds to this MATLAB command:
Run the command by entering it in the MATLAB Command Window. Web browsers do not support MATLAB commands.
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)