逆向工程实战：2020第五空间智能安全大赛re题分析与解决方案

1次阅读

没有评论

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

2020 第五空间智能安全大赛的逆向工程题目旨在考察选手对真实场景下二进制文件的分析能力。题目聚焦三个核心维度：

对抗现代反逆向技术（如代码混淆、反调试）
复杂算法的逆向还原能力
多工具链协同分析的工作流搭建

使用 file 命令初步检查发现是 32 位 ELF 文件，但存在以下特征：

节区头部表被部分擦除
存在自定义的 .obfusc 段
关键函数引用动态链接库符号时采用延迟绑定

通过工具检测发现三重保护：

UPX 变种壳：修改了标准 UPX 的魔术字，常规脱壳工具失效
控制流平坦化：主要函数采用 switch-case 结构混淆控制流
动态反调试 ：通过ptrace(PTRACE_TRACEME) 和/proc/self/status检查实现

使用 IDA 的交叉引用追踪发现：

sub_80488A0处理核心校验逻辑
.data 段 末段存储着加密的 flag 比对数据
通过 dlsym 动态获取了 libcrypto 的 AES 函数

IDA 脚本处理混淆

import idaapi

for func in Functions():
    if GetFunctionName(func).startswith('sub_'):
        MakeName(func, f"obf_func_{func:08X}")
        SetFunctionCmt(func, "Control flow flattened", 0)

Ghidra 的 Decompiler 增强
手动定义自定义存储器区域对应 .obfusc 段
修正被破坏的函数原型

反调试绕过

# 使用 LD_PRELOAD 注入绕过 ptrace 检测
gcc -shared -fPIC anti_antidebug.c -o inject.so
export LD_PRELOAD=./inject.so

关键断点设置

# 在算法交叉点下硬件断点
watch -l *(uint32_t*)0x804C020
catch syscall 0x101  # 拦截 gettimeofday

识别出采用 AES-128-CBC 模式
密钥通过 sha256(用户输入)[:16] 生成
IV 向量隐藏在 .rodata 段的伪随机数中

from Crypto.Cipher import AES
from hashlib import sha256

def decrypt_flag(enc_data: bytes, user_input: str) -> str:
    """
    :param enc_data: 从.data 段提取的密文(前 16 字节为 IV)
    :param user_input: 用户输入的字符串
    :return: 解密后的 flag
    """
    iv = enc_data[:16]
    ciphertext = enc_data[16:]

    # 重现密钥生成逻辑
    key = sha256(user_input.encode()).digest()[:16]

    cipher = AES.new(key, AES.MODE_CBC, iv)
    return cipher.decrypt(ciphertext).decode().strip('\x00')