多空间®Bug查找器™标识C和C++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,多空间Bug查找器分析软件控制、数据流和过程间行为。通过在检测到缺陷后立即突出显示缺陷,您可以在开发过程的早期对缺陷进行分类和修复。
多空间Bug查找器检查是否符合编码规则标准,如MISRA C®,MISRA C++,JSF+++,证书®C、Curt C++和自定义命名约定。它生成由错误发现、代码规则违反和代码质量度量组成的报告,包括圈复杂度。多空间Bug查找器可以与Eclipse一起使用™ IDE来分析桌面上的代码。
对于自动生成的代码,Polyspace结果可以追溯到Simulink万博1manbetx®模型与数据空间®TargetLink®阻碍。
万博1manbetx可通过以下途径获得对行业标准的支持:IEC认证套件(适用于ISO 26262和IEC 61508)和DO鉴定套件(适用于DO-178).
学习Polyspace Bug Finder的基础知识
检查Polyspace用户界面、命令行或其他开发环境中的代码缺陷
修复或证明缺陷、组织结果、结果参考
具有资格多空间Bug查找器用于DO和IEC认证
解决中的意外问题多空间Bug查找器