生成コードに対し既定で有効な Polyspace Bug Finder 欠陥チェッカー

Simulink^® または MATLAB^® コードから生成されたコードに対して Bug Finder 解析を開始するときに、次のチェッカーが既定で有効になっています。手書きコードに対する解析の実行時に有効になっているチェッカーのリストを確認するには、既定で有効な Polyspace Bug Finder 欠陥チェッカーを参照してください。

欠陥	コマンドライン名
`浮動小数点オペランドの統合`	`FLOAT_ABSORPTION`
`配列が範囲外にアクセス`	`OUT_BOUND_ARRAY`
`アサーション`	`ASSERT`
`データレース`	`DATA_RACE`
`隣接するビットフィールドでのデータレース`	`DATA_RACE_BIT_FIELDS`
`標準ライブラリ関数呼び出しでデータレースが発生しました`	`DATA_RACE_STD_LIB`
`デッドコード`	`DEAD_CODE`
`Deadlock`	`DEADLOCK`
`以前に割り当て解除したポインターの解放`	`DOUBLE_DEALLOCATION`
`宣言の不一致`	`DECL_MISMATCH`
`NULL ポインターのデリファレンス`	`NULL_PTR`
`ダブルロック`	`DOUBLE_LOCK`
`ロック解除が重複しています`	`DOUBLE_UNLOCK`
`浮動小数点変換のオーバーフロー`	`FLOAT_CONV_OVFL`
`浮動小数点数のゼロ除算`	`FLOAT_ZERO_DIV`
`書式文字列指定子と引数の不一致`	`STRING_FORMAT`
`無限ループ`	`INFINITE_LOOP`
`整数変換のオーバーフロー`	`INT_CONV_OVFL`
`整数のゼロ除算`	`INT_ZERO_DIV`
`ポインターの無効な解放`	`BAD_FREE`
`標準ライブラリの浮動小数点ルーチンの無効な使用`	`FLOAT_STD_LIB`
`標準ライブラリ整数ルーチンの無効な使用`	`INT_STD_LIB`
`標準ライブラリメモリルーチンの無効な使用`	`MEM_STD_LIB`
`標準ライブラリルーチンの無効な使用`	`OTHER_STD_LIB`
`標準ライブラリ文字列ルーチンの無効な使用`	`STR_STD_LIB`
`ロックの欠落`	`BAD_UNLOCK`
`return ステートメントがありません`	`MISSING_RETURN`
`ロック解除されていません`	`BAD_LOCK`
`未初期化ポインター`	`NON_INIT_PTR`
`未初期化変数`	`NON_INIT_VAR`
`範囲外にアクセスするポインター`	`OUT_BOUND_PTR`
`符号変化する整数の変換のオーバーフロー`	`SIGN_CHANGE`
`Typedef が一致しません`	`TYPEDEF_MISMATCH`
`到達不能コード`	`UNREACHABLE`
`関数ポインターの信頼性の低いキャスト`	`FUNC_CAST`
`ポインターの信頼性の低いキャスト`	`PTR_CAST`
`符号なし整数の変換のオーバーフロー`	`UINT_CONV_OVFL`
`前に解放したポインターの使用`	`FREED_PTR`
`無意味な if`	`USELESS_IF`

他のチェッカーおよびコーディングルールを有効にするには、チェッカーの選択を設定します。Polyspace Bug Finder 解析用のチェッカー構成の準備を参照してください。

生成コードに対し既定で有効な Polyspace Bug Finder 欠陥チェッカー

参考

トピック