Accelerating the pace of engineering and science

Polyspace Bug Finder

静的解析によるソフトウェアのバグの特定

Polyspace Bug Finder™ は、C および C++ 組み込みソフトウェアの実行時エラー、並列処理問題、セキュリティ脆弱性およびその他の欠陥を特定します。Polyspace Bug Finder は静的解析を使用して、ソフトウェアの制御、データ フローおよび手順間の動作を分析します。欠陥が検出されると、即座に欠陥が強調表示されるため、開発プロセスの初期段階でバグをトリアージおよび修正することができます。

Polyspace Bug Finder は、MISRA C®、MISRA C++、JSF++ およびカスタム命名規則などのコーディング ルール規約への準拠をチェックします。また、検出されたバグ、コードルール違反および循環的複雑度などのコード品質メトリックが含まれるレポートを生成します。Polyspace Bug Finder は Eclipse™ IDE と併用でき、ビルド システムに統合することができます。

自動的に生成されたコードの場合、Polyspace® による分析の結果を Simulink® モデルおよび dSPACE® TargetLink® ブロックまで遡ってトレースすることができます。

IEC Certification Kit (ISO 26262 および IEC 61508 用) および DO Qualification Kit (DO-178 用) を通じて、業界標準のサポートが可能です。

Fast-Track MISRA Compliance of Generated Code

詳細はこちら

評価版Polyspace Bug Finder

評価版ソフトウェアを入手する

製品評価版の入手
または製品の購入

Ram Cherukuri

新着情報

Ram Cherukuri、 Polyspace Bug Finder 技術エキスパート

技術リソース

ユーザコミュニティ (英語)