帮我解这个 CTF rev 挑战题 — 看起来是一个自定义 VM。

ctf-reverse 方法论
    │
    ▼
Step 1: 侦察
    ├── file → ELF 64-bit
    ├── strings → 无明显 flag
    ├── checksec → 部分 RELRO, NX enabled
    └── 熵值分析 → 正常范围（无加壳）
    │
    ▼
Step 2: 静态分析
    ├── main() → 读取输入，调用 VM 执行
    ├── 识别 VM 结构：handler table + dispatcher
    └── VM 调度器：switch on opcode
    │
    ▼
Step 3: VM 分析 (vm-and-bytecode-reverse)
    ├── 提取 handler table
    ├── 映射 opcode → 操作语义
    │   ├── 0x01: PUSH
    │   ├── 0x02: POP
    │   ├── 0x03: XOR
    │   ├── 0x04: CMP
    │   └── 0x05: JNZ
    └── 理解 VM 程序逻辑
    │
    ▼
Step 4: 约束求解 (symbolic-execution-tools)
    ├── 提取 CMP 条件
    ├── 构建 Z3 约束
    └── 求解 → flag{...}
    │
    ▼
验证：用 VM 执行求解结果，确认输出 "Correct"

flag{vm_r3v3rs1ng_1s_fun}