Polyspace Bug Finder

查找缺陷并进行分类

Polyspace Bug Finder 可以检测各种缺陷,如数值、编程、静态内存、动态内存和数据流。这些缺陷在源代码中得到识别,带有回溯信息,可以帮助确定缺陷的原因和来源。编码违规可以直接在源代码中发现,并提供有关违规信息。

直观的工作流程使开发人员和质量工程师可以方便地对缺陷进行筛选分类。对于检测到的每一项缺陷,Polyspace Bug Finder 均提供详细的缺陷原因。例如,在发生整数溢出时,Polyspace Bug Finder 可以跟踪导致溢出条件的所有代码行编号。软件开发人员可以使用此信息确定修复代码的最佳方式。质量工程师可以使用此信息对缺陷进行分类以采取进一步行动。例如,质量工程师可以标记缺陷为需要进一步的调查,或者指明该缺陷的优先级较低。

An overflow condition identified in Polyspace Bug Finder.
在 Polyspace Bug Finder 中发现溢出。
下一页: 验证是否符合编码标准

试用 Polyspace Bug Finder

获取试用版软件

Comprehensive Static Analysis Using Polyspace Products

观看网上技术交流会录像