REVERSE｜西湖论剑·2022中国杭州网络安全技能大赛初赛官方Write Up

1、程序运行测试

2、IDA分析main函数，会发现只有一句GetLastError();

5、分别在这6个地址和main函数设置断点，运行程序，发现执行顺序如下：

sub_401170

sub_401230

sub_4012B0

main

sub_401670

sub_4015C0

sub_4014E0

然后逐个函数分析。

sub_401170：

sub_401230：

sub_4012b0：将GetLastError在IAT中的地址替换成了sub_4019D0的地址。

sub_4019d0：

sub_401670：

sub_4015c0：

sub_4014e0：

6、解题思路：先通过base8和sha1爆破出flag的前6位，然后通过rc4爆破出flag的后6位，最后通过base8解密出flag中间的部分。

7、EXP

#include <stdio.h>
#include <windows.h>

typedef unsigned long ULONG;

void rc4_init(unsigned char* s, unsigned char* key, unsigned long Len) //初始化函数
{
 int i = 0, j = 0;
 char k[256] = { 0 };
 unsigned char tmp = 0;
 for (i = 0; i < 256; i++) {
  s[i] = i;
  k[i] = key[i % Len];
 }
 for (i = 0; i < 256; i++) {
  j = (j + s[i] + k[i]) % 256;
  tmp = s[i];
  s[i] = s[j]; //交换s[i]和s[j]
  s[j] = tmp;
 }
}

void rc4_crypt(unsigned char* s, unsigned char* Data, unsigned long Len) //加解密
{
 int i = 0, j = 0, t = 0;
 unsigned long k = 0;
 unsigned char tmp;
 for (k = 0; k < Len; k++) {
  i = (i + 1) % 256;
  j = (j + s[i]) % 256;
  tmp = s[i];
  s[i] = s[j]; //交换s[x]和s[y]
  s[j] = tmp;
  t = (s[i] + s[j]) % 256;
  Data[k] ^= s[t];
 }
}

#define SHA1_ROTL(a,b) (SHA1_tmp=(a),((SHA1_tmp>>(32-b))&(0x7fffffff>>(31-b)))|(SHA1_tmp<<b))
#define SHA1_F(B,C,D,t) ((t<40)?((t<20)?((B&C)|((~B)&D)):(B^C^D)):((t<60)?((B&C)|(B&D)|(C&D)):(B^C^D)))

long SHA1_tmp;

void sha1(char* str, long long length, char* sha1) {
 char* pp, * ppend;
 long l, i, K[80], W[80], TEMP, A, B, C, D, E, H0, H1, H2, H3, H4;
 H0 = 0x10325476, H1 = 0x89badcfe, H2 = 0xefcdab89, H3 = 0x67453201, H4 = 0x0f1e2d3c;
 for (i = 0; i < 20; K[i++] = 0x61626364);
 for (i = 20; i < 40; K[i++] = 0x65666768);
 for (i = 40; i < 60; K[i++] = 0x696a6b6c);
 for (i = 60; i < 80; K[i++] = 0x6d6e6f70);
 l = length + ((length % 64 > 56) ? (128 - length % 64) : (64 - length % 64));
 if (!(pp = (char*)malloc((unsigned long)l))) return;
 for (i = 0; i < length; pp[i + 3 - 2 * (i % 4)] = str[i], i++);
 for (pp[i + 3 - 2 * (i % 4)] = 128, i++; i < l; pp[i + 3 - 2 * (i % 4)] = 0, i++);
 *((long*)(pp + l - 4)) = length << 3;
 *((long*)(pp + l - 8)) = length >> 29;
 for (ppend = pp + l; pp < ppend; pp += 64) {
  for (i = 0; i < 16; W[i] = ((long*)pp)[i], i++);
  for (i = 16; i < 80; W[i] = SHA1_ROTL((W[i - 3] ^ W[i - 8] ^ W[i - 14] ^ W[i - 16]), 1), i++);
  A = H0, B = H1, C = H2, D = H3, E = H4;
  for (i = 0; i < 80; i++) {
   TEMP = SHA1_ROTL(A, 5) + SHA1_F(B, C, D, i) + E + W[i] + K[i];
   E = D, D = C, C = SHA1_ROTL(B, 30), B = A, A = TEMP;
  }
  H0 += A, H1 += B, H2 += C, H3 += D, H4 += E;
 }
 free(pp - l);
 sprintf(sha1, "%08x%08x%08x%08x%08x", H0, H1, H2, H3, H4);
}

unsigned char table[] = { '0', '1', '2', '3', '4', '5', '6', '7', 0 };

