生成コードに対し既定で有効な 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 解析用のチェッカー構成の準備を参照してください。

参考

トピック