チェックの構成
Polyspace® Bug Finder™ のさまざまな欠陥とコーディング ルールを検出するように解析を構成する
既定では、Polyspace Bug Finder は事前定義されている一連の欠陥がコードにないかチェックします。追加のチェックを実行するように解析を構成します。以下に例を示します。
有効にするサブセットを指定して、各種コーディング ルールの違反をチェックする。
特定のコード メトリクスのセットを計算する。
使用するマルチタスキング ライブラリを指定する。
特定の Bug Finder 欠陥のセットをチェックする。
カテゴリ
- コーディング ルールのチェックおよびコード メトリクスの構成
MISRA™、AUTOSAR、CERT®、および JSF® コーディング ルール セット、カスタム コーディング ルール、コード メトリクスを有効にする
- マルチタスキング チェックの構成
エントリ ポイント、割り込み、周期タスク、時間的に排他なタスクなど、コードで使用するマルチタスキング構成要素を指定する
- Bug Finder 欠陥チェッカーの構成
Polyspace Bug Finder 欠陥チェッカーのセットを指定する