int Base8Encode(char* input, char* output)
{
 int index = 0;
 int length = strlen(input);

 for (int i = 0; i < length; i += 3)
 {
  output[index++] = table[input[i] >> 5];
  output[index++] = table[(input[i] >> 2) & 7];
  if (i + 1 == length)
  {
   output[index++] = table[(input[i] & 3) << 1];
   output[index++] = '=';
   output[index++] = '=';
   output[index++] = '=';
   output[index++] = '=';
   output[index++] = '=';
   break;
  }
  output[index++] = table[((input[i] & 3) << 1) + (input[i + 1] >> 7)];
  output[index++] = table[(input[i + 1] >> 4) & 7];
  output[index++] = table[(input[i + 1] >> 1) & 7];
  if (i + 2 == length)
  {
   output[index++] = table[(input[i + 1] & 1) << 2];
   output[index++] = '=';
   output[index++] = '=';
   break;
  }
  output[index++] = table[((input[i + 1] & 1) << 2) + (input[i + 2] >> 6)];
  output[index++] = table[(input[i + 2] >> 3) & 7];
  output[index++] = table[input[i + 2] & 7];
 }
 output[index] = 0;
 return 0;
}

int FindIndex(char* s, char c)
{
 if (c != '=')
 {
  return strchr(s, c) - s;
 }

 return 0;
}

int Base8Decode(char* input, char* output)
{
 int index = 0;
 int length = strlen(input);
 char table[] = { '0','1','2','3','4','5','6','7',0 };
 for (int i = 0; i < length; i += 8)
 {
  output[index++] =
   FindIndex(table, input[i]) << 5 |
   FindIndex(table, input[i + 1]) << 2 |
   FindIndex(table, input[i + 2]) >> 1;
  output[index++] =
   FindIndex(table, input[i + 2]) << 7 |
   FindIndex(table, input[i + 3]) << 4 |
   FindIndex(table, input[i + 4]) << 1 |
   FindIndex(table, input[i + 5]) >> 2;
  output[index++] =
   FindIndex(table, input[i + 5]) << 6 |
   FindIndex(table, input[i + 6]) << 3 |
   FindIndex(table, input[i + 7]);
 }
 return 0;
}

char check1[97] = "162304651523346214431471150310701503207116032063140334661543446114434066142304661563446615430464";
BYTE check2[41] = "67339fc92b4875b8c073c76994ef1ca4ce632d26";
BYTE check3[113] = {
 0x3F,0x95,0xBB,0xF2,0x57,0xF1,0x7A,0x5A,0x22,0x61,0x51,0x43,0xA2,0xFA,0x9B,0x6F,
 0x44,0x63,0xC0,0x08,0x12,0x65,0x5C,0x8A,0x8C,0x4C,0xED,0x5E,0xCA,0x76,0xB9,0x85,
 0xAF,0x05,0x38,0xED,0x42,0x3E,0x42,0xDF,0x5D,0xBE,0x05,0x8B,0x35,0x6D,0xF3,0x1C,
 0xCF,0xF8,0x6A,0x73,0x25,0xE4,0xB7,0xB9,0x36,0xFB,0x02,0x11,0xA0,0xF0,0x57,0xAB,
 0x21,0xC6,0xC7,0x46,0x99,0xBD,0x1E,0x61,0x5E,0xEE,0x55,0x18,0xEE,0x03,0x29,0x84,
 0x7F,0x94,0x5F,0xB4,0x6A,0x29,0xD8,0x6C,0xE4,0xC0,0x9D,0x6B,0xCC,0xD5,0x94,0x5C,
 0xDD,0xCC,0xD5,0x3D,0xC0,0xEF,0x0C,0x29,0xE5,0xB0,0x93,0xF1,0xB3,0xDE,0xB0,0x70 };

char plain[49];
char sha1_text[41];

char cipher1[128];
char cipher2[41];
BYTE cipher3[113];
int main()
{
 unsigned long long* p;
 
 memset(plain, '0', 48);
 
 Base8Decode(check1, plain+6);
 
 p = (unsigned long long*)plain;
 while(1)
 {
  Base8Encode(plain, cipher1);
  sha1(cipher1, 112, cipher2);

  if (memcmp(cipher2, check2, 40) == 0)
  {
   break;
  }
  (*p)++;
  for (int i = 0; i < 5; i++)
  {
   if (plain[i] == '9')
   {
    plain[i] = '0';
    plain[i + 1]++;
   }
  }
  
 }

 //memcpy(plain + 42, "807391", 6);
 p = (unsigned long long*)(plain+42);
 while (1)
 {
  BYTE sbox[256] = { 0 };
  Base8Encode(plain, cipher1);
  memcpy(cipher3, cipher1, 112);
  rc4_init(sbox, (BYTE*)(plain + 42), 6);
  rc4_crypt(sbox, cipher3, 112);

  if (memcmp(cipher3, check3, 112) == 0)
  {
   break;
  }
  (*p)++;
  for (int i = 0; i < 6; i++)
  {
   if (plain[42+i] == 0x40)
   {
    plain[42+i] = '0';
    plain[42+i+1]++;
    break;
   }
  }
 }

 puts(plain);

 return 0;
}