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

セキュリティの脆弱性、同時実行、数値的な欠陥など、さまざまなカテゴリーのバグを検出します。任意のコンパイラ、ターゲットプロセッサ、および 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 などの業界の安全およびセキュリティ規格の認証プロセスを完了するために必要なアーティファクトを作成し、機能安全またはセキュリティを最も高いレベルまで向上させます。

Simulink および Stateflow との統合

生成されたコードに対して解析を実行し、得られた調査結果をソースコードから対応する Simulink モデルブロックまたは Stateflow チャートまでトレースします。Simulink 環境内から Polyspace 解析を起動します。

ソフトウェア品質の監視

コードメトリクスを生成して、ソースコードの品質を測定および改善します。解析結果を品質のしきい値と比較します。

デスクトップでの対話形式の解析

デスクトップ コンピューターで解析を実行し、調査結果をレビューします。デバッガーに似たビュー、イベントトレース、および呼び出しグラフを使用して、複雑なバグの根本原因を特定します。見つかった問題を解決し、レポートを生成します。

“Polyspace を使用すると、すべてのコードをマージする前に重大なランタイムエラーを特定して修正することができ、ソフトウェアのセキュリティと品質を確保することができます。”

Johannes Foufas, Volvo Cars