Polyspace Bug Finder Server

 

Polyspace Bug Finder Server

通过在服务器上运行的静态分析识别软件缺陷

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 自动执行代码分析

使用 Polyspace Bug Finder Server 自动执行代码分析

识别软件 Bug 和漏洞

找到许多不同类别的 Bug,如安全漏洞、并发性和数值缺陷。为任何编译器、目标处理器和 RTOS 环境配置分析。

编码标准合规性

强制执行已嵌入的软件编码标准,如 MISRA C 和 MISRA C++、AUTOSAR C++14、JSF++ 和自定义命名约定。

静态应用程序安全性测试

通过检测安全漏洞和问题确保您的代码安全,并使其遵守安全编码标准和规范,如 CERT C/C++、CWE、ISO 17961 和 MISRA C:2012 Amendment 1。

认证支持

创建完成行业安全性和安全标准(如 IEC 61508、ISO 26262、ISO/SAE 21434 或 DO-178C)认证流程所需的交付物。交付物可支持最高的功能安全性或安全级别。

在任何平台上运行静态代码分析

在本地或云中的自动化服务器上运行 Polyspace Bug Finder Server。使用 MathWorks® 参考架构在 Docker、AWS® 和 Azure® 等平台上进行部署。

自动化并集成到开发运营一体化中

通过接入现有开发运营一体化工作流和工具支持现代软件开发实践。Polyspace® 可与流行的持续集成工具(如 Jenkins 和 Bamboo®)协同工作。

有兴趣了解 Polyspace Bug Finder Server?