为何分配不足1MB内存时malloc返回NULL，VS报C6011空指针解引用错误

C6011警告和malloc返回异常问题解决 #

为什么只有revstr触发C6011警告 #

C6011是Visual Studio静态代码分析的警告，规则是检测是否存在解引用空指针的风险，两个函数实际上都有该风险，只有前者报警告的原因是：

• 静态分析器的路径检测逻辑差异：revstr中调用strlen(string)后直接进入循环，无任何分支可以跳过retstr的解引用操作，所以明确命中警告规则；get_name中存在for循环的break分支、while的条件判断分支，静态分析器判定存在理论上不会进入循环解引用retstr的路径，因此未触发警告，不代表该函数没有空指针解引用风险。

小内存分配malloc仍返回NULL的原因 #

malloc无论分配多小的内存，都存在返回NULL的可能，你遇到的情况优先排查两个方向：

• 没有校验malloc返回值：你现有代码完全没有判断malloc是否分配成功就直接解引用，只要分配失败就会触发空指针访问异常，所有malloc调用后必须加空判断。
• 堆结构被破坏：你的代码存在多处内存越界访问的bug，会破坏堆的元数据，导致后续malloc操作异常：
  • revstr逻辑错误：strlen返回的是字符串不包含末尾\0的长度，你i = len取到的是字符串末尾的\0，如果传入的字符串长度超过29，分配的30字节完全不够存储反转后的结果，越界写会直接破坏堆结构。
  • get_name逻辑错误：如果传入的字符串中没有.或者没有/，循环会越界访问字符串的负下标，同样会破坏内存结构，导致后续malloc异常。

修复方案 #

1. 所有malloc调用后增加空判断：

char* retstr = (char*)malloc(30);
if (retstr == NULL) {
    perror("内存分配失败");
    return NULL;
}

2. 修复revstr的反转逻辑，增加长度校验，避免越界：

char* revstr(char* string)
{
    if (string == NULL) return NULL;
    int len = strlen(string);
    // 分配长度要足够存储原字符串+末尾\0
    char* retstr = (char*)malloc(len + 1);
    if (retstr == NULL) {
        perror("malloc失败");
        return NULL;
    }
    int i = 0, j = 0;
    for (i = len - 1, j = 0; i >= 0; i--, j++)
    {
        retstr[j] = string[i];
    }
    retstr[j] = '\0';
    printf("\n%s\n", retstr);
    return retstr;
}

3. 修复get_name的边界判断，避免越界访问负下标：

char * get_name(char* string)
{
    if (string == NULL) return NULL;
    char* retstr = (char*)malloc(30);
    if (retstr == NULL) {
        perror("malloc失败");
        return NULL;
    }
    int len = strlen(string);
    int i = len - 1,j=0;
    // 找最后一个.的位置，增加边界判断避免越界
    for (; i > 0; i--) {
        if (string[i] == '.')
            break;
    }
    // 找/的位置，增加边界判断避免越界
    while (i > 0 && string[i] != '/')
    {
        if (j >= 29) break; // 避免超过分配的30字节
        retstr[j] = string[i];
        i--; j++;
    }
    retstr[j] = '\0';
    return retstr;
}

4. 修复代码笔误：revstr中printf("%s",etstr);的etstr为笔误，修改为retstr。

内容的提问来源于stack exchange，提问作者JoyPills51