Polyspace Bug Finder
运用静态分析找出软件 Bug
Polyspace Bug Finder™ 可以识别嵌入式软件 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析（包括语义分析），Polyspace Bug Finder 可分析软件控制、数据流和过程间行为。它在检测到缺陷之后立即突出显示错误，可在开发过程的早期阶段鉴别和修复 Bug。
Polyspace Bug Finder 可检查是否符合编码规则标准，如 MISRA C®、MISRA C++、AUTOSAR C++ 14、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)，还可实现对行业标准的支持。
开始：
发现复杂 Bug 的根本成因
在类似调试器的视图中查看代码，包含事件追溯、变量值和调用树。
创建您自己的导航路径。
在使用 IDE 编写代码的同时识别 Bug
在 Visual Studio®、Visual Studio Code 或 Eclipse 等 IDE 中，借助 Polyspace as You Code，您可以在编写或修改代码的同时识别 Bug。
在使用 Visual Studio 编写代码的同时使用 Polyspace。
从代码分析追溯到 Simulink 模型
对生成的代码运行分析，并从分析结果追溯到源模型模块。
从代码分析追溯到模型。
针对各种运行时环境进行配置
Polyspace Bug Finder 可与任何编译器、目标处理器和 RTOS 环境集成。
设置编译器和目标选项。
符合编码规范和认证要求
执行 MISRA C、MISRA C++、AUTOSAR C++14、JSF++ 和自定义规则。符合 ISO 26262、DO-178、IEC 61508、EN 50128、IEC 62304 和其他标准。
支持的功能安全标准。
满足安全需求
符合 CERT C/C++、ISO 17961 和 MISRA C:2012 Amendment 1。
配置编码规则检查。
筛选结果。
对集成的构建进行分析
使用构建自动化工具（如 Jenkins 和 Bamboo）在服务器级机器上运行 Polyspace Bug Finder Server™ 静态分析引擎。
将 Polyspace 产品集成到持续集成环境中。
通知并上传结果以供协同审查
将缺陷自动分配给组件所有者，发送电子邮件通知，并将结果上传到 Polyspace Bug Finder Access™，以便鉴别和解决问题。
发送附带 Polyspace Bug Finder 结果的电子邮件通知。
在公有云平台上运行
通过使用云中的专用硬件获得更多计算能力。MathWorks® 提供参考架构，可在云平台（如 AWS® 和 Azure®）上配置 Polyspace Server 部署。
Use Polyspace in the Cloud.
审查分析结果以鉴别和解决问题
Polyspace Bug Finder Access 提供了 Web 浏览器界面，以便查看存储在中心存储库的 Polyspace 静态编码分析结果和质量指标。导航工具与代码并排显示，用于调查静态分析结果。
结果详情窗口。
监控项目质量和软件质量指标
控制板中显示的信息可用来监控软件质量、项目状态、缺陷数量和代码指标。
项目概览控制板。
与您所用的 Bug 跟踪工具集成
使用 Web 浏览器界面，在 Bug 跟踪工具（如 Jira）中创建和分配工单。
创建工单。
