逆向工程实战：2020第五空间智能安全大赛re题解析与解题思路

1次阅读

没有评论

共计 1745 个字符，预计需要花费 5 分钟才能阅读完成。

2020 第五空间智能安全大赛是由国家相关部门指导的高水平网络安全赛事，其逆向工程题目以实战性强、对抗性高著称。本次分析的 re 题目典型特点包括：

多层代码混淆 ：通过控制流平坦化、指令替换等手段增加分析难度
动态加载技术 ：关键代码段在运行时解密加载，规避静态分析
反调试机制 ：包含时间检测、断点检测等 7 种反调试技术

题目采用 LLVM-Obfuscator 进行编译时混淆，主要表现：

控制流平坦化：将正常控制流拆分为 switch-case 结构
虚假分支注入：插入大量永不执行的条件跳转
指令等价替换：如用 xor 替代 mov 等操作

解决方案 ：

使用 Ghidra 10.1.2 的 Decompiler 插件进行初步反混淆
编写 IDAPython 脚本识别并简化控制流图

# IDAPython 控制流还原脚本片段
for func in Functions():
    flowchart = idaapi.FlowChart(idaapi.get_func(func))
    for block in flowchart:
        if is_obfuscated_block(block):
            rebuild_control_flow(block)

检测手段包括：

ptrace 自身检测
/proc/self/status 分析
指令执行时间差检测

绕过方法 ：

使用 Frida 框架 hook 关键检测函数
通过 LD_PRELOAD 注入修改系统调用返回值

使用 IDA Pro 7.6：

识别入口函数：定位 main 函数及关键初始化操作
字符串交叉引用：查找可疑加密字符串
导入表分析：识别使用的加密算法（如 AES、RC4）

x64dbg 配置要点：

使用 ScyllaHide 插件绕过反调试
设置内存访问断点监控关键数据区

关键调试步骤：

定位输入校验函数
跟踪加密密钥生成过程
捕获算法轮次输出

题目采用修改版的 TEA 算法：

void encrypt(uint32_t v[2], uint32_t k[4]) {uint32_t v0=v[0], v1=v[1], sum=0, i;
    uint32_t delta=0x9E3779B9;
    for (i=0; i<32; i++) {
        sum += delta;
        v0 += ((v1<<4)+k[0])^(v1+sum)^((v1>>5)+k[1]);
        v1 += ((v0<<4)+k[2])^(v0+sum)^((v0>>5)+k[3]);
    }
    v[0]=v0; v[1]=v1;
}

使用 pwntools 实现的完整利用链：

from pwn import *

context.arch = 'amd64'

def break_antidebug():
    # 反调试绕过代码
    pass

def decrypt_payload(cipher):
    # 逆向算法实现
    return plaintext

io = process('./challenge')
break_antidebug()
io.send(cyclic(128))  # 触发缓冲区溢出
leak = io.recvuntil('flag:')
canary = u64(leak[88:96])
rop = build_rop_chain(canary)
io.send(rop)
print(io.recvall())