組込みソフトウェアテスト・静的解析ツール部門で注目

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で認証の作業を支える。