Polyspace Bug查找服务器

Polyspace Bug查找服务器

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

Polyspace Bug Finder Server™是一个静态分析引擎,用于识别C和c++中常见的错误类别,包括运行时错误、并发问题和其他编码缺陷。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认证套件(适用于iec61508和iso26262)和DO认证套件(适用于DO-178),您可以获得对行业标准的支持。

使用Polyspace Bug查找服务器自动化代码分析

使用Polyspace Bug查找服务器自动化代码分析

识别软件漏洞

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

编码标准

执行嵌入式软件编码标准,例如MISRA - CMISRA c++, AUTOSAR c++ 14, JSF++,以及自定义命名约定。

静态应用程序安全测试

通过检测安全漏洞和问题,并遵守安全编码标准和准则,例如CERTC/ c++, CWE, ISO 17961和MISRA C:2012修正案1。

认证支持

创建完成行业安全和安保标准(如IEC 61508、ISO 26262、ISO/SAE 21434或DO-178C)认证过程所需的工件,达到最高功能安全或安保级别。

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

在自动服务器上运行Polyspace Bug查找服务器在云端。使用MathWorks®参考架构部署在平台上,如Docker, AWS®和Azure®

自动化并集成到DevOps中

通过插入现有的DevOps工作流和工具,支持现代软件开发实践。Polyspace®使用流行的持续集成工具,如Jenkins和Bamboo®

对Polyspace Bug查找服务器感兴趣?

Baidu
map