Polyspace
重要なコードを安全かつセキュアにする
Polyspace®静的コード解析製品は,想定されるあらゆる制御フローやデータフローの下,形式手法を使用して重大なランタイムエラーがないことを証明します。これには,コーディングルール,セキュリティ脆弱性,コードメトリクス,数百種類の追加のバグに対するチェッカーが含まれています。
Polyspace代码验证
コードを実行することなく重大なランタイムエラーがないことを形式的に証明
Polyspace错误发现者
コーディングルール,セキュリティ標準,コードメトリクスをチェックし,バグを検出
AdaのPolyspace
ソースコードにランタイムエラーがないことを証明
C / c++やAdaに形式手法を使用した,自動化された静的コード解析
品質
テストケースやコードを実行することなくバグを検出し,重大なランタイムエラーがないことを形式的に証明
安全
安全規格を満たし,MISRA, ISO 26262、IEC 61508, - 178, FDA規制への準拠を文書化
セキュリティ
ソフトウェアのセキュリティ脆弱性とCWE, CERT-C, ISO / IEC 17961などの標準についてチェック
日产
Polyspaceは,どのコードを実行したときにランタイムエラーが発生しうるかを明らかにするだけでなく,実行条件に関係なく決してランタイムエラーが発生しないコードを特定できます。
阿莱尼亚·马基公司
Polyspace静的解析ツールは,ランタイムエラーに対してコードをチェックし,MISRAコーディング規約への準拠性を確認して,做- 178認証クレジット用のアーティファクトを作成します。
Miracor
Polyspaceは,MiracorがFDAなどの規制コミュニティに対して品質と正確性を示して,当社のデバイスが安全であると証明するのに役立ちます。
