多空间窃听器

通过静态分析识别软件错误

多空间®窃听器™标识C和C++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,多空间窃听器分析软件控制、数据流和过程间行为。通过在检测到缺陷后立即突出显示缺陷,可以在开发过程的早期对缺陷进行分类和修复。

多空间窃听器检查是否符合编码规则标准,如MISRA C®,MISRA C++,JSF+++,证书®C、Curt C++和自定义命名约定。它生成由发现的错误、代码规则冲突和代码质量度量(包括圈复杂度)组成的报告。多空间窃听器可与Eclipse一起使用™ IDE来分析桌面上的代码。

对于自动生成的代码,Polyspace的结果可以追溯到Simulink金宝app®模型和数据空间®目标链接®阻碍。

金宝app对行业标准的支持可以通过IEC认证工具包(用于ISO 26262和IEC 61508)溶解氧鉴定套件(适用于溶解氧-178).

开始吧

学习Polyspace Bug Finder的基础知识

配置并运行分析

检查Polyspace用户界面、命令行或其他开发环境中的代码缺陷

审查分析结果

修正或证明缺陷,组织结果,结果参考

工具鉴定和认证

合格多空间窃听器用于DO和IEC认证

Polyspace Bug Finder中的故障排除

解决中的意外问题多空间窃听器