EZRE
知识点
魔改RC4
魔改XTEA
分析思路
DIE分析程序发现是PE32位程序且加了:Themida/Winlicense(3.XX)壳。
这个壳的资料较少,但好在在GitHub有相应的脱壳工具程序是什么版本就下载相应的版本就好了,脱壳的话直接把要脱壳的程序拉到脱壳工具等待一会就好了。
IDA打开分析程序
IDA分析完毕之后停在了这里,没有停在流程图是因为汇编中有花指令,IDA无法正确分析程序的执行流程。
这个是典型的JZ/JNZ花指令,去除也不难,在JNZ处按U识别为数据
把这个0x75给NOP掉后按C识别为代码,再在main函数的开始PUSH的地方按一下P识别为函数就好了。
F5反汇编分析伪代码
int __cdecl main(int argc, const char **argv, const char **envp)
{
char v4[44]; // [esp+14h] [ebp-90h]
int i; // [esp+40h] [ebp-64h]
int j; // [esp+44h] [ebp-60h]
char v7[44]; // [esp+48h] [ebp-5Ch] BYREF
char v8[44]; // [esp+74h] [ebp-30h] BYREF
v4[0] = 80;
v4[1] = -44;
v4[2] = -56;
v4[3] = -60;
v4[4] = -113;
v4[5] = -124;
v4[6] = 64;
v4[7] = -21;
v4[8] = 50;
v4[9] = -127;
v4[10] = -113;
v4[11] = -123;
v4[12] = 108;
v4[13] = -78;
v4[14] = 43;
v4[15] = 6;
v4[16] = -65;
v4[17] = 5;
v4[18] = 53;
v4[19] = 93;
v4[20] = 46;
v4[21] = -29;
v4[22] = 125;
v4[23] = 70;
v4[24] = -115;
v4[25] = 53;
v4[26] = 1;
v4[27] = 112;
v4[28] = 58;
v4[29] = 0x80;
v4[30] = -127;
v4[31] = -59;
v4[32] = -26;
v4[33] = 113;
v4[34] = -45;
v4[35] = -42;
v4[36] = 80;
v4[37] = 105;
v4[38] = 111;
v4[39] = -30;
v4[40] = 110;
v4[41] = 120;
v4[42] = 20;
v4[43] = -40;
sub_121020(Format, (char)aPleaseEnterYou);
sub_121050("%s", v7);
((void (__cdecl *)(char *, char *))loc_121290)(v7, v8);
for ( i = 0; i
逻辑不是很难,在第一个IF判断中就拿V4和V8进行比较,V4很明显就是密文了。接下来就是分析V8是如何来的。
V7接受用户输入字符串,调用loc_121290函数传入V7和V8,在这之前V8并没有被赋值,显然是这个函数在对V7进行操作后存储到了V8。
分析这个函数
还是经典的JZ/JNZ花指令,与上一个去除方式一样
char __cdecl sub_121290(char *a1, int a2)
{
char result; // al
unsigned int i; // [esp+18h] [ebp-10h]
char *v4; // [esp+1Ch] [ebp-Ch]
unsigned __int8 v6; // [esp+26h] [ebp-2h]
unsigned __int8 v7; // [esp+27h] [ebp-1h]
v7 = 0;
v6 = 0;
((void (*)(void))loc_1210C0)();
v4 = a1;
do
result = *v4;
while ( *v4++ );
for ( i = 0; i
分析loc_1210C0函数,这个函数同样有花指令,去除方式都一样。
void *sub_1210C0()
{
void *result; // eax
int v1; // [esp+18h] [ebp-128h]
int j; // [esp+1Ch] [ebp-124h]
char *v3; // [esp+20h] [ebp-120h]
unsigned int i; // [esp+24h] [ebp-11Ch]
int k; // [esp+28h] [ebp-118h]
char v6[256]; // [esp+30h] [ebp-110h] BYREF
char v7[12]; // [esp+130h] [ebp-10h] BYREF
strcpy(v7, "th0s_i0_ke9");
for ( i = 0; i
这个是RC4的密钥流,使用特定的密钥生成一个大小为256的盒子,之后在用这个盒子对数据进行加密。
回去接着分析sub_121290函数
首先是循环取到V4的每个字符,V4就是a1就是输入的字符串
分析一下loc_121080函数
int __cdecl sub_121080(unsigned __int8 *a1, unsigned __int8 *a2)
{
int result; // eax
unsigned __int8 v3; // [esp+Fh] [ebp-1h]
v3 = *a1;
*a1 = *a2;
result = v3;
*a2 = v3;
return result;
}
就是把两个值交换一下。
主要加密逻辑在这个循环中,该循环执行了44次。与标准RC4不同,这里修改加密逻辑了。
for ( i = 0; i
byte_1243B0就是RC4中的S盒子,根据V7的值在S中取到一个元素赋值给V6,在根据V7和V6的值在S盒中把这两个地方的值互相交换一下。最后就是该两个地方的值相加后作为下标在去S盒中取值后异或0x33后再加上输入字符串当前字符。
这样加密后的结果就存放到了a2中。
这么说可能有点绕,逻辑其实很简单画个图就明白了:
总结起来就是:(S[(unsigned char)(S[v6] + S[v7])] ^ 0x33) + a1 = a2
那么?就是我们的密文了,a1就是我们要找的明文,通过密文求明文,所以逆运算逻辑就是
a2 = a1 - (S[(unsigned char)(S[v6] + S[v7])] ^ 0x33);
sub_121290函数就分析完成了,逆运算也有了。接着往下分析
for ( i = 0; i
可以看到V8传如loc_1213C0函数进行了操作,分析这个函数
int *__cdecl sub_1213C0(int *a1)
{
int *result; // eax
int v2[4]; // [esp+Ch] [ebp-24h]
int v3; // [esp+1Ch] [ebp-14h]
int i; // [esp+20h] [ebp-10h]
unsigned int v5; // [esp+24h] [ebp-Ch]
unsigned int v6; // [esp+28h] [ebp-8h]
unsigned int v7; // [esp+2Ch] [ebp-4h]
v2[0] = 1855465527;
v2[1] = 1144201745;
v2[2] = 287454020;
v2[3] = 925407342;
v6 = *a1;
v5 = a1[1];
v7 = 1719109785;
v3 = -1640531528;
for ( i = 0; i > 6) ^ (32 * v5)));
v7 += v3;
v5 += (v2[(v7 >> 11) & 3] + v7) ^ (v6 + ((v6 >> 5) ^ (16 * v6)));
}
*a1 = v6;
result = a1;
a1[1] = v5;
return result;
}
一个魔改的XTEA加密,修改了加密轮次为33轮,v3 = -1640531528等同于v3 = 0x9E3779B8,鼠标点到那个数按H就好了。
DELTA=0x9E3779B8,SUM=1719109785;逆运算无非就是把循环体中的加密操作倒以下就好了,修改一下SUM的值因为循环了33次
SUM = 1719109785 + (0x9E3779B8 * 33)
外层的for循环调用了这个XTEA函数37次,那么我们解密也要调用37次而且还要倒着来。
结合以上分析就可以写脚本进行解密了
解密脚本
#include
#include
#include
#include
#include
unsigned char S[256];
void swap(unsigned char* a, unsigned char* b) {
unsigned char temp = *a;
*a = *b;
*b = temp;
}
void rc4_key_setup(unsigned char* key, int key_length, unsigned char S[256]) {
unsigned char T[256];
int i, j;
for (i = 0; i > 11) & 3] + v7) ^ (v6 + ((v6 >> 5) ^ (16 * v6)));
v7 -= v3;
v6 -= (v2[v7 & 3] + v7) ^ (v5 + ((v5 >> 6) ^ (32 * v5)));
}
a1[0] = v6;
a1[1] = v5;
return 0;
}
int main() {
unsigned char key[] = "th0s_i0_ke9";
int key_length = strlen((const char*)key);
// 初始化S盒
rc4_key_setup(key, key_length, S);
unsigned char encenc[] = { 0x50, 0xD4, 0xC8, 0xC4, 0x8F, 0x84, 0x40, 0xEB, 0x32, 0x81, 0x8F, 0x85, 0x6C, 0xB2, 0x2B, 0x06,
0xBF, 0x05, 0x35, 0x5D, 0x2E, 0xE3, 0x7D, 0x46, 0x8D, 0x35, 0x01, 0x70, 0x3A, 0x80, 0x81, 0xC5,
0xE6, 0x71, 0xD3, 0xD6, 0x50, 0x69, 0x6F, 0xE2, 0x6E, 0x78, 0x14, 0xD8, 0x25 };
// XTEA解密
for (int i = 36; i >= 0; i--)
{
sub_1213C0((uint32_t*)&encenc);
}
// RC4解密
char encrypted_data[44];
sub_121290((char*)encenc, encrypted_data);
printf("%s\n", encrypted_data);
return 0;
}
// DASCTF{Th1l_t8e1a_rc4_l8s_s8o_int9r3es4t1ng}
总结
RC4解密中有一个坑点就是
byte_1243B0[(unsigned __int8)(byte_1243B0[v6] + byte_1243B0[v7])]
byte_1243B0[v6] + byte_1243B0[v7]这两个取值后相加有可能结果为负数,因为char类型表示的范围比较小。所以要指定一下数据类型为无符号的,我在做题过程中嫌这个IDA显示数据类型看着乱就让他隐藏了,让我吃了个大亏,调试半天才发现。
分析别人算法,能复制就复制,还要特别注意数据类型,不然出了问题太难搞了。
[/md]