本地CTF实验中用最小示例逐步检验longjmp对局部变量保存假设的影响

初学者在本地CTF实验里常遇到程序通过setjmp保存上下文、longjmp跳转回之前位置的情况。直接阅读源码难以判断哪些局部变量在跳转后仍保持原值，哪些已被破坏。采用最小示例配合状态观察，能把这个过程拆成可重复检验的步骤。

核心做法是先写一个只包含必要跳转逻辑的短程序，再用GDB记录跳转前后的寄存器和栈内容。通过假设-执行-比对三步循环，逐步确认变量实际存储位置与保存规则，避免把编译器优化或调用约定当作固定行为。

先列出待检验的具体假设

开始前需要把对longjmp行为的预期写成几条可观察的断言。例如所有未加volatile的局部整型变量在longjmp后都会恢复为跳转前值，仅buf数组内容被覆盖，其他变量不受影响。这些假设必须能映射到具体的内存地址或寄存器。写假设时要区分自动变量、寄存器变量和可能被优化到寄存器的变量。同一段代码在不同优化等级下，变量的实际存储位置不同，因此假设也要按-O0和-O2分别列出。

假设列表要包含变量类型、存储位置预期以及跳转后值的变化方向。把每个假设编号，便于后续逐一验证。避免笼统说法如变量会恢复，而要指明具体变量名和预期数值。

构建只包含跳转逻辑的最小程序

最小程序应仅保留setjmp、longjmp调用以及少量局部变量。去掉无关的函数调用和全局变量，减少干扰源。典型写法是在main里声明几个int和char数组，调用setjmp保存上下文，随后修改变量并触发longjmp。编译时保留调试符号但关闭优化，先用-O0生成基线版本。之后再编译-O2版本，用于对比同一假设在不同优化下的表现差异。两个版本的二进制都要保存，以便后续交叉验证。

程序结构要保持简单，主函数内直接使用setjmp返回值判断是否跳转。变量声明放在setjmp调用之前，确保它们位于同一栈帧。测试多个变量类型，包括整型、数组和结构体，以覆盖不同存储方式。

用GDB记录跳转前后的状态快照

启动GDB后先在setjmp返回点和longjmp目标点各下一个断点。每次命中断点时，用info locals查看变量当前值，同时用x命令查看对应栈地址内容。把这些值记入文本文件，形成第一次快照。继续执行到longjmp触发，再次记录相同地址和寄存器的值。比较两次快照即可看出哪些变量被恢复，哪些保留了修改后的值。此过程要重复三次以上，确保观察到的差异不是单次执行的偶然。

记录时要同时保存jmp_buf内部数据。使用print命令查看buf数组各元素在跳转前后的变化。注意GDB的info frame命令可显示栈帧基址，帮助确认变量相对位置。

结合寄存器与栈内容判断变量位置

当变量在跳转后仍保持旧值，需进一步确认它是保存在jmp_buf里还是根本没有被修改。查看rbp和rsp寄存器变化，结合变量地址判断其是否位于栈帧内。寄存器中残留的旧值也可能是编译器把变量分配到了callee-saved寄存器。如果变量地址落在jmp_buf覆盖范围之外，却在跳转后恢复，说明编译器把它放进了jmp_buf保存的寄存器集合。

此时需要用info registers查看rbx、r12等寄存器在跳转前后的数值，验证这一推断。不同架构下被保存寄存器集合不同，x86_64通常包含rbx、rbp、r12至r15。

迭代修正假设并增加边界用例

第一次比对后，原来的假设往往需要调整。例如发现某个未加volatile的变量在-O2下没有恢复，就要修改假设为优化后该变量可能被分配到被保存寄存器。随后增加新用例，把该变量改为volatile或移到函数外部，再次执行相同观察流程。边界用例还包括在longjmp前触发信号处理程序、改变栈对齐方式等。

每次只改一个条件，保持其他部分不变，以便把观察到的差异归因到特定因素。增加用例时要记录新假设编号和对应程序版本，确保实验可复现。

记录观察结果与复审流程

把每次实验的程序版本、编译选项、断点位置、寄存器快照和最终结论写成简短日志。日志格式固定为假设编号-编译选项-变量地址-跳转前值-跳转后值-结论。这样在后续实验中能快速检索之前已验证过的边界。当程序修改后，重新执行相同的最小用例流程，而不是直接在完整程序上测试。

保持用例最小，能把状态变化控制在可观察范围内，避免无关代码掩盖真正的问题。定期复审日志，检查早期假设是否因编译器升级而失效。

注意事项与适用边界

这种方法只适用于本地编译、拥有调试符号的二进制。strip后的程序或第三方库里的跳转逻辑，需要先恢复符号或改用其他逆向手段。不同架构的调用约定差异很大，x86_64的结论不能直接套用到arm或mips上。

另外，setjmp/longjmp本身属于C标准边缘特性，C++的异常处理或线程上下文切换会引入额外因素。实验时应限制在纯C、单线程、无信号处理的范围内，否则观察结果容易被其他机制干扰。