Polyspace Bug Finder™ は、C および C++ 組み込みソフトウェアのランタイムエラー、同時実行の問題、セキュリティ脆弱性およびその他の欠陥を特定します。Polyspace Bug Finder はセマンティック解析を含む静的解析を使用して、ソフトウェアの制御、データフローおよび手続き間の動作を解析します。欠陥を検出して直ちに強調表示することにより、開発プロセスの初期段階でバグを重大度により順位付けし、修正することができます。

Polyspace Bug Finder は、MISRA C^®、MISRA C++、JSF++、CERT^® C、CERT^® C++、およびカスタム命名規則などのコーディングルール規約への準拠をチェックします。また、検出されたバグ、コードルール違反および循環的複雑度などのコード品質メトリクスが含まれるレポートを生成します。Polyspace Bug Finder を Eclipse™ IDE とともに使用して、デスクトップのコードを解析できます。

自動的に生成されたコードの場合、Polyspace による解析結果を Simulink^® モデルおよび dSPACE^® TargetLink^® ブロックまで遡って追跡することができます。

IEC Certification Kit (ISO 26262 および IEC 61508 用) および DO Qualification Kit (DO-178 用) を通じて、業界標準のサポートが可能です。