Polyspace Bug Finder Server

ソフトウェアのバグおよび脆弱性の特定

セキュリティの脆弱性、同時実行、数値的な欠陥など、さまざまなカテゴリーのバグを検出します。あらゆるコンパイラ、ターゲットプロセッサ、および 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® などの広く使用されている継続的インテグレーション ツールと連携します。