MSVC17静态分析器报szStringList未初始化警告的排查求助

警告原因（非误报） #

MSVC的C6001警告并非误报，问题出在代码的第一个for循环中：当ChannelHandler_getChannelInfo(i, &tmp)调用失败时，你仅打印了错误日志，但未给szStringList[i]赋值，导致该位置的指针处于未初始化状态。后续执行sizeofStringList、serializeStringList以及最后的内存释放循环时，都会访问这个未初始化的指针，触发静态分析器警告。

修复方案 #

在ChannelHandler_getChannelInfo调用失败的分支里，给szStringList[i]显式赋值为NULL，确保szStringList数组的每一个元素都被正确初始化。修改后的代码片段如下：

for (uint32_t i = 0; i < u32ChannelCount; ++i)
{
    ChannelInfo_t tmp = { 0 };
    if (!ChannelHandler_getChannelInfo(i, &tmp))
    {
        LOG_ERROR("Failed to get channel info for channel %i", mg_strLogCat, 10);
        szStringList[i] = NULL; // 新增：显式初始化该指针为NULL
    }
    else
    {
        size_t nSize = strlen(tmp.ChannelDeviceInfo.szMeasType) + 1;
        if (nSize > 1)
        {
            szStringList[i] = (char*)malloc(nSize);
            if (szStringList[i] != NULL)
            {
                memset(szStringList[i], 0, nSize);
                memcpy(szStringList[i], tmp.ChannelDeviceInfo.szMeasType, nSize);
            }
        }
        else
        {
            szStringList[i] = NULL;
        }
    }
}

额外优化建议 #

你也可以在malloc分配szStringList后，直接将整个数组初始化为NULL，这样就算后续分支遗漏赋值，也不会出现未初始化问题，代码更健壮：

char** szStringList = (char**)malloc(u32ChannelCount * sizeof(char*));
if (NULL == szStringList)
{
    return;
}
memset(szStringList, 0, u32ChannelCount * sizeof(char*)); // 新增：初始化整个指针数组为NULL

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