ISO/IEC TS 17961 [intoflow]
Overflowing signed integers
説明
ルール定義
符号付き整数のオーバーフロー。1
Polyspace 実装
このチェッカーは以下の問題をチェックします。
整数のオーバーフロー。
整数定数のオーバーフロー。
入力値が不明であり、入力のサブセットのみがエラーの原因として考えられる場合、既定の Bug Finder 解析ではこのルールに対する違反が報告されない場合があります。特定のシステム入力値を原因とする違反の有無をチェックするには、より厳密な Bug Finder 解析を実行してください。特定のシステム入力値から欠陥を見つけるための Bug Finder チェッカーの拡張を参照してください。
チェッカーの拡張
入力値が不明であり、入力のサブセットのみが問題の原因となっている場合、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.