CTF 实践（题型识别 / 自动化解题 / 约束求解）

完整工作流

按顺序执行；每步产物（题型结论 / 关键函数地址 / 约束模型 / flag）记录证据路径 + sha256（见 [[re-triage]]（能力：triage）），供 writeup 引用。