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，我们可以在每次代码合并之前识别并修复关键的运行时错误，从而确保软件的安全性和质量。”
johannes foufas, volvo cars
