このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

影響度による欠陥の分類

Polyspace^® Bug Finder™ の欠陥のレビューに優先順位を付けるには、欠陥に割り当てられた属性 [影響] を使用します。属性を使用して、すぐに注意が必要な結果をフィルターできます。詳細は、次を参照してください。

• Polyspace デスクトップ ユーザー インターフェイスでの結果のフィルター処理とグループ化

• Polyspace Access Web インターフェイスでの結果のフィルタリングと並べ替え (Polyspace Access)

• Polyspace Platform ユーザー インターフェイスでの結果へのフィルターの適用と並べ替え (Polyspace Code Prover)

[影響] 属性は欠陥に対し、次の考慮事項に基づいて割り当てられます。

• 重大性。欠陥によりコードが失敗する可能性があるかどうかを示します。

  欠陥によりコードが失敗する可能性がある場合は、影響度の高い欠陥として扱われます。現時点では欠陥によるコードの失敗はないが、将来コードの保守で問題が発生する可能性がある場合は、影響度の低い欠陥として扱われます。

• 確実性。つまり、誤検知率です。

たとえば、欠陥 [整数のゼロ除算] は影響度の高い欠陥です。コードのクラッシュが発生するのがほぼ確実であるためです。一方、デッド コードの存在自体はコードのクラッシュの原因にならないため、欠陥 [デッド コード] の影響度は低いです。ただし、デッド コードによって影響度の高い他の欠陥が隠される可能性もあります。

欠陥に割り当てられた影響度は変更できません。

影響度の高い欠陥

影響度の高い欠陥は次のとおりです。

C++ の例外

• 関数 noexcept が例外で終了

• throw の引数が予期せぬ例外を発生

• キャッチされていない例外

同時実行

• データ レース

• 隣接するビット フィールドでのデータ レース

• 標準ライブラリ関数呼び出しでデータ レースが発生しました

• Deadlock

• ダブル ロック

• ロック解除が重複しています

• ロック解除されていません

データ フロー

• 無限ループ

• 未初期化ポインター

• 未初期化変数

動的メモリ

• 以前に割り当て解除したポインターの解放

• ポインターの無効な削除

• ポインターの無効な解放

• 前に解放したポインターの使用

数値

• 浮動小数点オペランドの統合

• 浮動小数点変換のオーバーフロー

• 浮動小数点数のゼロ除算

• 整数変換のオーバーフロー

• 整数のゼロ除算

• 標準ライブラリの浮動小数点ルーチンの無効な使用

• 標準ライブラリ整数ルーチンの無効な使用

オブジェクト指向

• 基底クラスの代入演算子が呼び出されていません

• コピー コンストラクターが初期化リストで呼び出されていません

• オブジェクトのスライス

パフォーマンス

• 反復子の使用法が無効です

プログラミング

• アサーション

• 文字の値が EOF に吸収

• 宣言の不一致

• errno がリセットされていません

• 不適切な値の転送

• 反復子の使用法が無効です

• == 演算子の無効な使用

• 標準ライブラリ ルーチンの無効な使用

• va_list 引数が無効です

• errno の不適切な使用

• ナロー文字列またはワイド文字列の不適切な使用

• 再呼び出し不可能な標準関数の戻り値の不適切な使用

• const オブジェクトの移動操作

• AUTOSAR 仕様に非準拠

• 破棄された一時オブジェクトへのポインターまたは参照

• sizeof を誤って使用している可能性があります

• 演算子の優先順位のルールにより、予期せぬ式の評価が得られる可能性があります

• 未接続のポインターにより初期化された std::string_view

• Typedef が一致しません

• 可変長配列が正のサイズをもっていません

• 定数制限付きオブジェクトに書き込んでいます

• sizeof において使用された誤った型

リソース管理

• 以前に閉じられたリソースを閉じています

• リソース リーク

• 以前に閉じられたリソースを使用しています

• 読み取り専用リソースに書き込んでいます

セキュリティ

• 権限を削除する順序が正しくありません

• クリティカルなデータ メンバーがプライベートではありません

