华为C&C++语言编程规范--笔记
华为C&C++语言编程规范
- 1.基本要求
- 1.1 变量
- 规则1.1.1：指针变量、表示资源描述符的变量、BOOL变量声明必须赋予初值
- 规则1.1.2：指向资源句柄或描述符的变量，在资源释放后立即赋予新值
- 规则1.1.3：类的成员变量必须在构造函数中赋予初值
- 规则1.1.4：严禁对指针变量进行sizeof操作
- 建议1.1.1：尽量使用const
- 建议1.1.2：全局变量的访问如果涉及多个线程，需要考虑多线程竞争条件问题
- 建议1.1.3：同一个函数内，局部变量所占用的空间不要过大
- 1.2 断言(ASSERT)
- 规则1.2.1：断言必须使用宏定义，禁止直接调用系统提供的assert()
- 规则1.2.2：运行时可能会导致的错误，严禁使用断言
- 建议1.2.1：不要将多条语句放在同一个断言中
- 1.3 函数
- 规则1.3.1：数组作为函数参数时，必须同时将其长度作为函数的参数
- 规则1.3.3：不对内容进行修改的指针型参数，定义为const
- 建议1.3.2：字符串或指针作为函数参数时，请检查参数是否为NULL
- 1.4 异常机制
- 规则1.4.1：禁用C++异常机制
- 1.5 类
- 规则1.5.1：构造函数内不能做任何有可能失败的操作
- 规则1.5.2：严禁在构造函数中创建线程
- 规则1.5.3：如果类的公共接口中返回类的私有数据地址，则必须加const类型
- 建议1.5.4：尽量避免定义public成员
- 1.6 安全退出
- 规则1.6.1：禁用atexit函数
- 规则1.6.2：严禁调用kill、TerminateProcess函数终止其他进程
- 规则1.6.3：禁用pthread_exit、ExitThread函数
- 建议1.6.1：禁用exit、ExitProcess函数（main函数除外）
- 建议1.6.2：禁用abort函数
- 2.字符串/数组操作
- 规则2.1：确保有足够的存储空间
- 规则2.2：对字符串进行存储操作，确保字符串有’\0’结束符
- 规则2.3：外部数据作为数组索引时必须确保在数组大小范围内
- 规则2.4：外部输入作为内存操作相关函数的复制长度时，需要校验其合法性
- 规则2.5：调用格式化函数时，禁止format参数由外部可控
- 3.整数
- 规则3.1：整数之间运算时必须严格检查，确保不会出现溢出、反转、除0
- 规则3.2：整型表达式比较或赋值为一种更大类型之前必须用这种更大类型对它进行求值
- 规则3.3：禁止对有符号整数进行位操作符运算
- 规则3.4：禁止整数与指针间的互相转化
- 规则3.5：禁止对指针进行逻辑或位运算（&&、||、!、～、>>、
message = (char *)malloc(len);
...
}
...
if (message != NULL) {
free(message); //如果condition未满足，会造成free未初始化的内存。
}
public:
CMsg();
~CMsg();
protected:
int size;
unsigned char *msg;
};
CMsg::CMsg()
{
size = 0;
msg = NULL;
}
0};
...
memset(path, 0, sizeof(path));
memset(buffer, 0, sizeof(buffer));
Lock();
ItemList *p = g_list;
while (p != NULL)
{
if (strcmp(p-name, name) == 0)
{
break;
}
p = p-next;
}
UnLock();
return p;
}
性能敏感的代码，请考虑采用原子操作或者无锁算法。
建议1.1.3：同一个函数内，局部变量所占用的空间不要过大
程序在运行期间，函数内的局部变量保存在栈中，栈的大小是有限的。如果申请过大的静态数组，可能导致出现运行出错。 建议在申请静态数组的时候，大小不超过0x1000。 下面的代码，buff申请过大，导致栈空间不够，程序发生stackoverflow异常。
#define MAX_BUFF 0x1000000 int Foo() { char buff[MAX_BUFF] = {0}; ... }1.2 断言(ASSERT)
断言是一种除错机制，用于验证代码是否符合编码人员的预期。编码人员在开发期间应该对函数的参数、代码中间执行结果合理地使用断言机制，确保程序的缺陷尽量在测试阶段被发现。 断言被触发后，说明程序出现了不应该出现的严重错误，程序会立即提示错误，并终止执行。 断言必须用宏进行定义，只在调试版本有效，最终发布版本不允许出现assert函数，例如：
#include #ifdef DEBUG #define ASSERT(f) assert(f) #else #define ASSERT(f) ((void)0) #endif
下面的函数VerifyUser，上层调用者会保证传进来的参数是合法的字符串，不可能出现传递非法参数的情况。因
此，在该函数的开头，加上4个ASSERT进行校验。
BOOL VerifyUser(const char *userName, const char *password) { ASSERT(userName != NULL); ASSERT(strlen(userName) > 0); ASSERT(password != NULL); ASSERT(strlen(password) > 0); ... }以下的switch，由于不可能出现default的情况，所以在default处直接调用ASSERT：
enum { COLOR_RED = 1, COLOR_GREEN, COLOR_BLUE }; ... switch (color) { case COLOR_RED: ... case COLOR_GREEN: ... case COLOR_BLUE: ... default: { ASSERT(0); } }以下代码，SendMsg是CMsg类的成员函数，socketID是成员变量，在调用SendMsg的时候必须保证socketID已经
被初始化，因此在此处用ASSERT判断socketID的合法性。
CMsg::CMsg() { socketID = INVALID_SOCKET; } int CMsg::SendMsg(const char *msg, int len) { ASSERT(socketID != INVALID_SOCKET); ... ret = send(socketID, msg, len, 0); ... }在linux内核中定义ASSERT宏，可以采用如下方式：
#ifdef DEBUG #define ASSERT(f) BUG_ON(!(f)) #else #define ASSERT(f) ((void)0) #endif
规则1.2.1：断言必须使用宏定义，禁止直接调用系统提供的assert()
断言只能在调试版使用，断言被触发后，程序会立即退出，因此严禁在正式发布版本使用断言，请通过编译选项进行控制。 错误用法如：
int Foo(int *array, int size) { assert(array != NULL); ... }规则1.2.2：运行时可能会导致的错误，严禁使用断言
断言不能用于校验程序在运行期间可能导致的错误。 以下代码的所有ASSERT的用法是错误的。
FILE *fp = fopen(path, "r"); ASSERT(fp != NULL); //文件有可能打开失败 char *str = (char *)malloc(MAX_LINE ASSERT(str != NULL); //内存有可能分配失败 ReadLine(fp, str); char *p = strstr(str, 'age='); ASSERT(p != NULL); //文件中不一定存在该字符串 int age = atoi(p+4); ASSERT(age > 0); //文件内容不一定符合预期
建议1.2.1：不要将多条语句放在同一个断言中
为了更加准确地发现错误的位置，每一条断言只校验一个条件。 下面的断言同时校验多个条件，在断言触发的时候，无法判断到底是哪一个条件导致的错误：
int Foo(int *array, int size) { ASSERT(array != NULL && size > 0 && size应该将每个条件分开：
int Foo(int *array, int size) { ASSERT(array != NULL); ASSERT(size > 0); ASSERT(size1.3 函数
规则1.3.1：数组作为函数参数时，必须同时将其长度作为函数的参数
通过函数参数传递数组或一块内存进行写操作时，函数参数必须同时传递数组元素个数或所传递的内存块大小，否则函数在使用数组下标或访问内存偏移时，无法判断下标或偏移的合法范围，产生越界访问的漏洞。 以下代码中，函数ParseMsg不知道msg的范围，容易产生内存越界访问漏洞。
int ParseMsg(BYTE *msg) { ... } ... size_t len = ... BYTE *msg = (BYTE *)malloc(len); //此处分配的内存块等同于字节数组 ... ParseMsg(msg); ...正确的做法是将msg的大小作为参数传递到ParseMsg中，如下代码：
int ParseMsg(BYTE *msg, size_t msgLen) { ASSERT(msg != NULL); ASSERT(msgLen != 0); ... } ... size_t len = ... BYTE *msg = (BYTE *)malloc(len); ... ParseMsg(msg, len); ...规则1.3.3：不对内容进行修改的指针型参数，定义为const
如果参数是指针型参数，且内容不会被修改，请定义为const类型。
int Foo(const char *filePath) { ... int fd = open(filePath, ...); ... }建议1.3.2：字符串或指针作为函数参数时，请检查参数是否为NULL
如果字符串或者指针作为函数参数，为了防止空指针引用错误，在引用前必须确保该参数不为NULL，如果上层调用者已经保证了该参数不可能为NULL，在调用本函数时，在函数开始处可以加ASSERT进行校验。 例如下面的代码，因为BYTE *p有可能为NULL,因此在使用前需要进行判断。
int Foo(int *p, int count) { if (p != NULL && count > 0) { int c = p[0]; } ... int Foo2() { int *arr = ... int count = ... Foo(arr, count); ... } }下面的代码，由于p的合法性由调用者保证，对于Foo函数，不可能出现p为NULL的情况，因此加上ASSERT进行校
验。
int Foo(int *p, int count) { ASSERT(p != NULL); //ASSERT is added to verify p. ASSERT(count > 0); int c = p[0]; ... } int Foo2() { int *arr = ... int count = ... ... if (arr != NULL && count > 0) { Foo(arr, count); } ... }1.4 异常机制
规则1.4.1：禁用C++异常机制
严禁使用C++的异常机制，所有的错误都应该通过错误值在函数之间传递并做相应的判断, 而不应该通过异常机制进行错误处理。 编码人员必须完全掌控整个编码过程，建立攻击者思维，增强安全编码意识，主动把握有可能出错的环节。而使用C++异常机制进行错误处理，会削弱编码人员的安全意识。 异常机制会打乱程序的正常执行流程，使程序结构更加复杂，原先申请的资源可能会得不到有效清理。 异常机制导致代码的复用性降低，使用了异常机制的代码，不能直接给不使用异常机制的代码复用。 异常机制在实现上依赖于编译器、操作系统、处理器，使用异常机制，导致程序执行性能降低。 在二进制层面，程序被加载后，异常处理函数增加了程序的被攻击面，攻击者可以通过覆盖异常处理函数地址，达到攻击的效果。 例外： 在接管C++语言本身抛出的异常（例如new失败、STL）、第三方库（例如IDL）抛出的异常时，可以使用异常机制，例如：
int len = ...; char *p = NULL; try { p = new char[len]; } catch (bad_alloc) { ... abort(); }1.5 类
规则1.5.1：构造函数内不能做任何有可能失败的操作
构造函数没有返回值，不能做错误判断，因此在构造函数内，不能做任何有可能失败的操作。 下面的代码中，
open、new、ConnectServer都有可能失败，这些操作不应该放在构造函数内。
CFoo::CFoo() { int fd = open(...); char *str = new char[...]; BOOL b = ConnectServer(...); ... }规则1.5.2：严禁在构造函数中创建线程
构造函数内仅作成员变量的初始化工作，其他的操作通过成员函数完成。
规则1.5.3：如果类的公共接口中返回类的私有数据地址，则必须加const类型
class CMsg { public: CMsg(); ~CMsg(); Const unsigned char *GetMsg(); protected: int size; unsigned char *msg; }; CMsg::CMsg() { size = 0; msg = NULL; } const unsigned char *CMsg::GetMsg() { return msg; }建议1.5.4：尽量避免定义public成员
类成员进行定义的时候，需要考虑类的功能，尽量减少对外接口的暴露。
1.6 安全退出
规则1.6.1：禁用atexit函数
atexit函数注册若干个有限的函数，当exit被调用后，自动调用由atexit事先注册的函数。 当资源不再使用后，编码人员应该立即主动地进行清理，而不应该在最终程序退出后通过事先注册的例程被动地清理。
例外： 作为服务维测监控功能，为定位程序异常退出原因的模块，可以作为例外使用atexit()函数。
规则1.6.2：严禁调用kill、TerminateProcess函数终止其他进程
调用kill、TerminateProcess等函数强行终止其他进程(如kill -9)，会导致其他进程的资源得不到清理。 对于进程间通信，应该主动发送一个停止命令，通知对方进程安全退出。 当发送给对方进程退出信号后，在等待一定时间内如果对方进程仍然未退出，可以调用kill、TerminateProcess函数。
if (WaitForRemoteProcessExit(...) == TIME_OUT) { kill(...); //目标进程在限定时间内仍然未退出，强行结束目标进程 }规则1.6.3：禁用pthread_exit、ExitThread函数
严禁在线程内主动终止自身线程，线程函数在执行完毕后会自动、安全地退出。主动终止自身线程的操作，不仅导致代码复用性变差，同时容易导致资源泄漏错误。
建议1.6.1：禁用exit、ExitProcess函数（main函数除外）
程序应该安全退出，除了main函数以外，禁止任何地方调用exit、ExitProcess函数退出进程。直接退出进程会导致代码的复用性降低，资源得不到有效地清理。 程序应该通过错误值传递的机制进行错误处理。 以下代码加载文件，加载过程中如果出错，直接调用exit退出：
void LoadFile(const char *filePath) { FILE* fp = fopen(filePath, "rt"); if (fp == NULL) { exit(0); } ... }正确的做法应该通过错误值传递机制，例如：
BOOL LoadFile(const char *filePath) { BOOL ret = FALSE; FILE* fp = fopen(filePath, "rt"); if (fp != NULL) { ... } ... return ret; }建议1.6.2：禁用abort函数
abort会导致程序立即退出，资源得不到清理。 例外： 只有发生致命错误，程序无法继续执行的时候，在错误处理函数中使用abort退出程序，例如：
void FatalError(int sig) { abort(); } int main(int argc, char *argv[]) { signal(SIGSEGV, FatalError); ... }2.字符串/数组操作
规则2.1：确保有足够的存储空间
部分字符串处理函数由于设计时安全考虑不足，或者存在一些隐含的目的缓冲区长度要求，容易被误用，导致缓冲区写溢出。典型函数如itoa，realpath。 以下的代码，试图将数字转为字符串，但是目标存储空间的长度不足。
int num = ... char str[8] = {0}; itoa(num, str, 10); // 10进制整数的最大存储长度是12个字节 以下的代码，试图将路径标准化，但是目标存储空间的长度不足。 char resolvedPath[100] = {0}; realpath(path, resolvedPath); //realpath函数的存储缓冲区长度是由PATH_MAX常量定义，或是由 _PC_PATH_MAX系统值配置的，通常都大于100字节 以下的代码，在对外部数据进行解析并将内容保存到name中，考虑了name的大小，是正确的做法。 char *msg = GetMsg(); ... char name[MAX_NAME] = {0}; int i=0; //必须考虑msg不包含预期的字符’\n’ while (*msg != '\0' && *msg != '\n' && i规则2.2：对字符串进行存储操作，确保字符串有’\0’结束符
对字符串进行存储操作，必须确保字符串有’\0’结束符，否则在后续的调用strlen等操作中，可能会导致内存越界访问漏洞。
规则2.3：外部数据作为数组索引时必须确保在数组大小范围内
外部数据作为数组索引对内存进行访问时，必须对数据的大小进行严格的校验，否则为导致严重的错误。 下面的代码，通过if语句判断offset的合法性：
int Foo(BYTE *buffer, int size) { ... int offset = ReadIntFromMsg(); if (offset >= 0 && offset规则2.4：外部输入作为内存操作相关函数的复制长度时，需要校验其合法性
在调用内存操作相关的函数时（例如memcpy、memmove、memcpy_s、memmove_s等），如果复制长度外部可控，则必须校验其合法性，否则容易导致内存溢出。 下例中，循环长度来自设备外部报文，由于没有校验大小，可造成缓冲区溢出：
typedef struct BigIntType { unsigned int length; char val[MAX_INT_DIGITS]; }BigInt; BigInt *AsnOctsToBigInt(const AsnOcts *asnOcts) { BigInt *bigNumber = NULL; ... for (i = 0; i octetLen; i++) { bigNumber->val[i] = asnOcts->octs[i]; } ... }规则2.5：调用格式化函数时，禁止format参数由外部可控
调用格式化函数时，如果format参数由外部可控，会造成字符串格式化漏洞。 这些格式化函数有：
char *msg = GetMsg(); ... printf(msg);
推荐做法：
char *msg = GetMsg(); ... printf("%s\n", msg);3.整数
规则3.1：整数之间运算时必须严格检查，确保不会出现溢出、反转、除0
在计算机中，整数存储的长度是固定的（例如32位或64位），当整数之间进行运算时，可能会超过这个最大固定长度，导致整数溢出或反转，使得实际计算结果与预期结果不符。 如果涉及到除法或者求余操作，必须确保除数不为0。
错误示例1：
size_t width = ReadByte(); size_t height = ReadByte(); size_t total = width * height; //可能整数溢出 void *bitmaps = malloc(total);
推荐做法1：
size_t width = ReadByte(); size_t height = ReadByte(); if (width == 0 || height == 0 || width > MAX_WIDTH || height > MAX_HEIGHT) { //error ... } size_t total = width * height; // MAX_WIDTH * MAX_HEIGHT 不会溢出 void *bitmaps = malloc(total);错误示例2：
size_t a = ReadByte(); size_t b = 1000 / a; //a可能是0 size_t c = 1000 % a; //a可能是0 ...
推荐做法2：
size_t a = ReadByte(); if (a == 0) { //error ... } size_t b = 1000 / a; //a不可能是0 size_t c = 1000 % a; //a不可能是0 ...规则3.2：整型表达式比较或赋值为一种更大类型之前必须用这种更大类型对它进行求值
由于整数在运算过程中可能溢出，当运算结果赋值给比他更大类型，或者和比他更大类型进行比较时，会导致实际结果与预期结果不符。 请观察以下二个代码及其输出：
int main(int argc, char *argv[]) { unsigned int a = 0x10000000; unsigned long long b = a * 0xab; printf("b = %llX\n", b); return 0; } // 输出： b = B0000000规则3.3：禁止对有符号整数进行位操作符运算
位操作符（～、>>、 24;
推荐做法：(为简化示例代码，此处假设ReadByte函数实际不存在返回值小于0的情况)
unsigned int data = (unsigned int)ReadByte(); unsigned int a = data >> 24;
规则3.4：禁止整数与指针间的互相转化
指针的大小随着平台的不同而不同，强行进行整数与指针间的互相转化，降低了程序的兼容性，在转换过程中可能引起指针高位信息的丢失。
错误示例：
char *ptr = ...; unsigned int number = (unsigned int)ptr;
推荐做法：
char *ptr = ...; uintptr_t number = (uintptr_t)ptr;
规则3.5：禁止对指针进行逻辑或位运算（&&、||、!、～、>>、 ... if (nameA) ... if (!nameB) ... } ... if (nameA != NULL) ... if (nameB == NULL) ... } ... msgLength = ntohs(*(unsigned short *)&msg[RD_LEA_PKT_LENGTH]); ... while (msgLength != 0) { attrType = msg[0]; attrLength = msg[RD_LEA_PKT_LENGTH]; ... msgLength -= attrLength; msg += attrLength; } ... } if (size //error ... } ... char *msg = (char *)malloc(size); ... } ... } int *result = NULL; ... size_t bufSize = size * sizeof(int); ... result = (int *)malloc(bufSize); ... result[0] += metrix[0][0] * param[0]; ... return result; } int *result = NULL; ... size_t bufSize = size * sizeof(int); ... result = (int *)malloc(bufSize); ... int ret = memset_s(result, bufSize, 0, bufSize); //【修改】确保内存被初始化后才被引 ... result[0] += metrix[0][0] * param[0]; ... return result; } free(message); //在这个分支内对内存进行了释放 message = NULL; //释放后将指针赋值为NULL } ... if (message != NULL) { free(message); message = NULL; }
