Polyspace Bug Finder は C および C++ 組み込みソフトウェアのランタイムエラー、同時実行の問題、セキュリティ脆弱性およびその他の欠陥を特定します。Polyspace Bug Finder はセマンティック解析を含む静的解析を使用して、ソフトウェアの制御フロー、データフローおよび手続き間の動作を解析します。欠陥を検出して直ちに強調表示することにより、開発プロセスの初期段階でバグを重大度により順位付けし、修正することができます。
Polyspace Bug Finder は MISRA C®、MISRA C++、AUTOSAR C++14、CERT® C、CERT C++、カスタム命名規則などのコーディングルール規約への準拠をチェックします。また、検出されたバグ、コードルール違反、および循環的複雑度などのコード品質メトリクスが含まれるレポートを生成します。
自動的に生成されたコードの場合、Polyspace による解析結果を Simulink モデルおよび dSPACE® TargetLink® ブロックまで遡ってトレースすることができます。
業界標準のサポートは、IEC Certification Kit (for ISO 26262 and IEC 61508) および DO Qualification Kit (for DO-178) により対応しています。
ソフトウェアのバグおよび脆弱性の特定
セキュリティの脆弱性、同時実行、数値的な欠陥など、さまざまなカテゴリーのバグを検出します。任意のコンパイラ、ターゲットプロセッサ、および RTOS 環境に対応する解析を構成します。
コーディング規約への準拠
MISRA C および MISRA C++、AUTOSAR C++14、JSF++、カスタム命名規則などの組み込みソフトウェアのコーディング規約を適用します。
静的アプリケーション セキュリティ テスト
セキュリティ上の脆弱性と問題を検出して、アプリケーションの安全性を確保します。CERT C/C++、CWE、ISO 17961、MISRA C:2012 Amendment 1 などのセキュリティ コーディング規約とガイドラインに準拠します。
認証サポート
IEC 61508、ISO 26262、ISO/SAE 21434、DO-178C などの業界の安全およびセキュリティ規格の認証プロセスを完了するために必要なアーティファクトを作成し、機能安全またはセキュリティを最も高いレベルまで向上させます。
デスクトップでの対話形式の解析
デスクトップ コンピューターで解析を実行し、調査結果をレビューします。デバッガーに似たビュー、イベントトレース、および呼び出しグラフを使用して、複雑なバグの根本原因を特定します。見つかった問題を解決し、レポートを生成します。
製品リソース:
“Polyspace を使用すると、すべてのコードをマージする前に重大なランタイムエラーを特定して修正することができ、ソフトウェアのセキュリティと品質を確保することができます。”
Polyspace 製品ファミリ
Polyspace 製品は、 開発ライフサイクル全体でソフトウェア品質をテストおよび監視することにより、重要なコードを安全かつセキュアにします。
Polyspace Access
コーディングの欠陥の特定、静的解析結果のレビュー、ソフトウェア品質メトリクスの監視
Polyspace Code Prover Server
ソフトウェアにランタイムエラーが存在しないことを証明
Polyspace Bug Finder
静的解析を使用したソフトウェアのバグの特定
Polyspace Test
組み込みシステムにおける C および C++ コードのテストを開発、管理、実行
Polyspace Bug Finder Server
サーバー コンピューターで実行する静的解析によりソフトウェアの欠陥を特定
Polyspace Client for Ada
ソースコードにランタイムエラーが存在しないことを証明
Polyspace Code Prover
ソフトウェアにランタイムエラーが存在しないことを証明
Polyspace Server for Ada
コンピューター クラスターでコード検証を実行し、メトリクスを公開