• LDAP インジェクション

• プレーン テキストのパスワードがファイル システムに保存されています

• 権限の削除が検証されていません

• リソース インジェクション

• 要注意の関数の戻り値がチェックされていません

• SQL インジェクション

• システム関数の安全でない呼び出し

• セキュリティで保護されていない一時ファイルを使用しています

静的メモリ

• 配列が範囲外にアクセス

• 不正確な文字列形式指定子によるバッファー オーバーフロー

• 文字列操作で格納先バッファーがオーバーフローしています

• 文字列操作で格納先バッファーがアンダーフローしています

• 標準ライブラリ メモリ ルーチンの無効な使用

• 標準ライブラリ文字列ルーチンの無効な使用

• NULL ポインター

• 範囲外にアクセスするポインター

• スタック変数へのポインターまたは参照が範囲外

• 異なる配列を指すポインター間の減算または比較

• putenv ファミリ関数の引数としての自動変数の使用

• 最大バッファー サイズのチェックがないパス操作関数を使用しています

• キャストに割り当てられた誤ったオブジェクト サイズ

汚染されたデータ

• 汚染されたソースを要注意の関数と共に使用

影響度が中程度の欠陥

影響度が中程度の欠陥は、次のとおりです。

C++ の例外

• 例外が値によってキャッチされました

• 前のハンドラーによって隠された例外ハンドラーです

• throw の引数式が new を呼び出します

同時実行

• 非同期にキャンセル可能なスレッド

• アトミックな読み込みと保存のシーケンスがアトミックではありません

• 式の中でアトミック変数へのアクセスが 2 回行われています

• スレッドからエスケープする自動変数またはスレッド ローカル変数

• ロックされたミューテックスの破棄

• 結合済みまたは分離済みスレッドの結合または分離

• ロックの欠落

• スレッド属性の欠落または二重初期化

• 複数のミューテックスで同じ条件変数が使用されています

• スレッド固有のメモリ リーク

• 未定義のスレッド ID の使用

暗号化

• 定数のブロック暗号初期化ベクトル

• 定数の暗号キー

• コンテキストが暗号化操作用に正しく初期化されていません

• コンテキストがダイジェスト操作用に正しく初期化されていません

• RSA アルゴリズム演算のパディングに互換性がありません

• 不整合な暗号操作

• 暗号化アルゴリズムのキーが正しくありません

• RSA アルゴリズムのブラインディングが見つかりません

• ブロック暗号初期化ベクトルがありません

• 認証機関リストが見つかりません

• 暗号アルゴリズムがありません

• 処理する暗号データがありません

• 暗号化の最終ステップがありません

• 暗号キーがありません

• 暗号化、復号化または署名操作用のデータが見つかりません

• 更新操作のハッシュ後に最終ステップがありません

• ハッシュ アルゴリズムがありません

• RSA アルゴリズムのパディングが見つかりません

• キー生成のパラメーターが見つかりません

• ピア キーが見つかりません

• 秘密鍵が見つかりません

• X.509 証明書用の秘密鍵が見つかりません

• 公開鍵が見つかりません

• ハッシュ演算のソルトがありません

• X.509 証明書が見つかりません

• コンテキストに追加されたデータがありません

• ハッシュ アルゴリズムがセキュリティで保護されていません

• キー生成のパラメーターがセキュリティで保護されていません

• RSA 公開指数がセキュリティで保護されていません

• SSL/TLS プロトコルがセキュリティで保護されていません

• 予測可能なブロック暗号初期化ベクトル

• 予測可能な暗号キー

• サーバー証明書の共通名が確認されていません

• TLS/SSL 接続メソッドが設定されていません

• TLS/SSL 接続メソッドの設定が正しくありません

• 脆弱な暗号アルゴリズム

• 脆弱な暗号モード

• RSA アルゴリズムのパディングが脆弱です

• X.509 ピア証明書が確認されていません

データ フロー

• 未初期化値へのポインターが定数ポインターに変換

• 到達不能コード

