PVS-Studio:V641 - WIN API 结构的误报

PVS-Studio: V641 - false positive for WIN API structs

最后一个成员 WCHAR Name[1] 假定为字符串。这是一个众所周知的技术。

// c:\Program Files (x86)\Windows Kits.0\Include\um\DbgHelp.h

typedef struct _SYMBOL_INFOW {
    ULONG       SizeOfStruct;
    ULONG       TypeIndex;        // Type Index of symbol
    ULONG64     Reserved[2];
    ULONG       Index;
    ULONG       Size;
    ULONG64     ModBase;          // Base Address of module comtaining this symbol
    ULONG       Flags;
    ULONG64     Value;            // Value of symbol, ValuePresent should be 1
    ULONG64     Address;          // Address of symbol including base address of module
    ULONG       Register;         // register holding value or pointer to value
    ULONG       Scope;            // scope of the symbol
    ULONG       Tag;              // pdb classification
    ULONG       NameLen;          // Actual length of name
    ULONG       MaxNameLen;
    WCHAR       Name[1];          // Name of symbol
} SYMBOL_INFOW, *PSYMBOL_INFOW;

但是下面的代码生成了V641。为什么?

PSYMBOL_INFOW pSym = NULL;
pSym = (PSYMBOL_INFOW) malloc(sizeof(SYMBOL_INFOW) + MAX_SYM_NAME);

感谢您对我们的产品和您描述的问题的关注。我们将检查提供的代码片段并尝试修复这些问题。