ISO/IEC TS 17961 [invptr]
範囲外のポインターまたは配列の添字の形成または使用
説明
ルール定義
範囲外のポインターまたは配列の添字の形成または使用。1
Polyspace 実装
このチェッカーは以下の問題をチェックします。
配列が範囲外にアクセス。
範囲外にアクセスするポインター。
チェッカーの拡張
入力値が不明であり、入力のサブセットのみが問題の原因となっている場合、Bug Finder が "配列が範囲外にアクセス" を検出しない場合があります。特定のシステム入力値を原因とする違反の有無をチェックするには、より厳密な Bug Finder 解析を実行してください。特定のシステム入力値から欠陥を見つけるための Bug Finder チェッカーの拡張を参照してください。
例
チェック情報
決定可能性:決定不可能 |
バージョン履歴
R2019a で導入
1 Extracts from the standard "ISO/IEC TS 17961 Technical Specification - 2013-11-15" are reproduced with the agreement of AFNOR. Only the original and complete text of the standard, as published by AFNOR Editions - accessible via the website www.boutique.afnor.org - has normative value.