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)，还可实现对行业标准的支持。
开始：
免费白皮书
保障嵌入式软件安全可靠的 7 个方法
发现复杂 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 结果的电子邮件通知。
审查分析结果以鉴别和解决问题
Polyspace Bug Finder Access 提供了 Web 浏览器界面，以便查看存储在中心存储库的 Polyspace 静态编码分析结果和质量指标。导航工具与代码并排显示，用于调查静态分析结果。
结果详情窗口。
监控项目质量和软件质量指标
控制板中显示的信息可用来监控软件质量、项目状态、缺陷数量和代码指标。
项目概览控制板。
与您所用的 Bug 跟踪工具集成
使用 Web 浏览器界面，在 Bug 跟踪工具（如 Jira）中创建和分配工单。
创建工单。
