既定で有効な Polyspace Bug Finder 欠陥チェッカー

Bug Finder 解析の開始時に、次のチェッカーは既定で有効になっています。生成されたコードの解析時に既定で有効になっているチェッカーのリストを表示するには、生成コードに対し既定で有効な Polyspace Bug Finder 欠陥チェッカーを参照してください。

欠陥	コマンドライン名
`浮動小数点オペランドの統合`	`FLOAT_ABSORPTION`
`有効期間が一時的なオブジェクトにアクセスしています`	`TEMP_OBJECT_ACCESS`
`メモリの再割り当て後に変更されたアライメント`	`ALIGNMENT_CHANGE`
`フラッシュまたは位置付け呼び出しなしでのストリームからの入出力の交互実行`	`IO_INTERLEAVING`
`配列が範囲外にアクセス`	`OUT_BOUND_ARRAY`
`アサーション`	`ASSERT`
`アトミックな読み込みと保存のシーケンスがアトミックではありません`	`ATOMIC_VAR_SEQUENCE_NOT_ATOMIC`
`式の中でアトミック変数へのアクセスが 2 回行われています`	`ATOMIC_VAR_ACCESS_TWICE`
`基底クラスの代入演算子が呼び出されていません`	`MISSING_BASE_ASSIGN_OP_CALL`
`基底クラスデストラクターが非バーチャルです`	`DTOR_NOT_VIRTUAL`
`不正確な文字列形式指定子によるバッファーオーバーフロー`	`STR_FORMAT_BUFFER_OVERFLOW`
`プロトタイプのない関数ポインターによる呼び出し`	`UNPROTOTYPED_FUNC_CALL`
`文字の値が EOF に吸収`	`CHAR_EOF_CONFUSED`
`以前に閉じられたリソースを閉じています`	`DOUBLE_RESOURCE_CLOSE`
`不完全なクラスポインターの変換または削除`	`INCOMPLETE_CLASS_PTR`
`コピーコンストラクターが初期化リストで呼び出されていません`	`MISSING_COPY_CTOR_CALL`
`ソースオペランドを変更するコピー操作`	`COPY_MODIFYING_SOURCE`
`データレース`	`DATA_RACE`
`隣接するビットフィールドでのデータレース`	`DATA_RACE_BIT_FIELDS`
`標準ライブラリ関数呼び出しでデータレースが発生しました`	`DATA_RACE_STD_LIB`
`デッドコード`	`DEAD_CODE`
`Deadlock`	`DEADLOCK`
`以前に割り当て解除したポインターの解放`	`DOUBLE_DEALLOCATION`
`宣言の不一致`	`DECL_MISMATCH`
`文字列操作で格納先バッファーがオーバーフローしています`	`STRLIB_BUFFER_OVERFLOW`
`文字列操作で格納先バッファーがアンダーフローしています`	`STRLIB_BUFFER_UNDERFLOW`
`ダブルロック`	`DOUBLE_LOCK`
`ロック解除が重複しています`	`DOUBLE_UNLOCK`
`前の操作によって無効になった環境ポインター`	`INVALID_ENV_POINTER`
`errno がリセットされていません`	`MISSING_ERRNO_RESET`
`例外が値によってキャッチされました`	`EXCP_CAUGHT_BY_VALUE`
`前のハンドラーによって隠された例外ハンドラーです`	`EXCP_HANDLER_HIDDEN`
`浮動小数点変換のオーバーフロー`	`FLOAT_CONV_OVFL`
`浮動小数点数のゼロ除算`	`FLOAT_ZERO_DIV`
`書式文字列指定子と引数の不一致`	`STRING_FORMAT`
`配列の初期化が不適切です`	`IMPROPER_ARRAY_INIT`
`型に互換性がないためオーバーライドされません`	`VIRTUAL_FUNC_HIDING`
`無効なデータ型が va_arg に渡されました`	`VA_ARG_INCORRECT_TYPE`
`Incorrect pointer scaling`	`BAD_PTR_SCALING`
`va_start に渡された不正な型のデータ`	`VA_START_INCORRECT_TYPE`
`C++ の offsetof の誤った使用`	`OFFSETOF_MISUSE`
`va_start の誤った使用`	`VA_START_MISUSE`
`不適切な値の転送`	`INCORRECT_VALUE_FORWARDING`
`無限ループ`	`INFINITE_LOOP`
`インライン制約が守られていません`	`INLINE_CONSTRAINT_NOT_RESPECTED`
`整数変換のオーバーフロー`	`INT_CONV_OVFL`
`整数のゼロ除算`	`INT_ZERO_DIV`
`メモリ編成の前提条件が無効です`	`INVALID_MEMORY_ASSUMPTION`
`ポインターの無効な削除`	`BAD_DELETE`
`ポインターの無効な解放`	`BAD_FREE`
`= 演算子の無効な使用`	`BAD_EQUAL_USE`
`== 演算子の無効な使用`	`BAD_EQUAL_EQUAL_USE`
`標準ライブラリの浮動小数点ルーチンの無効な使用`	`FLOAT_STD_LIB`
`標準ライブラリ整数ルーチンの無効な使用`	`INT_STD_LIB`
`標準ライブラリメモリルーチンの無効な使用`	`MEM_STD_LIB`
`標準ライブラリルーチンの無効な使用`	`OTHER_STD_LIB`
`標準ライブラリ文字列ルーチンの無効な使用`	`STR_STD_LIB`
`va_list 引数が無効です`	`INVALID_VA_LIST_ARG`
`typeid オペランドとしてラムダが使用されています`	`LAMBDA_TYPE_MISUSE`
`パディングデータのメモリ比較`	`MEMCMP_PADDING_DATA`
`文字列のメモリ比較`	`MEMCMP_STRINGS`
`ロックの欠落`	`BAD_UNLOCK`
`文字列配列での null 値の欠落`	`MISSING_NULL_CHAR`
`return ステートメントがありません`	`MISSING_RETURN`
`ロック解除されていません`	`BAD_LOCK`
`FILE オブジェクトの不適切な使用`	`FILE_OBJECT_MISUSE`
`errno の不適切な使用`	`ERRNO_MISUSE`
`信号ハンドラーでの errno の不適切な使用`	`SIG_HANDLER_ERRNO_MISUSE`
`符号拡張文字の値の不適切な使用`	`CHARACTER_MISUSE`
`フレキシブル配列メンバーをもつ構造体の不適切な使用`	`FLEXIBLE_ARRAY_MEMBER_STRUCT_MISUSE`
`const オブジェクトの移動操作`	`MOVE_CONST_OBJECT`
`関数 noexcept が例外で終了`	`NOEXCEPT_FUNCTION_THROWS`
`未初期化ポインター`	`NON_INIT_PTR`
`未初期化変数`	`NON_INIT_VAR`
`NULL ポインター`	`NULL_PTR`
`オブジェクトのスライス`	`OBJECT_SLICING`
`以前に開いたリソースを開く`	`DOUBLE_RESOURCE_OPEN`
`オーバーアラインの可能性のあるクラスの演算子 new がオーバーロードされていません`	`MISSING_OVERLOAD_NEW_FOR_ALIGNED_OBJ`
`オーバーロードされたバーチャル関数の一部のみをオーバーライドします`	`PARTIAL_OVERRIDE`
`部分的にアクセスされる配列`	`PARTIALLY_ACCESSED_ARRAY`
`範囲外にアクセスするポインター`	`OUT_BOUND_PTR`
`スタック変数へのポインターまたは参照が範囲外`	`LOCAL_ADDR_ESCAPE`
`sizeof を誤って使用している可能性があります`	`SIZEOF_MISUSE`
`演算子の優先順位のルールにより、予期せぬ式の評価が得られる可能性があります`	`OPERATOR_PRECEDENCE`
`オブジェクトとして使用される事前定義されたマクロ`	`MACRO_USED_AS_OBJECT`
`マクロ引数のプリプロセッサ命令`	`PRE_DIRECTIVE_MACRO_ARG`
`リソースリーク`	`RESOURCE_LEAK`
`計算例外の信号ハンドラーからの戻り値`	`SIG_HANDLER_COMP_EXCP_RETURN`
`自己代入が演算子でテストされていません`	`MISSING_SELF_ASSIGN_TEST`
`信号ハンドラー内でのデータアクセスの共有`	`SIG_HANDLER_SHARED_OBJECT`
`式の二次的影響は無視されます`	`SIDE_EFFECT_IGNORED`
`符号変化する整数の変換のオーバーフロー`	`SIGN_CHANGE`
`信号ハンドラー内からの信号呼び出し`	`SIG_HANDLER_CALLING_SIGNAL`
`標準関数が不適切な引数で呼び出されました`	`STD_FUNC_ARG_MISMATCH`
`意図しない二次的影響の可能性があるストリーム引数`	`STREAM_WITH_SIDE_EFFECT`
`異なる配列を指すポインター間の減算または比較`	`PTR_TO_DIFF_ARRAY`
`throw の引数が予期せぬ例外を発生`	`THROW_ARGUMENT_EXPRESSION_THROWS`
`現在の引数リストに対する va_arg 呼び出しが多すぎます`	`TOO_MANY_VA_ARG_CALLS`
`Typedef が一致しません`	`TYPEDEF_MISMATCH`
`トークン連結からのユニバーサル文字名`	`PRE_UCNAME_JOIN_TOKENS`
`ヘッダーファイルの無名の名前空間`	`UNNAMED_NAMESPACE_IN_HEADER`
`到達不能コード`	`UNREACHABLE`
`関数ポインターの信頼性の低いキャスト`	`FUNC_CAST`
`ポインターの信頼性の低いキャスト`	`PTR_CAST`
`符号なし整数の変換のオーバーフロー`	`UINT_CONV_OVFL`
`putenv ファミリ関数の引数としての自動変数の使用`	`PUTENV_AUTO_VAR`
`以前に閉じられたリソースを使用しています`	`CLOSED_RESOURCE_USE`
`前に解放したポインターの使用`	`FREED_PTR`
`無意味な if`	`USELESS_IF`
`可変長配列が正のサイズをもっていません`	`NON_POSITIVE_VLA_SIZE`
`変数のシャドウイング`	`VAR_SHADOWING`
`読み取りのない書き込み`	`USELESS_WRITE`
`定数制限付きオブジェクトに書き込んでいます`	`CONSTANT_OBJECT_WRITE`
`読み取り専用リソースに書き込んでいます`	`READ_ONLY_RESOURCE_WRITE`
`sizeof において使用された誤った型`	`PTR_SIZEOF_MISMATCH`

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

既定で有効な Polyspace Bug Finder 欠陥チェッカー

参考

トピック