Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

Polyspace Bug Finder

通过静态分析标识软件 Bug

Polyspace® Bug Finder™ 可标识 C 和 C++ 嵌入式软件中的运行时错误、并发性问题、安全漏洞和其他缺陷。Polyspace Bug Finder 使用静态分析(包括语义分析)来分析软件控制、数据流和过程间行为。通过在检测到缺陷后立即高亮缺陷,您可以在开发过程的早期对 Bug 进行分类和修复。

Polyspace Bug Finder 可检查您的代码是否符合编码规则标准,例如 MISRA C®、MISRA C++、JSF++、CERT® C、CERT C++,以及自定义的命名约定。它将生成报告,其中包含发现的 Bug、代码规则违规,以及代码质量指标(包括圈复杂度)。Polyspace Bug Finder 可以与 Eclipse™ IDE 配合使用以在桌面端分析代码。

对于自动生成的代码,可以从 Polyspace 结果追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。

通过 IEC Certification Kit (for ISO 26262 and IEC 61508)DO Qualification Kit(适用于 DO-178)实现对行业标准的支持。

Polyspace Bug Finder 快速入门

Polyspace Bug Finder 基础知识学习

安装 Polyspace

在桌面端、服务器端或 IDE 上安装 Polyspace 产品进行分析

配置并运行分析

在桌面端、服务器端或 IDE 中设置 Polyspace Bug Finder 分析

审查分析结果

在 Polyspace 桌面端用户界面、Web 浏览器或 IDE 中审查 Polyspace Bug Finder 结果

工具鉴定与认证

针对 DO 和 IEC 认证对 Polyspace Bug Finder 进行鉴定

Polyspace Bug Finder 中的故障排除

解决 Polyspace Bug Finder 中的意外问题