Polyspace Bug Finder Server

さまざまなタイプのバグのリスト。

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

セキュリティの脆弱性、同時実行、数値的な欠陥など、さまざまなカテゴリーのバグを検出します。あらゆるコンパイラ、ターゲットプロセッサ、および RTOS 環境に対応する解析を構成します。

ドキュメンテーション

規約への準拠のためにサポートされているコーディングルールのリスト。

コーディング規約への準拠

MISRA C および MISRA C++、AUTOSAR C++14、JSF++、カスタム命名規則などの組み込みソフトウェアのコーディング規約を適用します。

ドキュメンテーション

コードを背景に表示されたセキュリティバッジ。

静的アプリケーション セキュリティ テスト

セキュリティの脆弱性や問題を検出してコードをセキュアにし、CERT C/C++、CWE、ISO 17961、MISRA C:2012 Amendment 1 などのセキュリティ コーディング規約やガイドラインに準拠します。

重要な C および C++ ソフトウェアのサイバーセキュリティ (54:13)

ドキュメンテーション

それぞれに安全規格が表示された複数の六角形。

認証サポート

IEC 61508、ISO 26262、ISO/SAE 21434、DO-178C などの業界の安全およびセキュリティ規格の認証プロセスを完了するために必要なアーティファクトを作成し、機能安全またはセキュリティを最も高いレベルまで向上させます。

ドキュメンテーション

クラウドの前にある Azure と AWS のロゴ。

あらゆるプラットフォームでの静的コード解析の実行

オンプレミスまたはクラウドのオートメーション サーバーで Polyspace Bug Finder Server を実行します。MathWorks 参照アーキテクチャを使用して、Docker、AWS®、Azure® などのプラットフォームに展開します。

ドキュメンテーション

DockerHub 上の Polyspace Bug Finder Server コンテナー
Polyspace Bug Finder Server Dockerfile
DevOps 手法の継続的ワークフローの図。

DevOps 自動化および統合

既存の DevOps ワークフローやツールにプラグインで組み込むことにより、最新のソフトウェア開発手法をサポートします。Polyspace は、Jenkins や Bamboo® などの広く使用されている継続的インテグレーション ツールと連携します。

Polyspace を使用したセキュリティと DevOps のための静的解析 (46:00)

ドキュメンテーション

製品リソース:

ドキュメンテーション ビデオ 要件 リリース ノート