以太坊字节码里的跳转目标可以从栈上现取，机器码级别的自由让静态分析的代价从线性一路涨到平方乃至阶乘量级。EIP-8173 是一篇 2026 年 2 月的资料性提案，把图论、编译器、虚拟机与安全研究的零散文献拼成一张图：解释 EVM 控制流为什么先天难分析，并梳理静态控制流路线的取舍。