用途：面向 CTF 逆向类赛题，提供从题型识别到自动化解题、验证与产出记录的编排流程。
主要能力：按题型分派技能。初勘用 file / checksec / 熵 / strings 判断架构、是否带壳、是否静态链接；简单题走通用分析（格式解析、反编译、调试）；逐字节长循环校验用符号执行；一组数学等式或比较链用约束求解；混淆题先做反混淆再自动化；加密类题先识别算法再解密；序列号类题做校验定位与注册机；pwn 题移交调试域。
使用方式：按顺序执行，每步产物记录证据路径与 sha256 供 writeup 引用。求解出的输入需在沙箱内跑原程序验证，确认输出 flag{...}；记录题型、关键函数地址、约束模型、求解脚本、flag 与复现命令。
适用场景：CTF 逆向题、加密算法题、序列号注册类题、混淆题、带壳脱壳题，以及相邻的 pwn 入门题。
限制与注意：不审题直接上符号执行可能因路径爆炸或建模误差失败；混淆未还原就自动化会导致约束失真；flag 格式、大小写、换行、编码或输入长度不一致会造成验证失败；带壳或静态链接需先初勘识别；PyInstaller 题真实逻辑可能藏在 runtime hook、冻结模块、修改版运行库或 bootloader 前置逻辑中，需用竞争假设与最小实验区分。具体工具版本、安装命令与平台支持暂未提供。