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® 结果追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。
通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178),可提供对行业标准的支持。
认证支持
创建完成行业功能安全和网络安全标准(如 IEC 61508、ISO 26262、ISO/SAE 21434 或 DO-178C)认证流程所需的交付物。交付物可支持最高的功能安全性或安全级别。
Simulink 和 Stateflow 集成
对生成的代码运行分析,并将发现从源代码追溯到相应的 Simulink 模型模块或 Stateflow® 图。在 Simulink 环境内启动 Polyspace 分析。
产品资源:
“Polyspace 产品具有无与伦比的软件可靠性,是业内任何工具都无法企及的。”
Mitsuhiko Kikuchi,日产汽车