Polyspace错误发现者
使用静态分析识别软件bug
多空间Bug查找器™ 标识C和C++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,Polyspace Bug Finder分析软件控制、数据流和过程间行为。通过在检测到缺陷后立即突出显示缺陷,您可以在开发过程的早期对缺陷进行分类和修复。
Polyspace Bug Finder检查是否符合编码规则标准,如MISRA C®,MISRA C++,AutoSar C++ 14,证书®C、 证书®C++和自定义命名约定。它生成由发现的bug、代码规则冲突和代码质量度量(包括圈复杂度)组成的报告。Polyspace Bug Finder可以与Eclipse一起使用™ IDE来分析桌面上的代码。
对于自动生成的代码,Polyspace®结果可以追溯到Simulink金宝app®模型与数据空间®TargetLink®块。
金宝app通过IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(适用于DO-178)提供行业标准支持。
开始:
免费白皮书
7种确保嵌入式软件安全的方法
找到复杂bug的根本原因
在带有事件跟踪、变量值和调用树的类调试器视图中查看代码。
在编写代码时识别IDE中的错误
使用编写或修改代码后立即查找bug多空间就像在IDE(如Visual Studio)中编写代码一样®、Visual Studio Code或Eclipse。
Simulink模型的跟踪代码分析金宝app
对生成的代码运行分析,并将结果跟踪到源模型块。
配置任何运行时环境
将Polyspace Bug Finder与任何编译器、目标处理器和RTOS环境集成在一起。
遵守编码规则和认证要求
执行MISRA C, MISRA c++, AUTOSAR c++ 14, JSF++,和自定义规则。符合ISO 26262、DO-178、IEC 61508、EN 50128、IEC 62304等标准。
满足安全要求
遵守CERT C / c++、ISO 17961和MISRA C:2012修正案
分析集成构建
运行Polyspace Bug Finder服务器™ 服务器级机器上的静态分析引擎,带有构建自动化工具,如Jenkins和Bambor。
通知并上传结果以供协作审查
自动将缺陷分配给组件所有者,发送电子邮件通知,并将结果上传到Polyspace Bug Finder Access™,这样您就可以对问题进行分类和解决。
回顾分析结果,以便对问题进行分类和解决
Polyspace Bug Finder Access为Polyspace静态代码分析结果和存储在中央存储库中的质量指标提供了一个web浏览器界面。用于调查静态分析结果的导航工具显示在代码旁边。
监控项目质量和软件质量度量
仪表板显示可用于监视软件质量、项目状态、缺陷数量和代码度量的信息。
与您已经使用的Bug跟踪工具集成
使用web浏览器界面在错误跟踪工具(如Jira)中创建和分配票据。