組込みソフトウェアテスト・静的解析ツール部門で注目
Polyspace Bug Finder
マスワークス合同会社
C/C++の欠陥と規約違反を抽象解釈で見つける静的解析
MathWorksのC/C++向け静的解析ツール。抽象解釈を使い、バッファオーバーフローやゼロ除算、データ競合やデッドロックなどの並行性の問題を含む350種類以上のコーディング上の欠陥を見つける。MISRA C:2023、MISRA C++:2023、AUTOSAR C++14、CERT C/C++、CWE、ISO/IEC TS 17961への準拠をチェックし、循環的複雑度などのコードメトリクスも計算する。Embedded CoderやdSPACE TargetLinkで生成したコードの解析結果をSimulinkのブロックまでたどれる。ビルドから解析の構成を自動で作り、IDE上で使うPolyspace as You CodeやCI向けのPolyspace Bug Finder Serverもある。IEC Certification Kit（ISO 26262・IEC 61508）とDO Qualification Kitで認証の作業を支える。
製品のポイント
- 350種類以上の欠陥検出
- コーディング規約のチェック
- Simulinkとの連携
この製品は情報のみ掲載中で、資料請求の対象外です。
Polyspace Bug Finderの評価・機能・価格
製品概要
| 対象従業員規模 | 全ての規模に対応 | 対象売上規模 | 全ての規模に対応 |
|---|---|---|---|
| 対象従業員規模 | 全ての規模に対応 | ||
| 対象売上規模 | 全ての規模に対応 | ||
| 提供形態 | パッケージソフト | ||
| 参考価格 | 別途お問い合わせ | ||
| 参考価格補足 | 公式サイトに価格の掲載なし（要問い合わせ） | ||
製品詳細
製品詳細
MathWorksのC/C++向け静的解析ツール。抽象解釈を使い、バッファオーバーフローやゼロ除算、データ競合やデッドロックなどの並行性の問題を含む350種類以上のコーディング上の欠陥を見つける。MISRA C:2023、MISRA C++:2023、AUTOSAR C++14、CERT C/C++、CWE、ISO/IEC TS 17961への準拠をチェックし、循環的複雑度などのコードメトリクスも計算する。Embedded CoderやdSPACE TargetLinkで生成したコードの解析結果をSimulinkのブロックまでたどれる。ビルドから解析の構成を自動で作り、IDE上で使うPolyspace as You CodeやCI向けのPolyspace Bug Finder Serverもある。IEC Certification Kit（ISO 26262・IEC 61508）とDO Qualification Kitで認証の作業を支える。
強み・弱み
強み：350種類以上の欠陥と、MISRA C:2023・MISRA C++:2023・AUTOSAR C++14・CERT C/C++への準拠を1つのツールで確かめられる／Embedded CoderやTargetLinkの生成コードの解析結果をSimulinkのブロックまでたどれ、モデルベース開発と組み合わせやすい／IDE・CI・結果レビューの製品がそろい、Polyspace Testとプロジェクトの構成を共有できる
弱み：価格が公式サイトに掲載されておらず、構成ごとの見積もりが必要／実行時エラーが無いことの証明は別製品のPolyspace Code Proverが担い、目的に応じて製品を組み合わせる必要がある
合う企業/合わない企業・FAQ
合う企業：MISRAやAUTOSAR C++14への準拠を確かめたい／Simulinkの生成コードと手書きコードをまとめて解析したい
合わない企業：価格を公開情報で比べて選びたい／C/C++以外の言語が主体の開発
Q.どのコーディング規約に対応していますか？
A.MISRA C:2023、MISRA C++:2023、AUTOSAR C++14、CERT C/C++、CWE、ISO/IEC TS 17961への準拠をチェックできます。独自のルールも作れます。
Q.機能安全規格の認証に使えますか？
A.IEC Certification Kit（ISO 26262・IEC 61508）とDO Qualification Kit（DO-178）が用意されています。
仕様・動作環境
| API連携可否 | - |
|---|---|
| 導入企業カスタム有無 | - |
価格・料金
参考価格：別途お問い合わせ
公式サイトに価格の掲載なし（要問い合わせ）
価格・料金プランを見る企業情報
- 会社名
- マスワークス合同会社（製造業）
- 住所
- 東京都港区赤坂
評価・掲載基準について
専門家分析
製造業IT導入の専門知識と現場実績に基づき、各製品の機能・実装難度・製造業への適合性を独自の観点で分析しています。
独立評価
掲載ベンダーからの広告費・報酬は評価スコアに影響しません。評価軸（生産管理・品質管理・コスト管理等）は編集部が独自に設定しています。
データ検証
公開仕様書・導入事例など複数のソースを照合し、記載情報の正確性を定期的に検証・更新しています。
