为什么CPP检查没有显示任何错误?

时间:2015-10-19 15:22:06

标签: c++ xml static-code-analysis cppcheck

<iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/[YOUTUBE-VIDEO-ID]" frameborder="0" allowfullscreen></iframe>

导致此

cppcheck --enable=style --inconclusive --check-config --xml --xml-version=2 -v -I.. -I../mocks -I../gmock -I../gtest -DUNIT_TEST ../src

显然,我做错了什么 - 但是什么?

是的,我确信代码有问题,但为了确定,我将这两行粘贴到其中

<?xml version="1.0" encoding="UTF-8"?>
<results version="2">
  <cppcheck version="1.52"/>
  <errors>
Checking ../src/AppMain.cpp...
  </errors>
</results>

并且没有关于引用越界的报告

1 个答案:

答案 0 :(得分:6)

如果没有最小的工作示例来重现问题,很难提供帮助。

首先,删除check-config参数,因为它does the following

  

- check-config检查cppcheck配置。正常的代码                         此标志禁用分析。

要知道源代码很重要,因为如果您定义UNIT_TEST并且此特定snipet因此而未处于活动状态,则不会显示任何问题。

此外,如果要查看错误,则应指定“--enable = all”,因为越界被归类为错误,而不是样式。未使用的变量(在您的示例中给出)是一个样式问题。

运行cppcheck(v1.72)

cppcheck --enable=all --inconclusive --xml-version=2 -v foo.cpp

在此

void main()
{
  char a[10];
  a[10] = 0;
}

为我生成以下输出

<?xml version="1.0" encoding="UTF-8"?>
<results version="2">
    <cppcheck version="1.72"/>
    <errors>
        <error id="unreadVariable" severity="style" msg="Variable &apos;a&apos; is assigned a value that is never used." verbose="Variable &apos;a&apos; is assigned a value that is never used.">
            <location file="foo.cpp" line="5"/>
        </error>
        <error id="arrayIndexOutOfBounds" severity="error" msg="Array &apos;a[10]&apos; accessed at index 10, which is out of bounds." verbose="Array &apos;a[10]&apos; accessed at index 10, which is out of bounds.">
            <location file="foo.cpp" line="5"/>
        </error>
    </errors>
</results>