栈:从 SP(栈指针)与内存边界到可信的调用现场 24034 字·48 分钟 嵌入式 Stack Stack-Bounds Msp Psp Exception-Frame Evidence-Boundary STM32F407 Cmsis Hal Host-Fake C11 核心目标:建立以 SP、栈边界和编译产物交叉验证栈使用量与调用现场的证据方法,并为 STM32F407xx 规划可核对但尚未上板的最小采样与调试路径。 新核心概念:栈边界与动态使用量的证据边界;调用现场重建的证据边界。