[原创]某春秋平台22年赛题CTF逆向题-Random
# 某春秋平台22年赛题-Random## 前言
本道逆向题涉及的知识点如下：
- 反调试
- 花指令
- chacha20加密
- rc4加密
这是今年(22年)12月份帮一朋友做的一道CTF题，看题目描述是某春秋平台的，做这道题也花了2小时，因为以前没遇到过chacha20加密，做题的时在论坛也没有搜到chacha20算法，故而写一篇文章记录一下，供大家参考。
首先我们观察下这道题目，解压后如下，看样子加密后的flag就在`flag.enc`中：
按照做题惯例，先查个壳，发现就是普通的32位程序，使用VC++编译器编译，没壳：
我们直接拖到IDA中进行静态分析。
## 静态分析
### 初步函数流程的分析
进去之后，没什么好说的，直接找main函数按F5开始分析整个程序逻辑；我们先大略的分析一下，见下图注释，函数名都还没有修改，都是IDA自动生成的。
如上注释，通过初步的分析，我们大致了解到，整个程序就是将flag读入，然后经过中间一系列未识别到的函数，最后把文件改名为`flag.enc`并将加密后的内容覆盖输出到`flag.enc`。要注意在上图的第23行有一个全局变量的字节序列，这个序列是在函数`sub_401610`生成的，这里的内容我们最后再分析，接下来先分析最主要的中间那三个函数。
### 加花函数的分析与还原
我们看到在22行，有一个名为`loc_401450`的函数，我们点进去看看为什么该函数没有被IDA正确识别，如下图：
点进去之后，发现左边的地址部分一片红，有经验的逆向人员一看`0x401468~0x40146C`这部分，就是明显的花指令特征，在地址`0x40146A`处的跳转无论如何都会跳转到`0x40146F`处，使得IDA未能识别这种跳转破坏了函数的栈帧，因此IDA没有将该部分正确识别为函数。
看过我另一篇文章的大家应该清楚花指令的还原，也可以用脚本，但是这里的花指令不多，故而我们直接手动来快速还原。将光标定位在地址`0x40146E`，然后直接按键盘上的`D`，即可将该部分转换为数据。
弹出如下框，这是在IDA在质问我们人类智慧的一个警告，直接Yes就可以。
然后在正确的代码地址`0x40146F`处按`C`键，使得该处的数据转变为正确的代码。
此外，由于`0x40146A~0x40146E`都是人工添加的无用代码，我们可以直接将该部分数据全部转为空指令`nop`，即`0x90`，如下图：
将这5个无用的字节替换为`0x90`，然后点OK。
至此，上述去花操作完成。
然后，我们选中整个函数的部分`0x401450~0x401566`，然后按快捷键`P`，让整个函数能被IDA正确识别。此时我们再次回到main函数的伪代码窗口，看到该部分函数已经被正确识别了，如下图：
剩下的`loc_401940`和`loc_401AA0`处的函数还原，和上述处理方法相同，需要注意的是函数的结尾一般是以retn结束。
### chacha20算法的分析
接下来我们双击点进去`sub_401450`，开始分析该函数的算法，进去之后也是一脸茫然，看不明白；
继续点进去`sub_401380`函数看看，我们发现其中有这样一个字符串`expand 32-byte k`，如下图：
经过一番搜索，才知道这个加密函数是chacha20加密，找到了这个算法的C代码实现，https://github.com/shiffthq/chacha20，算法大致先进行初始化，矩阵置换，然后再是轮函数，最后生成了密钥流，以下是被调用加/解密函数接口：
```c
void ChaCha20XOR(uint8_t key, uint32_t counter, uint8_t nonce, uint8_t *in, uint8_t *out, int inlen) {
int i, j;
uint32_t s;
uint8_t block;
//static void chacha20_init_state(uint32_t s, uint8_t key, uint32_t counter, uint8_t nonce)
chacha20_init_state(s, key, counter, nonce);
for (i = 0; i < inlen; i += 64) {
//static void chacha20_block(uint32_t in, uint8_t out, int num_rounds)
chacha20_block(s, block, 20);
s++;
for (j = i; j < i + 64; j++) {
if (j >= inlen) {
break;
}
out = in ^ block;
}
}
}
```
经过对比，我们发现这个函数就是chacha20的加解密算法，对比我们找到的源码，把这个算法拿过来稍微改改，只要把原来函数的in参数直接换作是out即可和题目一样，该参数既当作输入又当作输出。
> 注：我们使用的话，将github源码下载下来，把cpp和h文件导入即可；ChaCha20是一种流密码，可以将其理解为对称加密算法。
### RC4算法
然后剩下的两个函数，如果有一定逆向题目积累的话，就不难猜测出这是RC4流密码。该算法先是对S盒的一个初始化，然后进行加解密操作，对该密码算法的详情可参考文末附带的链接。
### 分析随机数生成序列
加解密算法分析完了，接下来我们呼应一下本题的题目名称Random，看看前边遗留的`sub_401610()`函数，该函数生成了一个加密密钥，如下图：
我们发现这是一个伪随机生成的，关键是要知道其伪随机生成的种子Seed，v0是根据当前时间的时间戳生成的，所以本题的一个坑点应该是在这里，当前的进程ID我可以猜测他的区间为`1~9000`。
做题的时候，刚开始我以为时间戳就是`flag.enc`文件的时间戳，后来发现怎么都出不来，于是从题目的出题时间开始算起（也就是 2022年9月11日，23:22:02），写了一个爆破，由于流密码的速度非常快，所以我很快就爆破出来了。
## 写wp代码
根据以上分析，我们写出其主要的wp代码，完整wp代码我放在了文末的附件，大家打开就能运行。
```cpp
void get_flag(unsigned char* mykey, int v0, int pid){
unsigned char s = { 0 };
unsigned char key = "Encrypted!!";
char hexData = {
0xFC, 0xD4, 0x19, 0x74, 0x51, 0x67, 0xED, 0x4B, 0x9C, 0x48, 0xC6, 0x5F, 0x9B, 0x5D, 0xB4, 0xF0,
0x44, 0x02, 0xAF, 0xAC, 0x66, 0x01, 0x06, 0xA5, 0xBE, 0xBC, 0xD0, 0x77, 0x29, 0x64, 0x8D, 0x5E,
0x41, 0xD4, 0x77, 0x31, 0x40, 0xB4, 0x92, 0x22, 0xF9, 0x9F, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
};//flag.enc字节序列
int enc_len = strlen(hexData);
rc4_init(s, key, strlen((const char *)key));
rc4_crypt(s, (uint8_t *)hexData, enc_len);
ChaCha20XOR((uint8_t *)mykey, 1, key, (uint8_t *)hexData, strlen(hexData));
if (hexData == 'f' && hexData == 'l' && hexData == 'a') {//判定前三个字母是fla输出即可
printf("timestamp:%d,pid:%d ", v0, pid);
for (int i = 0; i < 48; i++){
printf("%c", hexData);
}
printf("\n");
exit(0);
}
}
int main() {
unsigned char mykey;
int timestamp;
DWORD Seed;
timestamp = 1662973302;// time(0);2022-09-12 17:01:42
for (int pid = 1; pid < 9000; pid++){
for (timestamp = 1662909722; timestamp <= 1662973302; timestamp++) { //最坑的点在这里，时间戳要从出题时间点开始算起
Seed = timestamp ^ pid;
srand(Seed);
for (int i = 0; i < 32; ++i)
mykey = (unsigned __int16)rand() >> 8;
get_flag(mykey, timestamp, pid);//传入timestamp和pid纯属好奇
}
}
printf("end\n");
return 0;
}
```
## 解得flag
为了防止该题目再次出现，flag我就不以文本形式展现了。
## 小结
另外本文中对另外一个反调试的函数没有进行过多分析，这类文章很多，大家搜一下就知道了，绕过方式也很简单。因为本题目的难度还没有用到动态分析。此外，虽是一道CTF题目，但是其中包含的反调试、ChaCha20、RC4流密码、花指令以及函数的识别，也值得我们多多去学习。
## 参考
- rc4参考：<https://ctf-wiki.org/reverse/identify-encode-encryption/introduction/#rc4>
- chacha20参考：<https://github.com/shiffthq/chacha20>
- ChaCha20-Poly1305算法：<https://segmentfault.com/a/1190000040082539>
谢谢楼主分享！虽然我看不懂 学习了 感谢分享 不明觉厉，努力看懂，但不行 支持一下，感觉好厉害 感谢分享 感觉好强，看不懂。。。 支持楼主，好好学习天天向上 感谢分享！必须支持下！