Polyspace Code Prover Server

Polyspace Code Prover Server は、C コードおよび C++ コードのオーバーフロー、ゼロ除算、範囲外の配列アクセス、その他の特定のランタイムエラーが存在しないことを証明する、堅固な静的解析エンジンです。マルチスレッドコードを含む、起こりうるすべての制御フローおよびデータフローに手続き間解析を行い、各演算を、常に安全、常にエラー、到達不能、脆弱のいずれかとして識別します。Polyspace Code Prover Server は、コードセグメントについて、ランタイムエラーが存在しない、エラーが証明されている、到達不能である、または未証明であるものを識別します。

Polyspace Code Prover Server は、サーバークラスのマシンで実行し、Jenkins^® などのツールを使用して、自動検証のためにビルドおよび継続的インテグレーション システムに統合できます。解析結果は Polyspace Access に公開して、問題の重大度による順位付けと解決に使用できます。

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