28、Polyspace 编码规则定制与代码复杂度度量指南

Polyspace 编码规则定制与代码复杂度度量指南

在软件开发过程中，遵循一致的编码规范和控制代码复杂度是确保代码质量和可维护性的关键。Polyspace 提供了一系列工具和功能，帮助开发者实现这些目标。本文将详细介绍如何创建自定义编码规则、计算代码复杂度指标，以及如何将 Code Prover 工作流迁移到 Bug Finder。

1. 创建自定义编码规则

从未来版本开始，Code prover 将不再支持检查命名约定，建议迁移到 Bug Finder 来执行命名约定检查。下面通过一个示例展示如何检查 C/C++ 代码中函数和对象的命名约定违规情况。

示例代码 printInitialValue.c 如下：

#include <stdio.h>
typedef struct {
    int a;
    int b;
} collection;
void main()
{
    collection myCollection= {0,0};
    printf("Initial values in the collection are %d and %d.",
           myCollection.a,myCollection.b);
}

1.1 指定命名约定

自定义编码规则检查器会将代码中的标识符与你指定的命名约定进行比较。如果标识符不符合约定，Polyspace 会提出违规警告。在使用自定义编码规则执行命名约定之前，需要使用正则表达式指定命名约定。具体步骤如下：
1. 打