用途：对二进制进行深度逆向分析，覆盖 Level 3 运行时动态分析与 Level 4 符号执行，适用于恶意样本分析、漏洞评估、IOC 提取、供应链安全验证及 CTF 二进制利用研究。禁止未授权逆向商业软件、在生产系统分析、或缺少隔离环境时分析恶意软件；简单字符串提取应改用基础工具。
主要能力：Level 3（约 1 小时）在沙箱内执行样本，用 GDB（配 GEF/Pwndbg）在静态分析给出的关键地址设置断点，导出寄存器、栈与堆内存，搜索内存中的口令/密钥/token，并用 strace/ltrace 记录系统与库调用；输出 GDB 会话日志、内存转储、syscall 日志与 runtime-secrets.txt。Level 3 后经决策门评估是否升级。Level 4（2-6 小时）用 Angr 与 Z3 做符号执行，以目标地址和规避地址求解满足条件的输入，支持 hook 库函数、状态合并与约束简化，输出 angr 脚本、解、SMT2 约束与探索指标。总时限 3-7 小时。
使用方式（命令保持原样）： /re:deep crackme.exe /re:dynamic server.bin --args "--port 8080" /re:symbolic challenge.exe --target-addr 0x401337 可选 --breakpoints、--avoid-addrs、--max-states、--timeout、--find-all 等。依赖 MCP：sandbox-validator、memory-mcp、sequential-thinking、graph-analyst。前置要求：GDB 扩展、strace/ltrace、隔离沙箱，以及 Angr、Z3、Python 3.9+。
限制：必须仅在隔离 VM（含快照）、受限 Docker 或气隙实验室中执行，需网络隔离与监控；禁止在主机运行未知二进制、禁止公开泄露凭据或密钥、禁止绕过授权许可。存在反调试/反虚拟机、加壳、多阶段加密载荷、内核 rootkit 等挑战，符号执行可能状态爆炸（>10000 路径）或超时（>24 小时），复杂程序分析可能超 24 小时，需多方法交叉验证以降低误报。资料未提供具体收费与平台支持信息。