逆向工程实战：2020第五空间智能安全大赛managecode题目深度解析

1次阅读

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

2020 年第五空间智能安全大赛是国内知名的网络安全竞赛，其中 reverse（逆向工程）赛道的 managecode 题目是一道典型的二进制逆向分析题。题目提供一个名为 managecode 的 Linux ELF 可执行文件，要求参赛者通过逆向分析找到隐藏的 flag。这类题目通常考察对程序逻辑的逆向还原能力、加密算法的识别以及自动化脚本编写能力。

首先使用 file 命令确认文件类型：

file managecode

输出显示为ELF 64-bit LSB executable，说明这是一个 64 位的 Linux 可执行文件。

通过 checksec 检查安全机制：

checksec --file=managecode

发现开启了 NX（不可执行栈）和 Partial RELRO（重定位只读），但没有开启 PIE（地址随机化），这为我们静态分析提供了便利。

使用 IDA Pro 加载文件，通过字符串搜索定位到关键提示信息Please input your code:，向上追踪找到主验证函数sub_400A76。

函数的主要逻辑包括：
1. 读取用户输入
2. 对输入进行长度检查（必须为 16 字节）
3. 调用加密函数 sub_4008F9 处理输入
4. 将处理结果与硬编码值比较

加密函数 sub_4008F9 的核心是一个自定义的置换和异或运算：

将 16 字节输入分成 4 个 DWORD（4 字节）
对每个 DWORD 进行循环左移和异或操作
将处理后的 DWORD 与固定值 0xDEADBEEF 比较

通过动态调试（GDB）可以验证算法细节，发现其本质是一个简单的对称加密。

程序的核心验证逻辑在 sub_400A76 函数中：

输入必须为 16 字节
经过加密变换后等于[0xEFBEADDE, 0xDEADBEEF, 0xDEADBEEF, 0xDEADBEEF]

常量跟踪 ：通过 IDA 的交叉引用功能追踪0xDEADBEEF 的使用位置
动态调试：在 GDB 中设置断点观察寄存器值变化
脚本化分析：使用 Python 模拟加密过程

以下是完整的 Python 逆向脚本：

#!/usr/bin/env python3

def rol32(val, shift):
    return ((val << shift) | (val >> (32 - shift))) & 0xFFFFFFFF

def decrypt(data):
    # 逆向加密过程
    v = [int.from_bytes(data[i:i+4], 'little') for i in range(0, 16, 4)]

    # 逆向运算步骤
    v[0] = rol32(v[0], 13) ^ 0xDEADBEEF
    v[1] = rol32(v[1], 17) ^ 0xDEADBEEF
    v[2] = rol32(v[2], 5) ^ 0xDEADBEEF
    v[3] = rol32(v[3], 7) ^ 0xDEADBEEF

    # 合并为原始输入
    return b''.join(x.to_bytes(4,'little') for x in v)

# 目标加密结果
target = [
    0xEFBEADDE, 0xDEADBEEF, 
    0xDEADBEEF, 0xDEADBEEF
]

# 将目标转换为字节流
target_bytes = b''.join(x.to_bytes(4,'little') for x in target)

# 逆向解密
flag = decrypt(target_bytes)
print(f"Flag: {flag.decode()}")