Polyspace Bug Finder Server™ は、ランタイムエラー、同時実行の問題、その他のコーディングの欠陥など、C および C++ の一般的なクラスのバグを特定する静的解析エンジンです。Polyspace Bug Finder Server は、コーディングルール (MISRA C^®、MISRA C++、JSF++)、セキュリティルール (CWE、CERT^® C、CERT C++、ISO/IEC 17961)、およびカスタムルールへの準拠についてもソースコードをチェックします。

Polyspace Bug Finder Server を使用すると、プロジェクト、ファイル、および関数レベルで、循環的複雑度や HIS メトリクスなどのコードメトリクスを監視できます。さまざまなコンパイラ、ターゲットプロセッサ、および RTOS 環境で使用できるようにサーバーを構成し、Jenkins^® などのツールを使用した継続的インテグレーション システムで実行を自動化できます。コード解析結果は Polyspace Access™ に公開して、問題の重大度による順位付けと解決に使用できます。

業界標準のサポートは、IEC Certification Kit (for IEC 61508 and ISO 26262) および DO Qualification Kit (for DO-178) により対応しています。