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查找服务器在云端。使用MathWorks®参考架构部署在平台上,如Docker, AWS®和Azure®。
自动化并集成到DevOps中
通过插入现有的DevOps工作流和工具,支持现代软件开发实践。Polyspace®使用流行的持续集成工具,如Jenkins和Bamboo®。