c - 如何检测内存是否来自堆栈？ (不是堆或静态变量)

Question

虽然没有官方支持的方法来做到这一点。有没有办法(在现代系统上)检测指针是否来自堆栈(例如调用者的堆栈)。

即使这不会作为实际代码逻辑的一部分工作，它也可以帮助避免可以检测到它的配置中的错误，例如:

void my_function(void *arg) {
    /* Only some configurations can do this (depending on compiler & arch). */
#if THE_MOONS_ALIGN
    assert(not_stack_memory(arg));
#endif

   /* ... actual logic ... */
}

Answer 1

由于堆栈和内存布局不在 C 标准中，因此显然没有可移植的方法来确定堆栈位置。但是，如果您正在为操作系统管理的系统进行编译，则操作系统很有可能会提供查询堆栈边界的 API。

在 Windows 上它可以完成为 -

#include <windows.h>
struct _TEB {
        NT_TIB NtTib;
};


void *getStackBase(){
        return NtCurrentTeb()->NtTib.StackBase;
}
void *getStackLimit(){
        return NtCurrentTeb()->NtTib.StackLimit;
}

但请注意，这将给出当前线程的栈边界，该变量可能位于另一个线程的栈上。在那种情况下，您将不得不遍历线程句柄并与每个堆栈绑定(bind)进行比较。您可以使用 ThreadFirst和 ThreadNext为了那个原因。

在 Linux 上，您可以阅读 /proc/<pid>/maps文件并查找 [stack]条目。