Polyspace 製品

Polyspace® 静的コード解析製品は、想定されるあらゆる制御フローやデータフローの下、形式手法を使用して重大なランタイムエラーがないことを証明します。これには、コーディングルール、セキュリティ脆弱性、コードメトリクス、数百種類の追加のバグに対するチェッカーが含まれています。

Polyspace Code Prover

コードを実行することなく重大なランタイムエラーがないことを形式的に証明

Polyspace Bug Finder

コーディングルール、セキュリティ標準、コードメトリクスをチェックし、バグを検出

Ada の Polyspace

ソースコードにランタイムエラーがないことを証明