Polyspace错误发现者服务器

Polyspace错误发现者服务器

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

Polyspace错误发现者服务器™是一个静态分析引擎,识别常见的错误在C和c++类,包括运行时错误,并发问题,和其他编码的缺陷。Polyspace错误发现者服务器还检查源代码坚持编码规则(MISRA - C®MISRA c++, JSF + +)、安全规则(CWE, CERT®C, CERT c++, ISO / IEC 17961),和自定义规则。

Polyspace错误发现者服务器您可以监视代码度量包括圈复杂度和他的指标项目,文件,和功能水平。您可以配置服务器使用不同的编译器,目标处理器和操作系统环境,与持续集成系统和自动化执行使用工具,如詹金斯®。代码分析结果可以发布到Polyspace访问™诊断和解决。

金宝app支持行业标准可以通过IEC认证工具包(IEC 61508和ISO 26262)和做资格工具包(- 178)。

自动化与Polyspace错误发现者服务器代码分析

自动化与Polyspace错误发现者服务器代码分析

识别软件缺陷和漏洞

发现许多不同类别的缺陷如安全vulnernabilities,并发性,和数值的缺陷。为任何编译器配置分析、目标处理器和操作系统环境。

编码标准遵从性

加强嵌入式软件编码标准等MISRA - CMISRA c++, AUTOSAR c++ 14, JSF + +,和自定义的命名约定。

静态应用程序安全性测试

使您的代码安全通过检测安全漏洞和问题并遵守安全编码等标准和指导方针CERTCWE C / c++, ISO 17961和MISRA - C: 2012修正案1。

认证支持金宝app

创建工件需要完成认证过程等行业安全标准IEC 61508、ISO 26262、ISO / SAE 21434,或做- 178 c,功能安全或安全水平最高。

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

自动化服务器上运行Polyspace错误发现者服务器或前提在云中。使用MathWorks®参考架构部署平台如码头工人,AWS®,Azure®

自动化和融入DevOps

金宝app支持现代软件开发实践,插入到现有DevOps工作流和工具。Polyspace®与流行的持续集成工具,如詹金斯和竹子®

Polyspace错误发现者服务器感兴趣?