我在尝试调试一些看起来非常奇怪的行为时遇到了一些问题。例如，我们有：
static const char* LOG_FORMAT = "0x%02x,%.5f,";
并且指针没有明显的原因发生变化。有时是垃圾，有时是代码中其他地方定义的其他常量字符串（或部分）。我们偶尔也会看到代码跳转到不应该运行的不同部分（状态变量似乎在没有被要求的情况下更改）。有 2 或 3 种常见的故障模式，它们似乎是随机发生的。它是一个相对较大的代码库，添加或删除某些部分会改变故障行为（或完全删除它），即使这些部分从未被引用。
目前最好的理论是，这是一个与内存相关的问题，因为我们已经用细齿梳理了所有最近的变化，插入代码段来移动东西的简单行为似乎改变或删除了行为.
调试此问题或类似问题的最佳方法是什么？发现调试器有时很有用，而在其他时候却没有（但这可能是用户错误）。
进一步说明。ARM7，使用 Keil µVision 4 和 armcc v4.1 编译器。
这意味着您在程序中的某处存在指针错误/内存损坏......这可能是由许多不同的事情引起的。
发现这一点的最简单方法是运行程序直到 main 启动，然后向变量添加“写入”断点。这应该直接指出有问题的代码。
一个可能的原因是堆栈溢出，堆栈被放置在错误的内存位置，因此在溢出时它开始覆盖.data或.bss。见这篇文章。
您可以通过在启动时将所有堆栈内存设置为已知值（例如 0xAA）来调试堆栈溢出，让程序运行一段时间，尝试将其暴露给尽可能多的用例，然后中断并检查堆栈的内存，以查看已知值仍然保留的深度。如果这接近堆栈的末尾，那么您很可能发生堆栈溢出。
这看起来像一个堆栈错位问题。您的堆栈可能在单字（四字节）边界而不是双字（八字节）边界上对齐。
这就是为什么删除和添加不相关的部分会导致不同的行为。堆栈从对齐到未对齐取决于它之前的数据量。
损坏的格式说明符是另一个线索。在调用可变参数函数之前，未对齐的堆栈通常不会导致任何问题——尤其是传递一个需要双字对齐的值的函数。
要对此进行调试，您应该在调用printf（或格式说明符用于的任何函数）处设置断点并查看堆栈指针。如果 SP 未在 8 字节边界上对齐，您就发现了问题。