VS2010静态代码分析Bug？

Question

好的，我很确定这只是因为 Visual Studio 中经常出错的静态代码分析器，但我认为更多的关注这不会有什么坏处。

我已经编写了自己的矢量样式容器集合。它们似乎工作正常，但我注意到来自 Visual Studio 静态代码分析器的以下警告：

警告 C6386：缓冲区溢出：访问“参数 1”，可写大小为“newspace*4”字节，但可能会写入“4194240”字节

上述警告出现在以下代码（memcpy）的最后一行，并突出显示所有前面的行。这个特定的向量类可以拥有的所有可能的类型都是 POD。 mSpace 包含向量中可用内存可以容纳的项目数，mSize 包含当前项目数。 mDynamic 指向当前由向量管理的内存块。

Bool Insert( UInt32 index, TYPE value, UInt32 count = 1 )
{
    if( index < mSize )
    {
        UInt32  newsize = mSize + count;

        if( newsize > mSpace )
        {
            UInt32  newspace = std::max( Align( newsize, 8 ), mSpace << 1 );
            TYPE*   ptr = new TYPE[ newspace ];

            if( ptr )
            {
                memcpy( ptr, mDynamic, index * sizeof( TYPE ));
                // The remainder of the code copies the second half of the
                // existing data and inserts the new values...

我一直看着这个，直到我的眼睛流血（嗯，几乎）并且看不出分析仪为什么会产生这个警告。我在其他地方也看到过同样的警告，它的值也很奇怪，4194240，这就是为什么我假设它是分析器中的另一个错误。

谁能确认这是分析器中的一个已知错误（快速搜索 connect 没有提供任何结果），或者我的代码中是否存在我没​​有看到的明显错误？

Answer 1

不确定它是否与警告有关，但您确实有一个错误。如果 mSize 为 2^32 - 1，则由于整数溢出，newsize 将被设置为 0，最终导致缓冲区溢出。当您在没有检查结果是否适合 32 位的情况下执行 index * sizeof( TYPE ) 时，也会出现类似的错误。

更小，但你真的应该使用size_t 而不是UInt32，否则如果你想编译到 64 位，你会收到关于类型不匹配大小的警告 memcpy 将 size_t 作为第三个参数，并且 size_t 在 64 位 Windows 上是 64 位。