如何解决此 C6385 代码分析警告：读取无效数据

Question

我正在尝试解决以下方法中出现的代码分析警告：

CStringArray* CCreateReportDlg::BuildCustomAssignArray(ROW_DATA_S &rsRowData)
{
    INT_PTR         iAssign, iNumAssigns, iUsedAssign;
    CStringArray    *pAryStrCustom = nullptr;
    CUSTOM_ASSIGN_S *psAssign = nullptr;

    if (rsRowData.uNumCustomToFill > 0)
    {
        pAryStrCustom = new CStringArray[rsRowData.uNumCustomToFill];
        iNumAssigns = m_aryPtrAssign.GetSize();
        for (iAssign = 0, iUsedAssign = 0; iAssign < iNumAssigns; iAssign++)
        {
            psAssign = (CUSTOM_ASSIGN_S*)m_aryPtrAssign.GetAt(iAssign);
            if (psAssign != nullptr)
            {
                if (!psAssign->bExcluded)
                {
                    pAryStrCustom[iUsedAssign].Copy(psAssign->aryStrBrothersAll);
                    iUsedAssign++;
                }
            }
        }
    }

    return pAryStrCustom;
}

有问题的代码行是：

pAryStrCustom[iUsedAssign].Copy(psAssign->aryStrBrothersAll);

我为 32 位和 64 位编译了这段代码。 提出的警告是：

警告 ( C6385 ) 从pAryStrCustom读取无效数据：可读大小为(size_t)*40+8字节，但可以读取80字节。

我不知道它是否相关，但CUSTOM_ASSIGN_S结构定义为：

typedef struct tagCustomAssignment
{
    int             iIndex;
    CString         strDescription;
    CString         strHeading;
    BOOL            bExcluded;
    CStringArray    aryStrBrothersAll;
    CStringArray    aryStrBrothersWT;
    CStringArray    aryStrBrothersSM;
    BOOL            bIncludeWT;
    BOOL            bIncludeTMS;
    BOOL            bFixed;
    int             iFixedType;
} CUSTOM_ASSIGN_S;

我的代码可以正常运行（多年），但是我可以进行编码改进来解决这个问题吗？ 我已经阅读了链接的文章，我不清楚。 我也看到了类似的问题（ Reading Invalid Data c6385 ）。 但在我的代码中，我看不出这是如何适用的。

Answer 1

警告...可读大小为 (size_t)*40+8 字节，但可以读取 80 字节。

此警告的措辞不准确，因为size_t不是数字，而是一种数据类型。 (size_t)*40+8没有意义。 大概意思是：

警告...可读大小为“40+8 字节”，但可以读取“80 字节”。

可以通过以下示例大致重现此警告：

//don't run this code, it's just for viewing the warning
size_t my_size = 1;
char* buf = new char[my_size];

buf[1];
//warning C6385: Reading invalid data from 'buf':  
//the readable size is 'my_size*1' bytes, but '2' bytes may be read

警告是正确和明显的。 buf[1]越界。 编译器看到buf分配大小是my_size*1 ，索引1正在访问byte '2' 。 我认为在其他地方编译器打印不正确，但实际警告是有效的。

在任何情况下，只要确保iUsedAssign在范围内

if (!psAssign->bExcluded && iUsedAssign < rsRowData.uNumCustomToFill)
{
    ...
}