Polyspace Bug Finder

通过静态分析标识软件 bug 和编码违规

Polyspace^® Bug Finder™ 可分析 C/C++ 嵌入式软件代码，以报告编码缺陷、编码规则偏差和代码度量。它使用基于抽象解释的静态分析，可标识超过 350 种类型的编码缺陷（例如缓冲区溢出、除以零错误、并发性问题以及其他安全缺陷）。

Polyspace Bug Finder 可检查您的代码是否符合编码规则，例如 MISRA C™:2023、MISRA™ C++:2023、AUTOSAR C++14、CERT^® C/C++ 和 CWE™。它还会计算圈复杂度等代码度量。您甚至可以创建自己的缺陷和编码标准，以满足您组织的要求。

您可以将Polyspace Bug Finder 与 Polyspace Test™ 集成，以统一代码验证与测试，共享相同的工程配置，并借助这两款工具间的互补性简化结果分类。通过与 Simulink^® 集成，可实现所生成代码的自动化设置和可追溯性。

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

Polyspace Bug Finder 快速入门

Polyspace Bug Finder 基础知识学习

安装

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

运行 Bug Finder

在 Polyspace 平台用户界面中、使用脚本或从其他环境中检查 C/C++ 代码中是否存在缺陷和编码标准违规

配置

模拟编译、指定或创建检查项，并提供从 Bug Finder 获得最佳结果所需的其他信息

持续集成

运行 Bug Finder Server，以在 CI 服务器上进行自动代码检查

审查和报告结果

调查 Bug Finder 发现的问题，修复结果或对其进行申述，管理结果审查，并生成报告

工具鉴定与认证

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

Polyspace Bug Finder 中的故障排除

解决 Polyspace Bug Finder 中的意外问题