• 無意味な if

動的メモリ

• メモリ リーク

ライブラリの不適切な使用

• 誤ったテストの登録または定義

• モッキング API の誤った使用

• テスト フィクスチャの誤った使用

• テストのセットアップまたは破棄の API の誤った使用

• サポートされていない構文がテスト オーサリング API とともに使用されました

数値

• 負値でのビット演算です

• 整数定数のオーバーフロー

• 整数のオーバーフロー

• 符号変化する整数の変換のオーバーフロー

• 数値にプレーンの char 型が使用されています

オブジェクト指向

• 基底クラス デストラクターが非バーチャルです

• 非トリビアルなクラス オブジェクトのバイト演算

• 不完全なクラス ポインターの変換または削除

• ソース オペランドを変更するコピー操作

• 型に互換性がないためオーバーライドされません

• コンストラクターでメンバーが初期化されません

• バーチャル継承がありません

• オーバーアラインの可能性のあるクラスの演算子 new がオーバーロードされていません

• オーバーロードされたバーチャル関数の一部のみをオーバーライドします

• カプセル化されたデータ メンバーに定数ではないハンドルが返されています

• 自己代入が演算子でテストされていません

パフォーマンス

• const std::move の入力により、オブジェクト コピーの計算量が増える場合があります

• ループ内の計算量の多い代入

• std::string::c_str() または同等の string メソッドの不要な使用

• 計算量の多い定数 std::string 構成

• 範囲ベースの for ループの反復における計算量の多いコピー

• 計算量の多いローカル変数のコピーです

• 計算量の多い値渡し

• 計算量の多い標準アルゴリズムを使用していますが、より効率的な方法があります

• 計算量の多いコンテナーのカウント方法を使用

• 計算量の多いコンテナーの挿入メソッドを使用

• 計算量の多い std::any_cast の使用

• 計算量の多い値返し

• sprintf の使用が非効率的です

• コンテナーの予約メソッドの呼び出しがありません

• string 長の計算が非効率的です

• 移動操作にコピーが使用されています

• constexpr 指定子が見つかりません

• std::endl によって不要なフラッシュが生じることがあります

• 不必要なパディング

• 移動不可のタイプで std::move が呼び出されました

プログラミング

• 終了ハンドラーが異常終了しました

• ファイル アクセス モードまたはステータスが不適切です

• プロトタイプのない関数ポインターによる呼び出し

• オーバーラップするメモリのコピーです

• 前の操作によって無効になった環境ポインター

• 例外が値によってキャッチされました

• 前のハンドラーによって隠された例外ハンドラーです

• 等号演算子による浮動小数点の比較

• 非同期安全ではない信号ハンドラーから呼び出された関数

• 非同期安全ではない信号ハンドラーから呼び出された関数 (厳密)

• 配列の初期化が不適切です

• 非プロパーな erase-remove の用法

• 無効なデータ型が va_arg に渡されました

• Incorrect pointer scaling

• va_start に渡された不正な型のデータ

• C++ の offsetof の誤った使用

• va_start の誤った使用

• インライン制約が守られていません

• メモリ編成の前提条件が無効です

• 無効なファイル位置

• = 演算子の無効な使用

• パディング データのメモリ比較

• 文字列のメモリ比較

• データ転送時の欠落しているバイトの並べ替え

• 信号ハンドラーでの errno の不適切な使用

• 符号拡張文字の値の不適切な使用

• 信号ハンドラー内でのデータ アクセスの共有

• 安全でないマクロへの引数の二次的影響

• 信号ハンドラー内からの信号呼び出し

• 標準関数が不適切な引数で呼び出されました

• 現在の引数リストに対する va_arg 呼び出しが多すぎます

• ヘッダー ファイルの無名の名前空間

• ポインターと整数間での変換は安全ではありません

• 不確定文字列の使用

• size 引数がゼロの memset を使用しています

リソース管理

• 以前に開いたリソースを開く

セキュリティ

• 定数シードからの確定的な乱数出力です

• errno の未チェック

