Polyspace Bug Finder 快速入门

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

教程

桌面端

• Run Polyspace Bug Finder on Desktop
  Check C/C++ code for defects, coding rule violations or security vulnerabilities.
• Review Bug Finder Results in Polyspace Platform User Interface
  Interpret Polyspace Bug Finder results, fix code or justify results, manage results.

服务器端和 Web 界面

• Polyspace Server 和 Access 产品快速入门指南
  了解为工程、团队或组织设置 Polyspace 分析时要做的相关工作。
• 在服务器端运行 Polyspace Bug Finder 并上传结果以便在 Web 端审查
  在提交后检查代码中是否存在缺陷和编码标准违规情况，并上传结果以便在 Web 界面中审查。

部署

• Polyspace 产品和软件开发工作流
  

  了解可以在软件开发生命周期中使用的 Polyspace 产品。

• Polyspace Bug Finder 与 Polyspace Code Prover 之间的差别
  

  了解 Bug Finder 与 Code Prover 如何互补，并确定何时在您的开发工作流中部署每种产品。