多空间®窃听器™标识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认证
解决中的意外问题多空间窃听器