Polyspace Code Prover Server

重大なランタイムエラーが存在しないことを証明

コードを実行せずに、可能性のあるすべての入力に対してすべてのコードパスを解析します。ランタイム条件にかかわらず、ランタイムエラーが決して発生しないステートメントを特定し、それ以外の注意が必要なステートメントを検出します。

DevOps 自動化および統合

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

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

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

認証サポート

業界標準の認証プロセスを完了するために必要なアーティファクトを作成します。IEC 61508 および ISO 26262 の最高機能安全水準の TÜV SÜD 認証を取得しています。DO-178C 検定をサポートしています。

意図しないソフトウェアの動作を防止

実行パスを介して到達できないすべてのコードセクションと、ロジックおよびプログラム構造のエラーを特定します。

グローバル変数の使用の解析

グローバル変数の読み取り/書き込み操作によって生じる問題のデバッグにかかる時間を削減します。保護されていない共有変数と使用されていない変数を特定します。

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

バッファー オーバーフロー、メモリアクセス、数値オーバーフローなどの重大なセキュリティの脆弱性が存在しないことを証明します。コードを実行せずに、すべてのコードパスと入力でコードを解析することにより、ファズテストの必要性を削減します。

影響分析

指定されたグローバル変数やローカル変数が他の変数や特定のステートメントに与える影響を形式的に追跡し、検証します。OBD 関連ソフトウェアに関する CARB からの要件を満たすための信号解析、ISO 26262 のコンテキストで干渉がないことの証明、およびキャリブレーション パラメーターの影響分析を行います。ソフトウェア セキュリティのコンテキストでは、汚染解析を実行し、機密データフローを追跡します。