Polyspace Bug Finder

主な機能

  • C および C++ コード内のランタイム エラー、データ フローの問題、およびその他の欠陥の検出
  • 大規模なコードベースの高速解析
  • MISRA-C:2004、MISRA-C++:2008、JSF++、およびカスタム命名規則の準拠性のチェック
  • 循環的複雑度およびその他のコード メトリクス
  • Eclipse™ 統合
  • Simulink® モデルへのコード検証結果のトレーサビリティ
  • Polyspace Code Prover™ の結果へのアクセス
  • 誤検出結果の少ないバグ検出
Static analysis results displayed by Polyspace Bug Finder.
Polyspace Bug Finder によって表示される静的解析結果。
次のトピック: 静的解析によるソフトウェアの欠陥の特定

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

評価版 Polyspace Bug Finder

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

モデルとコードのテスト検証

Web セミナーを表示する