Polyspace Bug Finder™ 可以识别嵌入式软件 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析，包括语义分析，Polyspace Bug Finder 可分析软件控制流、数据流和过程间行为。它在检测到缺陷之后立即突出显示错误，可在开发过程的早期阶段鉴别和修复 Bug。
Polyspace Bug Finder 可检查代码是否符合编码规则标准，如 MISRA C®、MISRA C++、AUTOSAR C++14、CERT® C、CERT C++ 和自定义命名约定。它可以生成报告，其中包括发现的 Bug、代码违规和代码质量指标，如圈复杂度。
对于自动生成的代码，可以将 Polyspace® 结果追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。
通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178)，可提供对行业标准的支持。
认证支持
创建完成行业功能安全和网络安全标准（如 IEC 61508、ISO 26262、ISO/SAE 21434 或 DO-178C）认证流程所需的交付物。交付物可支持最高的功能安全性或安全级别。
Simulink 和 Stateflow 集成
对生成的代码运行分析，并将发现从源代码追溯到相应的 Simulink 模型模块或 Stateflow® 图。在 Simulink 环境内启动 Polyspace 分析。
产品资源：
“Polyspace 产品具有无与伦比的软件可靠性，是业内任何工具都无法企及的。”
Mitsuhiko Kikuchi，日产汽车
下一步是什么？
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)