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），可提供对行业标准的支持。
使用 Polyspace Bug Finder Server 自动执行代码分析
认证支持
创建完成行业安全性和安全标准（如 IEC 61508、ISO 26262、ISO/SAE 21434 或 DO-178C）认证流程所需的交付物。交付物可支持最高的功能安全性或安全级别。
在任何平台上运行静态代码分析
在本地或云中的自动化服务器上运行 Polyspace Bug Finder Server。使用 MathWorks 参考架构在 Docker、AWS® 和 Azure® 等平台上进行部署。
自动化并集成到开发运营一体化中
通过接入现有开发运营一体化工作流和工具支持现代软件开发实践。Polyspace 可与流行的持续集成工具（如 Jenkins 和 Bamboo®）协同工作。
产品资源：
Polyspace 产品系列
Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。
Polyspace Access
识别编码缺陷，查看静态分析结果，并监控软件质量指标
Polyspace Code Prover Server
证明软件中不存在运行时错误
Polyspace Bug Finder
运用静态分析找出软件 Bug
Polyspace Test
开发、管理和执行嵌入式系统中 C 和 C++ 代码的测试
Polyspace Bug Finder Server
通过在服务器上运行的静态分析识别软件缺陷
Polyspace Client for Ada
证明源代码中不存在运行时错误
Polyspace Code Prover
证明软件中不存在运行时错误
Polyspace Server for Ada
在计算机集群上执行代码验证并发布指标