• 相対パスからバイナリを実行すると、外部アクターの制御を受ける可能性があります

• チェック時と使用時 (TOCTOU) の間のファイル アクセス

• 子プロセスに対するファイル記述子の公開

• chroot() の後に chdir("/") を実行せずにファイルが操作されました

• ハードコードされた機密データ

• デバイス ファイルの I/O 動作が不適切です

• ネットワーク接続操作の順序が正しくありません

• 相対パスからライブラリを読み込むと、外部アクターの制御を受ける可能性があります

• データの長さとサイズが一致していません

• readlink() の不適切な使用

• 予測可能なシードによる予測可能な乱数出力です

• 機密データが出力されました

• 要注意のヒープ メモリが解放前にクリアされていません

• 不確かなメモリのクリーン アップ

• スタック内にクリアされていない機密データがあります

• 安全でない標準暗号化関数

• 安全でない標準関数

• アクセス許可の割り当てが脆弱です

• 疑似乱数発生器が脆弱です

静的メモリ

• 関数ポインターの信頼性の低いキャスト

• ポインターの信頼性の低いキャスト

汚染されたデータ

• 汚染されたインデックスによる配列へのアクセス

• 外部制御されるパスから実行されたコマンド

• 外部制御されるコマンドの実行

• 外部で制御される要素を使用したホストの変更

• 外部制御されるパスから読み込まれたライブラリ

• 汚染された値で制限されたループ

• 汚染されたサイズでのメモリの割り当て

• 汚染された符号変化の変換

• 可変長配列の汚染されたサイズ

• 外部制御される環境変数を使用しています

影響度の低い欠陥

影響度の低い欠陥は次のとおりです。

同時実行

• ロック保持中のブロック操作

• 誤って失敗する可能性のある関数はループでラップされません

• 誤って起動する可能性のある関数はループでラップされません

• 複数のスレッドが同じ条件変数を待機しています

• マルチスレッド プログラムの信号呼び出し

• スレッドを強制終了するための信号の使用

データ フロー

• 条件が常に false であるために非アクティブにされたコード

• デッド コード

• return ステートメントがありません

• 部分的にアクセスされる配列

• 呼び出されていない静的関数

• 無意味なプリプロセッサの条件付き命令

• 変数のシャドウイング

• 読み取りのない書き込み

動的メモリ

• メモリの再割り当て後に変更されたアライメント

• Windows での関数 alloc と関数 dealloc の不一致

• 保護されていない動的メモリ割り当て

適切な手法

• 不明瞭な宣言の構文

• 同じデータに対してビット演算と算術演算が行われています

• const 修飾子付きの型と後続の変更への C++ 参照

• const 修飾子または volatile 修飾子付きの C++ の参照型

• 汎用の例外に対するキャッチの宣言

• 汎用の例外に対するスローの宣言

• void ポインターが削除されています

• 重複しているコード

• ファイルがコンパイルされません

• バッファー サイズがハードコードされています

• ループ境界がハード コードされています

• メモリの操作に使用するオブジェクトのサイズがハードコードされています

• フレキシブル配列メンバー サイズの構文が正しくありません

• ステートメントのインデントが正しくありません

• 科学表記形式が無効です

• ステートメントが複数存在する行

• セミコロンで終了するマクロ

• マクロに複数のステートメントがあります

• const でないメソッド

• switch case の break がありません

• 割り当て関数または割り当て解除関数のオーバーロードが見つかりません

• 解放したポインターのリセットがありません

• 部分的に重複しているコード

• データ型は switch 式に不適切な可能性があります

• パブリックな静的フィールドが const ではありません

• sizeof のオペランドに含まれる式が冗長です

• 無名一時オブジェクトへの参照

• if、for、または while ステートメントと同じ行にあるセミコロン

• 未変更の変数に const 修飾子が付いていません

• 使用されない変数

• 未使用のパラメーターです

• 禁止されたキーワードの使用

• 禁止されたマクロの使用

• 禁止された関数の使用

• setjmp/longjmp の使用

• 無意味なキャプチャ

