Polyspace Bug Finder

主要特性

  • 检测运行时错误、数据流问题以及 C 和 C++ 代码中的其他缺陷
  • 快速分析大型代码库
  • 检查是否符合 MISRA-C:2004、MISRA-C++:2008、JSF++ 和自定义的命名约定
  • 圈复杂度和其他代码指标
  • Eclipse™ 集成
  • 依据代码验证结果可回溯至 Simulink® 模型
  • 获取 Polyspace Code Prover ™ 结果
  • 缺陷检测误报率低
Static analysis results displayed by Polyspace Bug Finder.
Polyspace Bug Finder 显示的静态分析结果。
下一页: 通过静态分析识别软件缺陷

试用 Polyspace Bug Finder

获取试用版软件

Developing Medical Device Software with Zero Bugs

观看网上技术交流会录像