Aexus Answers

CTF逆向解密RC4勒索病毒：XOR与RC4实战指南

Alex Johnson
-
CTF逆向解密RC4勒索病毒：XOR与RC4实战指南

引言：揭开CTF勒索病毒的神秘面纱

嘿，逆向工程爱好者们！今天，我们将一起深入探索一个 引人入胜 的 CTF逆向题目，它巧妙地结合了 RC4加密算法 和 异或解密 技术，并以“勒索病毒”这一 常见而又棘手 的主题为载体。在CTF挑战中，这类题目并不少见，它们往往要求我们不仅要理解加密算法，更要具备 IDA Pro逆向分析 的能力，从程序的底层逻辑中找出破绽。本篇文章将以一个真实的“勒索病毒”题目为例，详细拆解整个解题过程，从最初的程序运行分析，到 密钥验证逻辑的定位，再到利用 异或运算 破解密钥，最终成功提取 隐藏的flag。我们将以一种 友好且易懂 的方式，一步步引导你掌握应对这类挑战的策略和技巧，让你在未来的CTF赛场上，面对“勒索病毒”也能 游刃有余。

CTF逆向 题目常常会将复杂的加密机制隐藏在看似简单的程序流中，尤其当涉及到 勒索病毒 题材时，它们往往会模拟真实的感染和解密流程。本题虽然表面上需要“充值”才能解密，但 真正的解谜之道 却在于深入分析其 程序逻辑。我们将会看到，通过仔细观察和 IDA逆向分析，我们可以精准地定位到关键的 密钥验证函数，并利用 异或解密的特性 来绕过所谓的“充值”环节。这个过程不仅是对技术能力的一次考验，更是一次 思维上的挑战，因为它要求我们像侦探一样，从蛛丝马迹中还原真相。准备好了吗？让我们一起开启这段 刺激的逆向之旅，学习如何 优雅地击败 这个虚拟的勒索软件，并从中汲取宝贵的 逆向工程经验。这个详细的教程将涵盖从文件识别、行为分析到代码级逆向的每一个步骤，确保你能够全面理解并掌握解决此类 CTF逆向 难题的策略。无论你是刚入门的菜鸟，还是经验丰富的CTF老手，这篇文章都将为你提供 独特且实用的见解，帮助你在逆向的道路上走得更远，更稳健。让我们一起揭开这些加密的秘密，将那些被 RC4加密 的数据重新带回光明。

CTF勒索病毒挑战：环境搭建与初步侦察

在 CTF逆向 的世界里，当我们遇到一个 勒索病毒题目 时，第一步通常不是直接冲进 IDA Pro，而是先进行一番 初步侦察。这包括了解题目提供的文件、它们的用途以及程序在正常运行下的行为模式。对于本次的 CTF勒索病毒挑战，我们手头有几个关键文件，它们分别是核心执行文件 勒索病毒.exe、加密后的目标文件 enflag.txt，以及一个在程序运行中被提及但却缺失的 flag.txt。了解这些文件的作用，是我们后续 逆向分析 的 重要基础。这些文件就像是案件现场的证物，每一个都可能隐藏着 破解勒索病毒 的关键线索。因此，细致地检查和理解它们，是成功解题的 第一步。

首先，让我们来仔细看看题目提供给我们的文件，并理解它们的 深层含义：

  • 核心文件： 勒索病毒.exe。这是整个勒索过程的 大脑。它是一个 32位或64位 的应用程序（具体取决于题目环境），负责所有的交互、加密/解密逻辑以及密钥处理。对这个 exe 文件的 IDA逆向分析 将是我们的 核心任务。它包含了所有我们需要的 CTF逆向 信息，包括 RC4算法 的实现和 异或解密 相关的逻辑。我们的目标是从这个二进制文件中，抽丝剥茧，找出那些关键的函数和数据。
  • 加密文件： enflag.txt。这个文件是 受害者 的“被加密数据”，通常表现为一堆 乱码。它的存在明确告诉我们，这里一定存在某种 加密算法，而题目提示是 RC4算法。我们的最终目标，就是通过 逆向解密，将其恢复成可读的 flag。这个文件是 验证我们解密成功与否 的最终凭证。
  • 缺失文件： flag.txt。这个文件 非常关键，但它在最初的题目环境中是 不存在的。程序在运行时会尝试读取它，这暗示了它可能是原始的、未加密的数据源文件。它的缺失直接影响了程序的正常流程，是我们进行 初步运行测试 时需要特别关注的“坑点”。很多 CTF逆向题目 会设置这种 文件依赖性陷阱，以增加解题难度。

