棧增長方向探測：原理分析與 C 語言實現

棧增長方向探測：原理分析與 C 語言實現

棧是後進先出（LIFO）的數據結構，在計算機系統中分為「向上增長」和「向下增長」兩種架構。本文通過遞歸函數比較局部變量地址，實現運行時檢測當前系統棧增長方向。

一、背景知識

• 向上增長：壓入數據時棧指針增加（地址變大）
• 向下增長：壓入數據時棧指針減少（地址變小）
• x86/x64、ARM 等主流架構均採用向下增長

二、檢測原理

利用遞歸調用在棧上創建兩幀，比較同名局部變量在兩幀中的地址：

• 第一次進入函數：保存局部變量 addr 的地址到靜態指針 p
• 遞歸第二次進入：新幀的 addr 地址與 p 比較
  • &addr > p → 棧向上增長
  • &addr < p → 棧向下增長
  • 相等 → 異常情況

三、完整 C 代碼實現

/**********************************************************************
 * 文件名：FindStackDirection.c
 * 功能：檢測棧增長方向
 * 作者：Zhou Zhaoxiong
 **********************************************************************/
#include 

typedef unsigned char UINT8;
typedef signed int INT32;

void FindStackDirection(void);

INT32 main() {
    FindStackDirection();
    return 0;
}

void FindStackDirection(void) {
    UINT8 addr = 0;           // 局部變量，每次遞歸分配新棧幀
    static UINT8 *p = NULL;   // 靜態指針，保存第一幀地址
    
    if (p == NULL) {          // 第一次進入
        p = &addr;            // 保存首幀地址
        FindStackDirection(); // 遞歸進入第二幀
    } else {                  // 第二次進入
        if (&addr > p) {
            printf("Stack grows up!\n");
        } else if (&addr < p) {
            printf("Stack grows down!\n");
        } else {
            printf("Bad stack!\n");
        }
    }
}

四、編譯與運行

# Linux/GCC 編譯
gcc -g -o FindStackDirection FindStackDirection.c

# 運行
./FindStackDirection
# 輸出：Stack grows down!

五、結果分析

主流系統（Linux/Windows/macOS 在 x86/x64 上）均輸出 Stack grows down!，證實棧向低地址方向增長。

為什麼多數架構選擇向下增長？

1. 歷史遺留：早期計算機內存佈局將棧放在高地址，堆在低地址，兩者向中間增長，減少碰撞風險
2. 緩衝區溢出防禦：向下增長使得數組溢出覆蓋的是「更舊」的棧幀（返回地址、舊幀指針），而非「更新」的數據，稍微增加利用難度
3. 統一性：統一架構規範便於編譯器、調試器、OS 內核開發

六、擴展思考

• 嵌入式系統中部分架構（如某些 DSP、舊式 MCU）棧向上增長
• 現代編譯器插入 Stack Canary、Shadow Stack 等保護機制，緩解溢出風險
• Go 語言採用分段棧（Segmented Stack），動態分配棧塊，突破傳統線性棧限制

七、總結

通過簡單的遞歸地址比較，即可在運行時確定棧增長方向。這不僅是經典面試題，更揭示了計算機系統底層內存佈局的基本規律。理解棧增長方向對調試棧溢出、編寫 Shellcode、逆向分析、嵌入式開發均有重要指導意義。