我认为您正在寻找一个代码覆盖工具。代码覆盖工具将在代码运行时分析它，它将让您知道哪些代码行被执行了，执行了多少次，以及哪些代码没有执行。

您可以尝试使用这个开源代码覆盖工具:TestCocoon—用于C/ c++和c#的代码覆盖工具。

你可以尝试使用Gimple Software的PC-lint/FlexeLint。它声称

找到未使用的宏，typedef， 类、成员、声明等。 贯穿整个项目

我曾用它进行静态分析，并发现它非常好，但我必须承认，我没有专门用它来查找死代码。

我有个朋友今天问了我这个问题，我看了看一些有前途的Clang开发，例如ASTMatchers和Static Analyzer，它们可能在编译过程中有足够的可见性来确定死代码部分，但后来我发现了这个:

https://blog.flameeyes.eu/2008/01/today-how-to-identify-unused-exported-functions-and-variables

它几乎完整地描述了如何使用一些GCC标志，这些标志似乎是为了识别未引用的符号而设计的!

我认为您正在寻找一个代码覆盖工具。代码覆盖工具将在代码运行时分析它，它将让您知道哪些代码行被执行了，执行了多少次，以及哪些代码没有执行。

您可以尝试使用这个开源代码覆盖工具:TestCocoon—用于C/ c++和c#的代码覆盖工具。

我自己没有使用过cppcheck，但它声称可以找到未使用的函数。这也许不能完全解决问题，但可能是个开始。

对于未使用的整个函数(和未使用的全局变量)，GCC实际上可以为您完成大部分工作，前提是您使用GCC和GNU ld。

编译源代码时，使用- function-sections和-fdata-sections，然后链接时使用-Wl，——gc-sections，——print-gc-sections。链接器现在将列出所有可以删除的函数，因为它们从未被调用，以及所有从未被引用的全局函数。

(当然，你也可以跳过——print-gc-sections部分，让链接器无声地删除函数，但将它们保留在源代码中。)

注意:这只会发现未使用的完整函数，它不会对函数中的死代码做任何事情。在活函数中从死代码调用的函数也将被保留。

一些c++特有的特性也会导致问题，特别是:

Virtual functions. Without knowing which subclasses exist and which are actually instantiated at run time, you can't know which virtual functions you need to exist in the final program. The linker doesn't have enough information about that so it will have to keep all of them around. Globals with constructors, and their constructors. In general, the linker can't know that the constructor for a global doesn't have side effects, so it must run it. Obviously this means the global itself also needs to be kept.

在这两种情况下，虚函数或全局变量构造函数使用的任何东西都必须保留。

另外需要注意的是，如果您正在构建一个共享库，GCC中的默认设置将导出共享库中的每个函数，导致只要链接器就会“使用”它。为了解决这个问题，你需要将默认值设置为隐藏符号而不是导出(例如使用-fvisibility=hidden)，然后显式地选择你需要导出的导出函数。