如何找到未初始化的堆栈变量

Question

我收到了一个旧代码 (c)，它似乎在不同时间产生了不同的结果。 我能够使用英特尔的编译器和编译器标志 -ftrapuv 始终如一地重现这个问题，这非常有效，我能够确定未初始化的变量是某个堆栈变量。 问题是，下一阶段是什么？ 有谁知道如何打印所有堆栈变量的回溯？ （或简单地打印堆栈内容） 有没有人有建议或知道英特尔如何提供帮助？还是我应该继续解决这个问题？

谢谢。

Answer 1

您可以使用sparse 对代码进行静态分析。它是开源且非常强大的工具。链接在这里：

• http://kernelnewbies.org/Sparse
• http://man7.org/linux/man-pages/man1/sparse.1.html

Answer 2

使用 cmets 中建议的 -ftrapuv 或 Valgrind 的 memcheck 可以工作，但这些是动态分析，只会捕获运行时执行的错误；如果您的测试执行没有使用有缺陷的代码，那么这些工具将无济于事。

幸运的是，使用未初始化的堆栈变量通常可以很容易地静态检测到，并且您的编译器具有可以帮助您捕捉到这一点的标志。 gcc 和 Intel 的 icc 都支持-Wuninitialized 标志，该标志将打印有关违规代码的警告。 gcc 还支持-Wmaybe-uninitialized 标志，当有一些 代码路径可能使用未初始化的变量时会发出警告；请注意，后一种分析容易出现误报。