Polyspace Bug Finder.
使用静态分析识别软件错误
PolySpace Bug Finder™识别C和C ++嵌入式软件中的运行时错误,并发问题,安全漏洞和其他缺陷。使用静态分析,包括语义分析,PolySpace Bug Finder分析软件控制,数据流和移植物行为。通过在检测到后立即突出显示缺陷,它可以让您在开发过程中提前进行分类并修复错误。
PolySpace Bug Finder检查遵守编码规则标准,如Misra C.®,Misra C ++,JSF ++,CERT®C,证书®C ++,以及自定义命名约定。它生成由发现错误,代码规则违规和代码质量指标组成的报告,包括循环复杂性。PolySpace Bug Finder可以与Eclipse™IDE一起使用,以分析桌面上的代码。
对于自动生成的代码,PolySpace结果可以追溯到Simulink万博1manbetx®模型和dspace.®targetlink.®块。
万博1manbetx通过IEC认证套件提供对行业标准的支持(对于ISO 26262和IEC 61508),并进行资格套件(DO-178和DO-254)。
开始:
免费白皮书
7种方式,使嵌入式软件安全安全安全
找到复杂错误的根本原因
在使用事件跟踪,变量值和调用树中,请参阅类似调试器的视图中的代码。
跟踪代码分析Simulink模型万博1manbetx
在生成的代码上运行分析并将您的发现跟踪到源模型块。
配置任何运行时环境
将PolySpace Bug Finder与任何编译器,目标处理器和RTOS环境集成。
符合编码规则和认证要求
Enforce 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修正案1。
分析综合构建
在服务器类机上运行PolySpace Bug Finder Server™静态分析引擎,具有构建自动化工具,如Jenkins和Bamboo。
用于协作审查的通知和上传结果
自动为组件所有者分配缺陷,发送电子邮件通知,并将结果上传到PolySpace Bug Finder Access,因此您可以尝试和解决问题。
查看分析结果,因此您可以尝试和解决问题
PolySpace Bug Finder Access™为PolySpace静态代码分析结果和存储在中央存储库中的质量指标提供了一个Web浏览器界面。用于调查静态分析结果的导航工具与代码一起显示。
监控项目质量和软件质量指标
仪表板显示可以用于监控软件质量,项目状态,缺陷数量和代码指标的信息。
与已使用的错误跟踪工具集成
使用Web浏览器界面在Bug跟踪工具中创建和分配票证,如Jira。
编译支持万博1manbetx
使用Renasas SH C编译器编译的代码简化分析设置
C ++ 1万博1manbetx7支持
使用C ++ 17功能进行编码运行PolySpace分析
AutoSAR C ++ 1万博1manbetx4支持
查看308 AutoSAR C ++ 14规则,包括在R2020B中添加了61个新跳棋
构建系统配置
使用JSON编译数据库生成项目文件或分析选项文件
万博1manbet万博1manbetxxSimulink支持
从Simulink模型生成和包装PolySpace选项文件万博1manbetx
证书C支持万博1manbetx
检查违反所有证书C规则,包括用于线程安全问题和硬编码敏感数据的新支票
看看发行说明有关这些功能的详细信息和相应的功能。