我可以使用Valgrind查找静态内存错误吗？

Question

我正在开发嵌入式程序。 我使用avr-gcc工具链从MacBook Pro编译C源代码。 直到最近，一切进展顺利。 但是，在我最新的开发迭代中，我似乎引入了某种间歇性错误，我怀疑这是某种堆栈或其他内存损坏错误。

我从未使用过Valgrind，但是似乎它得到了好评如潮，但是大多数参考似乎都指向malloc / free类型的错误。 我不做任何分配。 这是一个很小的嵌入式程序，没有操作系统。 瓦尔格朗德可以帮助我吗？ 在交叉编译的情况下，任何有关如何使用它来帮助查找静态内存管理错误的指示都将非常有帮助！

还是我应该考虑使用其他工具或技术来验证代码的内存管理？

Answer 1

是的，valgrind绝对可以为您提供帮助。 除了很多基于堆的分析（非法释放，内存泄漏等）之外，它的memcheck工具还检测非法读写，即程序访问不应访问的内存的情况。 这种分析不能区分静态内存和动态内存：它将报告堆栈帧之外的访问，超出静态数组范围的访问等等。 它还会检测对以前尚未初始化的变量的访问。 两种情况都是未定义的行为，并且可能导致崩溃。

Answer 2

Frama-C是静态分析框架（与提供动态分析的Valgrind相对）。 它最初是在设计时考虑到嵌入式的，可能是底层代码。 Frama-C的“值分析”插件基本上可以检测您可能想在嵌入式代码中了解的所有C未定义行为（包括访问无效指针）。

由于它是静态分析器，因此它不执行code（*），因此在交叉编译的环境中非常理想。 寻找选项-machdep 。 此选项的值包括x86_64 x86_32 ppc_32 x86_16。

免责声明：我是Frama-C的“价值分析”插件的贡献者之一。

（*）尽管您提供所有输入并设置最大精度，但是它可以像任何交叉编译+执行一样精确地解释源代码。