Polyspace Bug Finder

验证是否符合编码标准(MISRA、JSF、命名约定)

Polyspace Bug Finder 支持 MISRA-C:2004、MISRA-C++:2008、MISRA-AC-AGC、JSF++ 和自定义的命名编码违规检测。您可以使用 Polyspace Bug Finder 实施编码规则,以改进代码可读性和质量。您可以配置 Polyspace Bug Finder 检测标准的所有规则、标准里必须满足的规则或单独选择要满足的各条规则。您还可以定义自己的配置,确保在您的团队内实施相同的编码规则。

违规错误可回溯至源代码编辑器,您可以修复代码;您也可以使用文档记录或代码注释说明编码违规的合理性。Polyspace Bug Finder 界面会显示上一次分析的区别,以避免重复审查违规现象。编码规则分析结果可以导出至网络控制面板以持续跟踪结果。

Identifying a MISRA violation.
识别 MISRA 违规。
下一页: 生成代码指标和监测软件质量

试用 Polyspace Bug Finder

获取试用版软件

Comprehensive Static Analysis Using Polyspace Products

观看网上技术交流会录像