静的解析によるソフトウェアのバグの特定
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 用) を通じて、業界標準のサポートが可能です。
Polyspace Bug Finder 概要
機能
製品リソース
これらのリソースを調べて Polyspace Bug Finder をさらに詳しく知る。
ドキュメンテーション
リリース ノートやコード サンプルなど、Polyspace Bug Finderの関数と機能のドキュメンテーションを調べる。
動作環境
最新リリースの Polyspace Bug Finder のシステム必要条件を見る。
技術情報
Polyspace Bug Finder を使用する技術的な利点について説明する記事を読む。
ユーザー事例
Polyspace Bug Finder の各業界の研究開発分野における活用事例を読む。
コミュニティとサポート
質問の答えを検索し、トラブルシューティング リソースを調べる。
アプリ
Polyspace Bug Finder アプリでは、対話型のインターフェイスを介して一般的なタスクにすばやくアクセス可能。
製品評価版の入手または製品の購入
Polyspace Bug Finder を使用し始める方法はたくさんあります。 無料評価版をダウンロード, or 価格およびライセンス のオプションを調べてください。
関連ソリューション
Polyspace Bug Finder を使用して、科学および工学分野の課題を解決します。
