用途：这是一套 CTF 逆向工程解题流程技能，目标是在比赛压力下理解程序行为并提取 flag、key 或 password，而非做完整的程序分析。它强调“足够理解”而非“完全理解”：只要能识别关键路径（输入→变换→校验→成功分支）即可解题。
主要能力与思路：围绕三个核心问题展开——程序期望什么输入（格式、长度、编码、校验条件）；程序做了什么（加密、哈希、编码、计算、比较）；如何逆向（可逆运算、暴力枚举、约束求解、打补丁绕过）。提供静态分析、动态分析以及二者结合的混合方法，并给出自上而下（从成功提示回溯）、自下而上（从输入函数追踪数据流）、模式识别（识别标准算法与常见混淆）、约束求解（将校验条件抽象为方程用 z3 等求解）四类策略。
使用方式：结合 ReVa 工具进行侦察与深挖，如 get-decompilation、find-cross-references、get-strings、search-decompilation、get-functions-by-similarity、read-memory 提取常量，以及 rename-variables、change-variable-datatypes、set-decompilation-comment、set-bookmark 改善可读性与记录进度。文档给出 5-10 分钟侦察、15-45 分钟聚焦调查、10-20 分钟提取解法的弹性工作流。
适用场景：crackme/序列号校验、算法还原、加密题、代码混淆与加壳、二进制炸弹、自定义编码等。限制：该技能以静态分析为主，动态分析需借助外部调试器（如 gdb、x64dbg）；具体环境配置、界面截图、收费标准等资料暂未提供。