接下来，让我们进行 初步运行测试，以观察 勒索病毒.exe 的行为。当你 首次运行 勒索病毒.exe 时，你会看到一个非常典型的勒索软件界面：

**************************我的Flag出了什么问题??**************************
您的一些重要数据被我们加密了,就算您叫破喉咙来也没有办法恢复。
**************************那有没有恢复的方法呢??**************************
有的。只能通过我们的财付通,支付宝服务才能恢复,我以人格担保,只要充钱,就能解密
做出你的选择:
1.充钱
2.退出

这个界面 非常具有欺骗性，它试图引导我们选择“1.充钱”。但作为 CTF玩家，我们知道这只是一个 幌子。当我们选择“1.充钱”时，程序并不会真的要求你支付，而是会立刻提示“打开源文件失败”。啊哈！这正是我们前面提到的 缺失文件 —— flag.txt 在作祟。这个提示明确告诉我们，程序在执行解密流程前，会尝试打开 flag.txt 文件。因此，在继续深入之前，我们需要 手动创建一个空的 flag.txt 文件，将其放置在 勒索病毒.exe 的 同一目录下。完成这一步后，再次运行程序并选择“1.充钱”，这次你会发现程序会 继续执行，并要求你输入密钥。输入错误的密钥，程序会提示“Error!”；而输入正确的密钥，它就能 成功解密 enflag.txt。这些 初步的交互和观察，为我们后续的 IDA Pro逆向分析 提供了 宝贵的线索，明确了我们下一步的目标：找出那个 神秘的正确密钥。理解这些 表面现象背后 的 程序行为，是进行高效 CTF逆向 的关键。它不仅能够帮助我们排除干扰，更能指引我们直接深入到 RC4加密 和 异或解密 的核心逻辑。

IDA Pro深度逆向：揭秘勒索病毒核心逻辑

踏入 IDA Pro 的世界，我们开始对 勒索病毒.exe 进行 深度逆向分析。这是 CTF逆向 挑战中最 激动人心也最具技术含量 的部分。我们的目标是精准定位到程序的 核心逻辑，特别是那些与 密钥验证 和 RC4加密/解密 相关的函数。掌握 IDA Pro 的基本操作和常用快捷键，如 F5（查看伪代码）、X（查看交叉引用）、N（重命名），将大大提升我们的分析效率，帮助我们 快速定位关键代码，从而高效地进行 勒索病毒解密。

1. 定位main函数与主程序流分析

使用 IDA64（或IDA32，根据程序架构选择）打开 勒索病毒.exe 后，首先要做的就是定位程序的 入口点，通常是 main函数 或类似名称的函数（例如，本例中是 main_0）。通过查看函数的交叉引用（Xrefs），或者简单地滚动查看代码，我们可以很快找到它。main_0 函数是整个勒索病毒程序的 指挥中心，它协调了所有用户交互、文件操作和加密/解密任务。通过对其 伪代码 的初步浏览，我们可以勾勒出大致的程序流程：

  1. 程序首先会显示一系列 勒索提示信息，这是我们之前在运行测试中看到的那些迷惑性文字。在 IDA Pro 中，这些字符串通常可以通过 Shift+F12（字符串窗口）找到，并跟踪其交叉引用来定位打印这些字符串的函数。
  2. 接着，它会接收用户的选择，是“1.充钱”还是“2.退出”。这一步是控制程序流的关键。通常会涉及到 scanf 或类似的输入函数，以及一个 if/else 或 switch 语句来根据用户输入进行分支。
  3. 如果用户选择“1.充钱”，程序便会进入 解密流程。它会尝试打开两个文件：flag.txt（作为源文件，虽然最初是空的，但程序仍需要它存在）和 enflag.txt（我们等待解密的加密文件）。文件操作 的成功与否，直接决定了程序能否继续执行。在 IDA Pro 伪代码中，你会看到 fopen、_fsopen 等函数调用，以及对返回文件句柄的检查。
  4. 随后，程序会要求用户输入 密钥（在伪代码中通常表示为 Str 或类似变量）。这一步是 密钥验证 的前置条件，同样会涉及 printf 提示和 scanf 读取。
  5. 接收到用户输入的密钥后，程序不会直接使用它，而是会将其传递给一个 关键的处理函数，在本例中是 sub_401069。这个函数 极有可能是 密钥验证或预处理 的地方。函数的参数类型和数量是识别其功能的重要线索。
  6. 最后，程序会将处理后的密钥以及文件句柄等信息，传递给另一个核心函数 sub_401028，这个函数就是执行 实际加密或解密操作 的地方，也就是我们期待的 RC4算法 的实现。通常这类函数会有大量的循环和数组操作，符合 RC4算法 的特点。

