如何通过sys.set_trace访问Python解释器数据栈获取STORE_ATTR操作目标

核心结论 #

sys.set_trace的公开接口 没有提供类似CPython虚拟机内部TOP()的方法，可以让你直接读取当前执行帧的运行时数据栈内容。就算你开启frame.f_trace_opcodes = True触发逐字节码的追踪回调，Python公开的frame对象也仅能访问局部变量、全局变量、调用链路等基础元信息；作为虚拟机核心运行结构的数据栈，本身就不在公开API的开放范围内。

可行的实现方案 #

• 基于CPython内部结构的内存解析
  如果你运行在标准CPython解释器环境下，可以通过ctypes读取帧对象对应的内部结构体字段。CPython的帧结构本身存储了数据栈的栈底位置、当前栈指针位置，顺着指针偏移就能拿到栈上存储的真实Python对象。
  针对STORE_ATTR指令，执行前的真实栈布局为：栈顶元素是待存储的属性值，栈顶下一个元素是属性所属的目标对象，按这个顺序解析就能拿到两个对应的值。
  注意：这种方案强绑定当前Python版本的内部内存布局，跨解释器（如PyPy）、跨Python小版本时极易出现结构不匹配的问题，稳定性较差。

• 手动模拟数据栈的执行逻辑
  你可以在追踪函数中自行维护一个模拟的本地栈结构，逐字节码触发时按照CPython的字节码语义手动模拟入栈、出栈操作。因为追踪回调是在每条字节码执行前触发的，你手动维护的栈状态和解释器真实的栈状态时序完全同步，不会出现偏差。
  针对STORE_ATTR指令，按照其官方语义，执行时会依次弹出栈顶的属性值、次栈顶的目标对象，这两个值你都可以在模拟栈中直接拿到。
  注意：这种方案属于纯Python实现，不依赖解释器内部结构，稳定性更强；但需要完整梳理所有字节码的栈操作规则，对带跳转、异常处理的复杂场景，需要额外处理栈平衡的逻辑。

• 回溯前置加载指令定位目标对象
  由于STORE_ATTR的目标对象，一定是由之前某条加载类字节码（如LOAD_FAST、LOAD_GLOBAL、LOAD_ATTR）压入栈的，你可以在追踪到当前STORE_ATTR偏移时，顺着之前的执行记录回溯，找到把目标对象压入栈的那条指令，直接从对应时刻的帧上下文中获取目标对象的值，不需要读取当前真实栈的内容。

内容的提问来源于stack exchange，提问作者DelphianCalamity