为何32位Windows代码存在ReadFile缓冲区溢出风险？如何修复？

为什么会出现缓冲区溢出风险？ #

在32位MSVC（默认4字节对齐规则）下，结构体成员会被自动填充以满足内存对齐要求：

• MY_STRUCT中的myArray[82]占82字节，下一个成员number1是4字节的int类型，需要对齐到4字节边界，因此编译器会在myArray后插入2字节的填充空间。
• 加上两个int成员各4字节，整个结构体的sizeof(MY_STRUCT)最终为82+2+4+4=92字节。

Veracode检测到的风险点在于：你调用ReadFile时传入了sizeof(MY_STRUCT)（92字节），但这92字节中包含了编译器自动添加的2字节填充区域——这块区域不属于结构体的有效成员，写入数据到填充区可能破坏栈内存布局，导致缓冲区溢出或其他内存安全问题，因此Veracode认为目标缓冲区的有效可用空间是88字节（82+4+4），而你请求读取92字节，存在溢出风险。

修复方案 #

方案1：读取结构体有效成员的总大小 #

直接计算结构体中所有有效成员的字节总和，代替sizeof(MY_STRUCT)作为ReadFile的读取大小参数，避免写入填充区域：

void test_ExpectBufferOverflow(HANDLE handle)
{
    DWORD nRead;
    MY_STRUCT my_struct;

    // 计算有效成员总大小：82+4+4=88字节
    DWORD readSize = sizeof(my_struct.myArray) + sizeof(my_struct.number1) + sizeof(my_struct.number2);
    ReadFile(handle, &my_struct, readSize, &nRead, NULL);
}

方案2：调整结构体布局消除填充 #

通过调整结构体成员顺序或数组大小，让结构体自然满足对齐规则，消除自动填充：

• 方法A：将char数组放在结构体末尾，同时调整数组大小为84字节（使总大小为4的倍数）：

typedef struct
{
    int  number1;  
    int  number2;    
    char myArray[84]; // 84是4的倍数，总大小92，无填充
} MY_STRUCT;

此时sizeof(MY_STRUCT)为4+4+84=92，所有字节均为有效成员，调用ReadFile时用sizeof(MY_STRUCT)即可安全读取。

• 方法B：调整原数组大小为84字节（4的倍数），让myArray之后无需填充：

typedef struct
{
    char myArray[84]; // 84是4的倍数，无需填充
    int  number1;  
    int  number2;    
} MY_STRUCT;

此时sizeof(MY_STRUCT)为84+4+4=92，所有字节均为有效成员，读取92字节不会有问题。

方案3：强制1字节对齐（谨慎使用） #

通过#pragma pack指令取消编译器的自动对齐，让结构体按1字节布局，此时sizeof(MY_STRUCT)为82+4+4=90，读取90字节即可：

#pragma pack(push, 1) // 强制1字节对齐
typedef struct
{
    char myArray[82];
    int  number1;  
    int  number2;    
} MY_STRUCT;
#pragma pack(pop) // 恢复默认对齐规则

void test_ExpectBufferOverflow(HANDLE handle)
{
    DWORD nRead;
    MY_STRUCT my_struct;

    ReadFile(handle, &my_struct, sizeof(MY_STRUCT), &nRead, NULL);
}

注意：这种方法会导致非对齐内存访问，可能降低性能，且部分Windows API对结构体对齐有要求，需谨慎使用。

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