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® 模块和 IBM® Rational® Rhapsody® 图。

IEC Certification Kit(适用于 IEC 61508 和 ISO 26262)和 DO Qualification Kit(适用于 DO-178)提供了对行业标准的支持。此外它还支持 Ada 语言

Comprehensive Static Analysis Using Polyspace Products

View whitepaper

试用 Polyspace Bug Finder

获取试用版软件
Jay Abraham

新增功能

来自 Jay Abraham、 Polyspace Bug Finder 技术专家