关键代码片段 通常长这样，我们需要对其进行细致的观察和理解：

// 接收用户密钥输入
sub_401037("\n请输入您的密钥:", v4); // 打印提示信息
sub_401073("%s", (char)Str);     // 读取用户输入的密钥到Str变量
sub_401069(Str, Str1);            // 密钥处理函数，这是我们需要重点关注的！
sub_401028(Str, v15, v14, v13, v12); // 核心加解密函数，RC4算法的实现

通过这些观察，我们已经明确了下一步的重点：深入 sub_401069 和 sub_401028 这两个函数，它们承载着解开谜题的 关键钥匙。这是 CTF逆向 中 逐步深入 的典型策略，从宏观到微观，步步为营。

2. 追踪密钥验证：sub_401069与异或解密

现在，我们把目光聚焦到 sub_401069 这个函数上。通过在 IDA Pro 中双击它，或者使用快捷键 F5 查看其伪代码，我们会发现这个函数 并非直接进行验证，而是 调用了另一个函数：sub_401A70。这是一种 常见的程序设计模式，将复杂逻辑拆分成更小的、可管理的函数。因此，真正的 密钥验证逻辑 很有可能就隐藏在 sub_401A70 中。我们继续跟进 sub_401A70。在 CTF逆向 中，函数嵌套调用是常态，我们需要耐心一层层剥开，直到找到核心逻辑。

在 sub_401A70 的伪代码中，我们发现了 解开密钥之谜 的 核心逻辑：

char __cdecl sub_401A70(char *Str, char *Str1)
{
    char v3; // [esp+0h] [ebp-E4h]
    signed int i; // [esp+D0h] [ebp-14h]
    signed int v5; // [esp+DCh] [ebp-8h]

    CheckForDebuggerJustMyCode(&unk_40B027);
    v5 = strlen(Str);
    for (i = 0; i < v5; ++i)
        Str1[i] += Str[i] ^ 0x1F;  // 密钥异或处理，这里是重点！
    if (!strcmp(Str1, "DH~mqqvqxB^^||zll@Jq~jkwpmvez{"))
        sub_401037("充值成功. \n", v3);  // 密钥正确时显示
    else
        sub_401037("Error!\n", v3);  // 密钥错误时显示
    return *Str1;
}

这段代码 清晰地揭示了密钥验证的秘密。让我们一步步来分析：

  • 首先，它获取了用户输入密钥 Str 的长度 v5 = strlen(Str)。这是对输入长度进行基本检查，防止越界或处理不匹配的长度。
  • 接着，进入一个 for 循环，遍历用户输入的密钥 Str 的每一个字符。这是关键所在！ 在循环内部，执行了 Str1[i] += Str[i] ^ 0x1F; 这一行代码。这里，Str[i] 代表用户输入的密钥的第 i 个字符。这个字符首先与 0x1F 进行 异或运算 (^)。0x1F 是一个十六进制值，转换为十进制是31，它对应着ASCII码中的一个 控制字符。异或的结果随后被加（+=）到了 Str1[i] 上。然而，通过仔细观察，Str1 在这里很可能是一个 空缓冲区 或 未初始化区域，或者 += 实际上在反编译后被误识别，实际上可能就是 Str1[i] = Str[i] ^ 0x1F。但由于后续的 strcmp 是比较 Str1 和一个固定字符串，这进一步证实了 Str1 是通过对 Str 进行 异或处理 得到的。所以，我们可以推断出，程序期望的 Str1 是经过用户输入的 Str 与 0x1F 异或后得到的结果。这里的 0x1F 就是我们寻找的 异或密钥，一个看似简单却至关重要的字节。
  • 最后，程序使用 strcmp 函数将这个 处理后的 Str1 与一个 硬编码的固定字符串 `

You may also like