如何消除Visual Studio C++中C6386缓冲区溢出误报警告？

问题原因 #

C6386: Buffer overrun while writing to 'g_bufferInfos': the writable size is 'n*24' bytes, but '48' bytes might be written.
这个警告属于Visual Studio静态代码分析的典型误报：分析器无法推导n = ins.size() + outs.size()和后续循环访问边界的约束关系，误以为你访问数组时会超出分配的长度，实际上你的循环上下界完全匹配数组的分配长度，没有溢出风险。

解决方案（按优先级排序） #

1. 替换裸指针为std::vector（最推荐，无副作用还能避免内存泄漏） #

静态分析器对STL容器的边界识别准确率远高于裸指针，同时用vector还能自动管理内存，避免后续忘记释放g_bufferInfos导致的泄漏问题，修改后的代码示例：

// 把全局变量的定义改成vector
std::vector<ASIOBufferInfo> g_bufferInfos;

using indices = std::vector<size_t>;

bool start(const indices ins, const indices outs)
{
    if (!g_bufferInfos.empty())
        return false;

    size_t n = ins.size() + outs.size();
    g_bufferInfos.resize(n); // 自动分配n个元素的空间

    long min, max, pref, gran;
    ASIOGetBufferSize(&min, &max, &pref, &gran);
    for (size_t i = 0; i < ins.size(); ++i)
    {
        g_bufferInfos[i].isInput = true;
        g_bufferInfos[i].channelNum = ins[i];
    }
    for (size_t i = 0; i < outs.size(); ++i)
    {
        g_bufferInfos[ins.size() + i].isInput = false;
        g_bufferInfos[ins.size() + i].channelNum = outs[i];
    }
    // 传vector的底层裸指针给ASIO接口即可
    ASIOCreateBuffers(g_bufferInfos.data(), n, pref, &g_callbacks);
    return ASIOStart() == ASE_OK;
}

这个方案修改量很小，且能彻底消除警告，同时提升代码安全性。

2. 给静态分析器添加约束提示 #

如果你坚持要使用裸指针，可以添加VS静态分析专属的假设宏，告诉分析器你的约束条件：

size_t n = ins.size() + outs.size();
g_bufferInfos = new ASIOBufferInfo[n];
// 加入这行，告诉分析器 ins.size() 一定小于等于n
_Analysis_assume_(ins.size() <= n);

添加后分析器就能正确推导循环访问的边界不会溢出，警告会消失。

3. 局部禁用警告（最不推荐，仅在前两个方案都不可行时使用） #

不要全局禁用C6386警告，这个警告能有效拦截绝大多数真实的缓冲区溢出问题，只需要在触发警告的代码段局部禁用即可：

#pragma warning(push)
#pragma warning(disable:6386)
for (size_t i = 0; i < ins.size(); ++i)
{
    g_bufferInfos[i].isInput = true;
    g_bufferInfos[i].channelNum = ins[i];
}
for (size_t i = 0; i < outs.size(); ++i)
{
    g_bufferInfos[ins.size() + i].isInput = false;
    g_bufferInfos[ins.size() + i].channelNum = outs[i];
}
#pragma warning(pop)

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