Polyspace® 静的コード解析製品は、想定されるあらゆる制御フローやデータフローの下、形式手法を使用して重大なランタイムエラーがないことを証明します。これには、コーディングルール、セキュリティ脆弱性、コードメトリクス、数百種類の追加のバグに対するチェッカーが含まれています。
Polyspace Access
コーディングの欠陥の特定、静的解析結果のレビュー、ソフトウェア品質メトリクスの監視
Polyspace Bug Finder
コーディングルール、セキュリティ標準、コードメトリクスのチェックと、バグの検出
Polyspace Bug Finder Server
サーバー コンピューターで実行する静的解析によりソフトウェアの欠陥を特定
Polyspace Code Prover
コードを実行せずに、重大なランタイムエラーが存在しないことを形式的に証明
Polyspace Code Prover Server
ソフトウェアにランタイムエラーが存在しないことを証明
Polyspace Client for Ada
ソースコードにランタイムエラーが存在しないことを証明
Polyspace Server for Ada
コンピューター クラスターでコード検証を実行し、メトリクスを公開

C/C++ や Ada に形式手法を使用した、自動化された静的コード解析
品質
テストケースやコードを実行することなくバグを検出し、重大なランタイムエラーがないことを形式的に証明
安全
安全規格を満たし、MISRA、ISO 26262、IEC 61508、DO-178、FDA 規制への準拠を文書化
セキュリティ
ソフトウェアのセキュリティ脆弱性と CWE、CERT-C、ISO/IEC 17961 などの標準についてチェック
Volvo Cars
Polyspace を使用すると、すべてのコードをマージする前に重大なランタイムエラーを特定して修正することができ、ソフトウェアのセキュリティと品質を確保することができます。
Alenia Aermacchi
Polyspace 静的解析ツールは、ランタイムエラーに対してコードをチェックし、MISRA コーディング規約への準拠性を確認して、DO-178 認証クレジット用のアーティファクトを作成します。
Miracor
Polyspace は、Miracor が FDA などの規制コミュニティに対して品質と正確性を示して、当社のデバイスが安全であると証明するのに役立ちます。