ポインターの信頼性の低いキャスト
暗黙的に別のデータ型にキャストされるポインター
説明
この欠陥は、ポインターが宣言の型とは異なるデータ型に暗黙的にキャストされた場合に発生します。このような暗黙的なキャストは、たとえば、データ型 char へのポインターに整数のアドレスが割り当てられる場合に行われます。
この欠陥は、プロジェクトのコード言語が C の場合にのみ当てはまります。
リスク
ポインターを宣言の型とは異なるデータ型にキャストすると、バッファー オーバーフローなどの問題が発生する可能性があります。このキャストが暗黙的な場合、コーディング エラーを示す可能性があります。
修正方法
ポインターを宣言の型と異なるデータ型に "暗黙的に" キャストすることは避けます。
以下の修正例を参照してください。
問題を修正しない場合は、改めてレビューされないように結果またはコードにコメントを追加します。詳細は、以下を参照してください。
Polyspace ユーザー インターフェイスでのバグ修正または正当化による結果への対処 (Polyspace ユーザー インターフェイスで結果をレビューする場合)。
Polyspace Access でのバグ修正または正当化による結果への対処 (Polyspace Access) (Web ブラウザーで結果をレビューする場合)。
コードへの注釈付けと既知の結果または許容可能な結果の非表示 (IDE で結果をレビューする場合)
例
結果情報
| グループ: 静的メモリ | 
| 言語: C | 
| 既定値: オン | 
コマンド ライン構文: PTR_CAST | 
| 影響度: Medium | 
バージョン履歴
R2013b で導入