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
检查 C/C++ 代码中是否存在缺陷、编码违规或安全漏洞。 - 在 Polyspace 用户界面中审查 Polyspace Bug Finder 结果
解释 Polyspace Bug Finder 结果，修复代码或对结果进行申述，管理结果。 - Polyspace 平台：用于静态分析和动态测试的统一平台
Polyspace 平台是一个使用 Polyspace 产品对 C/C++ 代码进行静态分析和测试的集成环境。 - Benefits and Limitations of Switching to Polyspace Platform User Interface
Import projects created in older user interface, run tests or static analysis on imported projects. - Run Polyspace Bug Finder in the Polyspace Platform User Interface
Check C/C++ code for defects, coding rule violations or security vulnerabilities. - Review Polyspace Bug Finder Results in Polyspace Platform User Interface
Interpret Polyspace Bug Finder results, fix code or justify results, manage results. - Polyspace Server 和 Access 产品快速入门指南
了解为工程、团队或组织设置 Polyspace 分析时要做的相关工作。 - 在服务器端运行 Polyspace Bug Finder 并将结果上传到 Web 界面
在提交后检查代码中是否存在缺陷和编码标准违规情况，并上传结果以便在 Web 界面中审查。 - 在 Polyspace Access Web 界面中对结果进行分类和分配 (Polyspace Access)
在仪表板中导航，过滤结果，并将问题分配给团队成员。 - 发送包含 Polyspace Bug Finder Server 结果的电子邮件通知
向开发人员发送电子邮件并在附件中包含指向 Polyspace 结果的链接。 - 在 Polyspace Access Web 界面中查看分配的结果 (Polyspace Access)
查看分配给您的检查结果。 - 将 Bug Finder 分析从桌面端发送到本地托管的服务器端
将 Polyspace 分析负载转移到本地托管的服务器端并在桌面端审查下载的结果。 - 提交前在 IDE 中检查代码质量 (Polyspace Access)
在 Visual Studio®、Visual Studio Code 或 Eclipse 中使用 Polyspace as You Code 扩展运行单个文件分析并审查结果。
桌面端
Polyspace 平台用户界面
服务器端和 Web 界面
从桌面端到服务器端
IDE
部署
- Polyspace 产品和软件开发工作流
了解可以在软件开发生命周期中使用的 Polyspace 产品。
- Polyspace Bug Finder 与 Polyspace Code Prover 之间的差别
了解 Bug Finder 与 Code Prover 如何互补，并确定何时在您的开发工作流中部署每种产品。
- 同时使用 Polyspace Bug Finder 和 Polyspace Code Prover 的工作流
在软件开发工作流中引入 Bug Finder 和 Code Prover 分析。
