Accelerating the pace of engineering and science

Polyspace Bug Finder

通过静态分析找出软件错误

Polyspace Bug Finder™ 可以识别嵌入式软件 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,Polyspace Bug Finder 可分析软件控制、数据流和过程间行为。通过在检测到缺陷之后立即突出显示缺陷,可让您在开发过程的早期阶段鉴别和修复错误。

Polyspace Bug Finder 可检查是否符合编码规范,如 MISRA C®、MISRA C++、JSF++ 和自定义命名规范。它可以生成报告,其中包括发现的错误、代码违规和代码质量指标,如圈复杂度。Polyspace Bug Finder 可与 Eclipse™ IDE 结合使用并集成到构建系统中。

对于自动生成的代码,可以将 Polyspace® 结果追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。

通过 IEC Certification Kit(对于 ISO 26262 和 IEC 61508)DO Qualification Kit(对于 DO-178),可提供对行业标准的支持。

Fast-Track MISRA Compliance of Generated Code

了解更多

试用 Polyspace Bug Finder

获取试用版软件
Ram Cherukuri

新增功能

来自 Ram Cherukuri、 Polyspace Bug Finder 技术专家