Polyspace Bug Finder
静的解析によるソフトウェアのバグの特定
静的自動解析
C/C++ のランタイム エラー、同時実行問題、コーディングの欠陥を含む数百種類のバグを検出します。
コーディング ルール
MISRA C、MISRA C++、JSF++、およびカスタムのルール準拠を適用します。
セキュリティ標準
CWE、CERT-C、ISO/IEC 17961や、その他のセキュリティ脆弱性と標準についてチェックします。
コード メトリクス
プロジェクト、ファイル、および関数の各レベルで、循環的複雑度、スタック使用量、HIS メトリクスなどのメトリクスを収集します。
製品機能
Simulink モデルへのコード解析のトレース
生成されたコードの結果をソース モデル ブロックへトレースします。
セキュリティ要件への適合
CERT C、ISO 17961、MISRA C:2012 Amendment、および CWE に準拠します。
ソフトウェア品質目標の設定および測定
ソフトウェア チームのコラボレーションとプロジェクトのマイルストーン測定のためにパス/失敗の品質しきい値を定義します。
任意のランタイム環境向けに構成可能
任意のコンパイラ、ターゲット プロセッサ、RTOS 環境、および継続的インテグレーション システムに統合することができます。
試してみる
