polyspace bug finder server™ 是一个静态分析引擎，它可以识别 c 和 c 中常见的 bug 类别，包括运行时错误、并发问题和其他编码缺陷。polyspace bug finder server 还检查源代码是否符合编码规则（misra c®、misra c 、jsf ）、安全规则（cwe、cert® c、cert c 、iso/iec 17961）以及自定义规则。
使用 polyspace bug finder server，您可以在项目、文件和函数级别监控代码指标，包括圈复杂度和 his。您可以将服务器配置为与各种编译器、目标处理器和 rtos 环境结合使用，并使用 jenkins® 等工具将其与持续集成系统一起自动执行。代码分析结果可以发布到 polyspace access™ 进行分类和解决。
通过 iec certification kit（iso 26262 和 iec 61508）和 do qualification kit（do-178），可提供对行业标准的支持。
认证支持
创建完成行业安全性和安全标准（如 iec 61508、iso 26262、iso/sae 21434 或 do-178c）认证流程所需的交付物。交付物可支持最高的功能安全性或安全级别。
在任何平台上运行静态代码分析
在本地或的自动化服务器上运行 polyspace bug finder server。使用 mathworks® 参考架构在 docker、aws® 和 azure® 等平台上进行部署。
