Polyspace

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

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

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

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

C/C++ や Ada に形式手法を使用した、自動化された静的コード解析

テストケースやコードを実行することなくバグを検出し、重大なランタイムエラーがないことを形式的に証明

安全規格を満たし、MISRA、ISO 26262、IEC 61508、DO-178、FDA 規制への準拠を文書化

ソフトウェアのセキュリティ脆弱性と CWE、CERT-C、ISO/IEC 17961 などの標準についてチェック

Nissan

Polyspace は、どのコードを実行したときにランタイムエラーが発生しうるかを明らかにするだけでなく、実行条件に関係なく決してランタイムエラーが発生しないコードを特定できます。

Alenia Aermacchi

Polyspace 静的解析ツールは、ランタイムエラーに対してコードをチェックし、MISRA コーディング規約への準拠性を確認して、DO-178 認証クレジット用のアーティファクトを作成します。

Miracor

Polyspace は、Miracor が FDA などの規制コミュニティに対して品質と正確性を示して、当社のデバイスが安全であると証明するのに役立ちます。