我如何才能找到C 代码以找到所有未使用的返回值

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

本文关键字：未使用 返回值 代码      更新时间：2023-10-16

我想静态地检查未使用返回值的非void函数的所有调用。

实际上，这就像将__attribute__ ((warn_unused_result))应用于所有非流动功能，但对于一个不切实际的大型项目，当然也是如此。

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

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

#!/bin/sh
# cmd.sh: Run clang-query to report unused return values.
# When --dump, print the AST of matching syntax.
if [ "x$1" = "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 --

查询的基本思想是寻找直接父母是复合语句的呼叫表达式。扩展以处理一个直接父母，该父母是控制流量语句，请注意何时以条件表达式出现呼叫。

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

  • 这仅在翻译单元的主文件中报告，以消除标头的大量噪声。卸下isExpansionInMainFile过滤器从消防软管中饮用。

  • 在C 模板中，我们可能不知道该类型是什么，因此请抑制与依赖类型的所有调用。

  • memset(例如CC_6(的某些功能无用或仅有很少有用的返回值。必须将它们过滤掉以查看任何有用的信号。查询中的功能名称列表只是冰山的提示。

  • c 超载运算符，包括operator<<和operator=，通常返回一个值，但该值通常被忽略。因此，抑制了所有超载运营商的报告。

我已经在我的公用事业库中的某些文件上轻轻地测试了此文件(来自Clang llvm-8.0.1(有用。根据您的应用程序，可能还有更多需要过滤的东西。

查询语言在https://clang.llvm.org/docs/libastmatchersreference.html上进行了描述。有关clang-query的更多链接和信息，请参见我的答案。

cppcheck是一种命令行工具，试图检测您的C/C 编译器看不到的错误，它还包括基于Web的报告生成器。

我认为有软件可以像DevExtreme一样，在social.msdn.microsoft.com中，在此问题的答案中，how-to-get-a-warning-for-an-unused-return-value?他们提到了Visual Studio的Premium和Ultimate版本具有一些工具。

阅读以下内容：https：//social.msdn.microsoft.com/forums/vstudio/en-us/4355715a-5af7-4a2b-8aaa2b-8aa0-bc2112112aea911/未使用的返回价值？论坛= vclanguage

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

相关文章：