c++ - 为 C++ 项目报告的奇怪的 Klocwork 问题

Question

我发现 Klocwork 报告的一些问题非常奇怪。例如 -

if(NULL == m_pMutex.get())
{
    Log("found unexpected sharedPtr m_pMutex");
    return -1;
}

Time_Critical_Section cs(*m_pMutex);

对于上面的代码，Klocwork 报告 NULL 指针解引用。但我认为这不是一个有效的问题。就好像指针为 null 一样，它会从函数返回并且没有机会访问指针。但是 Klocwork 仍然将此报告为一个问题。

另一个问题是-

 char buf[1000];
 sprintf(buf,"%s",name);

对于上面的代码，Klocwork说上面的代码部分会导致Buffer溢出，'buf'的数组索引可能越界。但是我们确认name变量不会大于1000字节。但 Klocwork 仍然将此报告为一个问题。

我们需要让我们的代码没有错误，最终代码不应该包含 Klocwork 的任何问题。谁能提出一种有效的方法来克服上述问题？

Answer 1

找到空指针取消引用问题的根本原因。让我们解释一下为什么这段代码会取消引用空指针。

if(NULL == m_pMutex.get())
{
    Log("found unexpected sharedPtr m_pMutex");
     return -1;
}

Time_Critical_Section cs(*m_pMutex);

因为 Klocwork 在检查“Time_Critical_Section cs(*m_pMutex);”中的指针时是一个静态代码分析器它在 open block 中找到它，尽管之前已经检查过它，如果指针为空，我们从函数返回值为 -1。 Klocwork在进行静态代码分析时，并不知道它之前已经检查过指针作为open block中指针的访问代码。我们可以通过以下方式修改代码来解决这个问题 -

if(NULL == m_pMutex.get())
{
   Log("found unexpected sharedPtr m_pMutex");
   return -1;
}
else
{

   Time_Critical_Section cs(*m_pMutex);
   //Do some operations
   return 0;
}