Polyspace Bug Finder Server は、ランタイムエラー、同時実行の問題、その他のコーディングの欠陥など、C および C++ の一般的なクラスのバグを特定する静的解析エンジンです。Polyspace Bug Finder Server は、コーディングルール (MISRA C®、MISRA C++、JSF++)、セキュリティルール (CWE、CERT® C、CERT C++、ISO/IEC 17961)、およびカスタムルールへの準拠についてもソースコードをチェックします。
Polyspace Bug Finder Server を使用すると、プロジェクト、ファイル、および関数レベルで、循環的複雑度や HIS メトリクスなどのコードメトリクスを監視できます。さまざまなコンパイラ、ターゲットプロセッサ、および RTOS 環境で使用できるようにサーバーを構成し、Jenkins® などのツールを使用した継続的インテグレーション システムで実行を自動化できます。コード解析結果は Polyspace Access に公開して、問題の重大度による順位付けと解決に使用できます。
業界標準のサポートは、IEC Certification Kit (for IEC 61508 and ISO 26262) および 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 Bug Finder Server を実行します。MathWorks 参照アーキテクチャを使用して、Docker、AWS®、Azure® などのプラットフォームに展開します。
DevOps 自動化および統合
既存の DevOps ワークフローやツールにプラグインで組み込むことにより、最新のソフトウェア開発手法をサポートします。Polyspace は、Jenkins や Bamboo® などの広く使用されている継続的インテグレーション ツールと連携します。
製品リソース:
Polyspace 製品ファミリ
Polyspace 製品は、 開発ライフサイクル全体でソフトウェア品質をテストおよび監視することにより、重要なコードを安全かつセキュアにします。
Polyspace Access
コーディングの欠陥の特定、静的解析結果のレビュー、ソフトウェア品質メトリクスの監視
Polyspace Copilot
Polyspace 向けに最適化された AI アシスタント。
Polyspace Test
組み込みシステムにおける C および C++ コードのテストを開発、管理、実行
Polyspace as You Code
IDE 上でコーディング規約違反やソフトウェアの脆弱性を特定します。
Polyspace Test Server
オートメーション サーバー上で C/C++ コードのテストを実行し、構造カバレッジを解析します。
Polyspace Code Prover Server
CI パイプラインへの重要な C および C++ コードステートメントを継続的かつ網羅的に検証します。
Polyspace Bug Finder
コーディングルール、セキュリティ標準、コードメトリクスをチェックし、バグを検出します。
Polyspace Client for Ada
形式的手法を用いて、重要な Ada ステートメント ユニットを網羅的に検証します。
Polyspace Bug Finder Server
ソフトウェアの欠陥を特定し、CI パイプラインにコーディングルールを適用します。
Polyspace Server for Ada
CI パイプラインへの重要な Ada コードステートメントを継続的かつ網羅的に検証します。
Polyspace Code Prover
形式的手法を用いて、最も重要な C および C++ ステートメントを網羅的に検証します。
