Polyspace Bug Finder 入門

Polyspace^® Bug Finder™ は C/C++ 組み込みソフトウェア コードを解析して、コーディングの欠陥、コーディング ルールからの逸脱、コード メトリクスを報告します。抽象解釈に基づいて静的解析を使用し、バッファー オーバーフロー、ゼロ除算エラー、同時実行の問題、その他のセキュリティ上の欠陥など、350 を超える種類のコーディング欠陥を特定します。

Polyspace Bug Finder は、MISRA C™:2023、MISRA™ C++:2023、AUTOSAR C++14、CERT^® C/C++、CWE™ などのコーディング ルールへの準拠をチェックします。また、循環的複雑度などのコード メトリクスを計算します。組織の要件に対応する独自の欠陥とコーディング規約を作成することもできます。

Polyspace Bug Finder と Polyspace Test™ を連携させてコード検証とテストをまとめて実行することで、同じプロジェクト構成を共有し、ツールの補完関係を利用して、重大度による順位付けを容易に行うことができます。Simulink^® と連携することで、生成コードの自動設定とトレーサビリティが有効になります。

業界標準には、IEC Certification Kit (for ISO 26262 and IEC 61508) と DO Qualification Kit (for DO-178) によって対応しています。

チュートリアル

デスクトップ

• Run Polyspace Bug Finder on Desktop
  Check C/C++ code for defects, coding rule violations or security vulnerabilities.
• Review Bug Finder Results in Polyspace Platform User Interface
  Interpret Polyspace Bug Finder results, fix code or justify results, manage results.

サーバーおよび Web インターフェイス

• Polyspace Server および Access 製品のクイック スタート ガイド
  プロジェクト、チーム、および組織での、Polyspace 実行を設定するのに必要な作業を確認する。
• サーバーでの Polyspace Bug Finder の実行と Web ベースのレビューのための結果のアップロード
  送信後のコードで欠陥およびコーディング規約違反をチェックし、Web インターフェイスでのレビューのために結果をアップロードする。

展開

• Polyspace 製品およびソフトウェア開発ワークフロー
  

  ソフトウェア開発ライフ サイクルで使用できる Polyspace 製品について学ぶ。

• Polyspace Bug Finder と Polyspace Code Prover の違い
  

  Bug Finder と Code Prover の相互補完を調べ、開発ワークフローに各製品を導入するタイミングを判断する。