このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Polyspace as You Code 解析で非アクティブにされるチェッカー
Polyspace® as You Code は、IDE で現在アクティブなファイルのバグとコーディング ルール違反を検出します。問題を検出するために複数のソース ファイルが必要な場合は、仕様により、解析で問題にフラグを設定することができません。ユーザーがより簡単にチェッカーを選択できるよう、次のような設定になっています。
通常複数ファイルのコンテキストの結果を主に生成するチェッカーは、Polyspace as You Code で完全に非アクティブにされます。
一部のコーディング規約チェッカーは、単一ファイルの問題と複数ファイルの問題の両方に対応しています。これらのチェッカーは非アクティブにされませんが、スコープが縮小され、Polyspace as You Code で表示される問題の数は、フル統合解析よりも少なくなります。
これらの複数ファイルの問題を検出するには、Polyspace Bug Finder™ または Polyspace Bug Finder Server™ を使用して、プロジェクトに対する統合解析を実行します。
Polyspace as You Code で非アクティブにされるチェッカーとコーディング ルール
これらの問題に対応するチェッカーは、Polyspace as You Code 解析では非アクティブにされます。これらのチェッカーを Polyspace as You Code IDE 拡張機能の設定で (またはオプション [チェッカー アクティベーション ファイル] (-checkers-activation-file) (Polyspace Bug Finder) を使用して) 有効にした場合でも、解析では内部で非アクティブにされます。
非アクティブにされる Bug Finder チェッカー
Polyspace as You Code 解析で非アクティブにされる Bug Finder チェッカーには以下が含まれます。
ロック解除されていません(Polyspace Bug Finder)ロックの欠落(Polyspace Bug Finder)ロック保持中のブロック操作(Polyspace Bug Finder)データ レース(Polyspace Bug Finder)隣接するビット フィールドでのデータ レース(Polyspace Bug Finder)標準ライブラリ関数呼び出しでデータ レースが発生しました(Polyspace Bug Finder)Deadlock(Polyspace Bug Finder)ロックされたミューテックスの破棄(Polyspace Bug Finder)結合済みまたは分離済みスレッドの結合または分離(Polyspace Bug Finder)ダブル ロック(Polyspace Bug Finder)ロック解除が重複しています(Polyspace Bug Finder)LDAP インジェクション(Polyspace Bug Finder)スレッドからエスケープする自動変数またはスレッド ローカル変数(Polyspace Bug Finder)複数のミューテックスで同じ条件変数が使用されています(Polyspace Bug Finder)プレーン テキストのパスワードがファイル システムに保存されています(Polyspace Bug Finder)テスト フィクスチャの誤った使用(Polyspace Bug Finder)モッキング API の誤った使用(Polyspace Bug Finder)誤ったテストの登録または定義(Polyspace Bug Finder)テストのセットアップまたは破棄の API の誤った使用(Polyspace Bug Finder)構造体のパディングによる情報漏洩(Polyspace Bug Finder)サポートされていない構文がテスト オーサリング API とともに使用されました(Polyspace Bug Finder)リソース インジェクション(Polyspace Bug Finder)マルチスレッド プログラムの信号呼び出し(Polyspace Bug Finder)複数のスレッドが同じ条件変数を待機しています(Polyspace Bug Finder)SQL インジェクション(Polyspace Bug Finder)汚染されたソースを要注意の関数と共に使用(Polyspace Bug Finder)スレッド固有のメモリ リーク(Polyspace Bug Finder)Typedef が一致しません(Polyspace Bug Finder)
非アクティブにされる CERT C ルール
Polyspace as You Code 解析で非アクティブにされる CERT® C コーディング ルールには以下が含まれます。
CERT C: Rec.CON01-C(Polyspace Bug Finder)CERT C:Rec.CON05-C(Polyspace Bug Finder)CERT C: Rule CON30-C(Polyspace Bug Finder)CERT C: Rule CON31-C(Polyspace Bug Finder)CERT C: Rule CON32-C(Polyspace Bug Finder)CERT C: Rule CON33-C(Polyspace Bug Finder)CERT C:Rule CON34-C(Polyspace Bug Finder)CERT C: Rule CON35-C(Polyspace Bug Finder)CERT C: Rule CON37-C(Polyspace Bug Finder)CERT C:Rule CON38-C(Polyspace Bug Finder)CERT C:Rule CON39-C(Polyspace Bug Finder)CERT C: Rule CON43-C(Polyspace Bug Finder)CERT C:Rec.DCL15-C(Polyspace Bug Finder)CERT C:Rec.EXP12-C(Polyspace Bug Finder)CERT C: Rule POS48-C(Polyspace Bug Finder)CERT C: Rule POS49-C(Polyspace Bug Finder)CERT C:Rule POS50-C(Polyspace Bug Finder)CERT C: Rule POS51-C(Polyspace Bug Finder)CERT C: Rule POS52-C(Polyspace Bug Finder)CERT C:Rule POS53-C(Polyspace Bug Finder)
非アクティブにされる CERT C++ ルール
Polyspace as You Code 解析で非アクティブにされる CERT C++ コーディング ルールには以下が含まれます。
CERT C++: CON33-C(Polyspace Bug Finder)CERT C++:CON37-C(Polyspace Bug Finder)CERT C++:CON43-C(Polyspace Bug Finder)CERT C++:CON50-CPP(Polyspace Bug Finder)CERT C++:CON51-CPP(Polyspace Bug Finder)CERT C++:CON52-CPP(Polyspace Bug Finder)CERT C++:CON53-CPP(Polyspace Bug Finder)CERT C++:CON55-CPP(Polyspace Bug Finder)CERT C++:CON56-CPP(Polyspace Bug Finder)CERT C++:EXP60-CPP(Polyspace Bug Finder)
非アクティブにされる MISRA C:2004 および MISRA AC AGC ルール
Polyspace as You Code 解析で非アクティブにされる MISRA C™:2004 および MISRA™ AC AGC コーディング ルールには以下が含まれます。
5.1
8.10
8.9
非アクティブにされる MISRA C:2012 ルール
Polyspace as You Code 解析で非アクティブにされる MISRA C:2012 コーディング ルールには以下が含まれます。
MISRA C:2012 Rule 2.3(Polyspace Bug Finder)MISRA C:2012 Rule 2.4(Polyspace Bug Finder)MISRA C:2012 Rule 2.5(Polyspace Bug Finder)MISRA C:2012 Rule 5.1(Polyspace Bug Finder)MISRA C:2012 Rule 5.8(Polyspace Bug Finder)MISRA C:2012 Rule 5.9(Polyspace Bug Finder)MISRA C:2012 Rule 8.6(Polyspace Bug Finder)MISRA C:2012 Rule 8.7(Polyspace Bug Finder)MISRA C:2012 Dir 4.13(Polyspace Bug Finder)MISRA C:2012 Dir 4.15(Polyspace Bug Finder)
非アクティブにされる MISRA C:2023 ルール
Polyspace as You Code 解析で非アクティブにされる MISRA C:2012 コーディング ルールには以下が含まれます。
MISRA C:2023 Rule 2.3(Polyspace Bug Finder)MISRA C:2023 Rule 2.4(Polyspace Bug Finder)MISRA C:2023 Rule 2.5(Polyspace Bug Finder)MISRA C:2023 Rule 5.1(Polyspace Bug Finder)MISRA C:2023 Rule 5.8(Polyspace Bug Finder)MISRA C:2023 Rule 5.9(Polyspace Bug Finder)MISRA C:2023 Rule 8.6(Polyspace Bug Finder)MISRA C:2023 Rule 8.7(Polyspace Bug Finder)MISRA C:2023 Dir 4.13(Polyspace Bug Finder)MISRA C:2023 Dir 4.15(Polyspace Bug Finder)
非アクティブにされる MISRA C++:2008 ルール
MISRA as You Code 解析で非アクティブにされる Polyspace C++:2008 コーディング ルールには以下が含まれます。
MISRA C++:2008 Rule 0-1-3(Polyspace Bug Finder)MISRA C++:2008 Rule 15-4-1(Polyspace Bug Finder)MISRA C++:2008 Rule 3-2-2(Polyspace Bug Finder)MISRA C++:2008 Rule 3-2-4(Polyspace Bug Finder)
非アクティブにされる AUTOSAR C++14 ルール
Polyspace as You Code 解析で非アクティブにされる AUTOSAR C++14 コーディング ルールには以下が含まれます。
AUTOSAR C++14 Rule M0-1-3(Polyspace Bug Finder)AUTOSAR C++14 Rule M3-2-2(Polyspace Bug Finder)AUTOSAR C++14 Rule M3-2-4(Polyspace Bug Finder)
非アクティブにされる CWE ルール
Polyspace as You Code 解析で非アクティブにされる CWE ルールには以下が含まれます。
非アクティブにされる JSF C++ コーディング ルール
Polyspace as You Code 解析で非アクティブにされる JSF® C++ コーディング ルールには以下が含まれます。
137
46
参考
トピック
- Polyspace as You Code の解析範囲
- 既定で有効な Polyspace Bug Finder 欠陥チェッカー (Polyspace Bug Finder)
