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)，还可实现对行业标准的支持。
查找 Bug 和漏洞
使用静态分析检测超过 350 种 C/C++ 缺陷，包括安全、内存、数值和并发缺陷。使用您自己的检查器扩展内置检查器。使用类似调试器的视图、事件追溯和调用图找出复杂 Bug 的根本原因。
遵守编码标准
检查对 MISRA C:2023、MISRA C++:2023、AUTOSAR C++14、CERT C/C++、CWE 和 ISO/IEC TS 17961 的合规性。创建自定义编码标准以强制执行特定于团队的规则。
认证支持
创建针对行业功能安全和网络安全标准（例如 IEC 61508、ISO 26262、ISO/SAE 21434 或 DO-178C，最高达最高功能安全或网络安全级别）完成认证过程所需的交付物。证明偏差的合理性并生成全面的分析报告。
Simulink 集成
分析由 Embedded Coder 或 dSpace TargetLink® 生成的代码，并将发现追溯回 Simulink 模块或 Stateflow 图。从 Simulink 启动分析，以简化设置和可追溯性。
统一静态分析和动态测试
在一个界面中管理静态分析（使用 Polyspace Bug Finder 和 Polyspace Code Prover）以及测试（使用 Polyspace Test），包括项目配置、执行和审查。组合测试和代码分析工作流以识别不可靠的测试、证明不可达代码分支的合理性或支持复杂的代码覆盖率要求。
产品资源：
“借助 Polyspace，我们可以在每次代码合并之前识别并修复关键的运行时错误，从而确保软件的安全性和质量。”
Polyspace 产品系列
Polyspace 产品通过在整个开发生命周期中测试和监控软件质量来保证关键代码的安全。
Polyspace Access
识别编码缺陷，查看静态分析结果，并监控软件质量指标。
Polyspace Copilot
专为 Polyspace 优化的 AI 助手。
Polyspace Test
开发、管理和执行嵌入式系统中 C 和 C++ 代码的测试。
Polyspace as You Code
在您的 IDE 中识别编码标准违规和软件漏洞。
Polyspace Bug Finder
检查编码规则、安全标准和代码指标并找出 Bug。
Polyspace Code Prover Server
持续并详尽地验证 CI 管道中的关键 C 和 C++ 代码语句。
Polyspace Bug Finder Server
在 CI 管道中识别软件缺陷并贯彻编码规则。
Polyspace Client for Ada
使用形式化方法详尽验证关键的 Ada 语句单元。
Polyspace Code Prover
使用形式化方法详尽验证最关键的 C 和 C++ 语句。
Polyspace Server for Ada
持续并详尽地验证 CI 管道中的关键 Ada 代码语句。
