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) によって対応しています。