• 無意味なインクルード

数値

• 浮動小数点のオーバーフロー

• 整数の精度を超過しました

• boolean 型オペランドの演算が無効な可能性があります

• 整数から浮動小数点への変換での桁落ち

• 負の値のシフト

• シフト演算の右オペランドが許容範囲外

• 符号なし整数定数のオーバーフロー

• 符号なし整数の変換のオーバーフロー

• 符号なし整数のオーバーフロー

オブジェクト指向

• *this はコピー代入演算子に返されません

• typeid オペランドとしてラムダが使用されています

• キーワード explicit がありません

パフォーマンス

• 移動操作によってスローされる可能性があります

• const のパラメーター値によって不要なデータ コピーが生じることがあります

• const の戻り値によって不要なデータ コピーが生じることがあります

• const rvalue 参照パラメーターにより、不要なデータ コピーが発生する可能性があります

• 空のデストラクターによって不要なデータ コピーが生じることがあります

• 計算量の多い dynamic_cast

• 計算量の多い論理演算です

• 計算量の多いメンバー初期化

• 計算量の多い後置インクリメント演算

• 不要な std::move を原因とする計算量の多い戻り値

• 計算量の多い const オブジェクトの戻り値

• std::function の計算量の多い型定義

• 計算量の多い未使用オブジェクト

• 計算量の多い、コンテナーの size メソッドの使用

• セットの代わりに計算量の多いマップを使用

• 計算量の多いマップの大かっこ演算子を使用して、値を挿入または代入

• 計算量の多い文字列関数を使用

• std::string の短縮に計算量の多い substr() を使用

• 単純な追加の代わりに、計算量の多い std::string の非メンバー演算子 +() が使用されています

• より効率的なオーバーロードの代わりに、計算量の多い std::string のメソッドを使用

• 空の文字列リテラルに対して計算量の多い std::string を使用

• string 長の計算が非効率的です

• 非効率的な for ループの使用

• std::endl によって不要なフラッシュが生じることがあります

• 再割り当て前の不要な構成

• 特殊なメンバー関数の不要な実装

• パラメーターへの不要な参照

• より効率的な make_shared ではなく new または make_unique を使用

プログラミング

• 有効期間が一時的なオブジェクトにアクセスしています

• フラッシュまたは位置付け呼び出しなしでのストリームからの入出力の交互実行

• string::c_str() から得られた C 文字列はポインターと比較されます

• 意図しない値をもつ memset の呼び出しです

• 書式文字列指定子と引数の不一致

• 浮動小数点値のメモリ比較

• string 配列での null 値の欠落

• FILE オブジェクトの不適切な使用

• フレキシブル配列メンバーをもつ構造体の不適切な使用

• 再呼び出し不可能な標準関数から返された内部バッファーが変更されています

• 代入が重複しています

• コピーして貼り付けのエラーの可能性あり

• オブジェクトとして使用される事前定義されたマクロ

• マクロ引数のプリプロセッサ命令

• 変換において修飾子を削除

• 計算例外の信号ハンドラーからの戻り値

• 式の二次的影響は無視されます

• 意図しない二次的影響の可能性があるストリーム引数

• トークン連結からのユニバーサル文字名

• 文字列から数値への変換は安全ではありません

セキュリティ

• 関数ポインターに絶対アドレスが割り当てられています

• 構造体のパディングによる情報漏洩

• switch 条件の case がありません

• umask が chmod 型の引数と共に使用されています

• 危険な標準関数を使用しています

• 旧式の標準関数が使用されています

• パス操作が脆弱です

静的メモリ

• NULL ポインターを使用した算術演算

汚染されたデータ

• 汚染されたオフセットによるポインターのデリファレンス

• 汚染された除算演算子

• 汚染されたモジュロ演算子

• 汚染された NULL 文字列または非 NULL 終端文字列

• 汚染された文字列形式

• 汚染されたポインターの使用

参考

トピック

• Polyspace デスクトップ ユーザー インターフェイスでの結果のフィルター処理とグループ化