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 (for DO-178) 实现对行业标准的支持。

Polyspace Bug Finder 快速入门

Polyspace Bug Finder 基础知识学习

安装 Polyspace

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

配置并运行分析

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

审查分析结果

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

Polyspace Bug Finder 示例

用于从不同环境运行 Polyspace 的示例脚本和模板,显示 Bug 和编码违规的 C/C++ 代码示例

工具鉴定与认证

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

Polyspace Bug Finder 中的故障排除

解决 Polyspace Bug Finder 中的意外问题