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），可提供对行业标准的支持。