我如何检查 C++ 代码以找到所有未使用的 return 值？

Question

我想静态检查对未使用 return 值的非空函数的所有调用。

实际上这就像将 __attribute__ ((warn_unused_result)) 应用于所有非空函数，但当然对于一个不切实际的大型项目。

是否有任何静态分析工具可以提供此信息？

Answer 1

Cppcheck 是一个命令行工具，它试图检测您的 C/C++ 编译器没有发现的错误，它还包括一个基于 Web 的报告生成器。

Answer 2

我认为有些软件可以像 DevExtreme 那样做到这一点，在 social.msdn.microsoft.com 这个问题的答案中 how-to-get-a-warning-for-an-unused-return-value? 他们提到 visual studio 的高级版和终极版有一些工具。

读这个：https://social.msdn.microsoft.com/Forums/vstudio/en-US/4355715a-5af7-4a2b-8aa0-bc2112eaa911/how-to-get-a-warning-for-an-unused-return-value?forum=vclanguage

和这个 mandatory-error-codes-revisited 来自：http://www.drdobbs.com/cpp/mandatory-error-codes-revisited/191601612

Answer 3

这可以使用 clang-query 来完成。这是一个 shell 脚本，它调用 clang-query 来查找 return 未使用的值的调用：

#!/bin/sh
# cmd.sh: Run clang-query to report unused return values.

# When --dump, print the AST of matching syntax.
if [ "x" = "x--dump" ]; then
  dump="set output dump"
  shift
fi

query='m
  callExpr(
    isExpansionInMainFile(),
    hasParent(anyOf(
      compoundStmt(),
      ifStmt(hasCondition(expr().bind("cond"))),
      whileStmt(hasCondition(expr().bind("cond"))),
      doStmt(hasCondition(expr().bind("cond")))
    )),
    unless(hasType(voidType())),
    unless(isTypeDependent()),
    unless(cxxOperatorCallExpr()),
    unless(callee(namedDecl(anyOf(
      hasName("memset"),
      hasName("setlength"),
      hasName("flags"),
      hasName("width"),
      hasName("__builtin_memcpy")
    )))),
    unless(equalsBoundNode("cond")))'

clang-query -c="$dump" -c="$query" "$@"

到运行这个，比方说，test1.cc:

$ ./cmd.sh test1.cc --

查询的基本思路是寻找直接parent是复合语句的调用表达式。它被扩展为处理立即数 parent，它是一个控制流语句，注意不要在调用作为条件表达式出现时报告。

查询处理的一些其他并发症：

这只在翻译单元的主文件中报告，以消除来自 headers 的大量噪音。从消防水龙带中取下 isExpansionInMainFile 过滤器饮用水。
在 C++ 模板中，我们可能不知道类型是什么，因此禁止报告所有具有依赖类型的调用。
有些函数如 memset 具有无用或很少有用的 return 值。必须过滤掉它们才能看到任何有用的信号。查询中的函数名称列表只是冰山一角。
C++重载运算符，包括operator<<和operator=，通常是return一个值，但那个值最常被忽略。因此，禁止所有重载运算符的报告。

我已经对我的实用程序库中的一些文件进行了轻微测试（使用来自 clang+llvm-8.0.1 的 clang-query），这就是我找到一些需要的东西的方式过滤掉这个是有用的。根据您的应用程序，可能还有更多的东西需要过滤。

https://clang.llvm.org/docs/LibASTMatchersReference.html . See this answer of mine 中描述了查询语言，以获取有关 clang-query 的更多链接和信息。

我如何检查 C++ 代码以找到所有未使用的 return 值？

How can I lint C++ code to find all unused return values?

c++

static-analysis