0xgame re wk2 wp

FirstSight-Pyc

直接在线反编译。

#!/usr/bin/env python
# visit https://tool.lu/pyc/ for more information
# Version: Python 3.8

import hashlib
user_input = input('请输入神秘代号：')
if user_input != 'Ciallo~':
    print('代号不是这个哦')
    exit()
input_hash = hashlib.md5(user_input.encode()).hexdigest()
input_hash = list(input_hash)
for i in range(len(input_hash)):
    if ord(input_hash[i]) in range(48, 58):
        original_num = int(input_hash[i])
        new_num = (original_num + 5) % 10
        input_hash[i] = str(new_num)
        continue
        input_hash = ''.join(input_hash)
        print('0xGame{{{}}}'.format(input_hash))
        return None

发现了Ciallo~发现好像跟逆向已经没什么关系了，只要改一改，正确输入，让程序跑出0xgame{xxx}就行了。

BabyUPX

upx -d脱壳，再打开可以看到加密，直接正向爆破。

ida encode部分:

__int64 __fastcall encode(_BYTE *a1)
{
  _BYTE *v2; // [rsp+8h] [rbp-8h]

  v2 = a1;
  if ( !*a1 )
    return 0xFFFFFFFFi64;
  do
  {
    *v2 = (16 * *v2) | (*v2 >> 4);
    ++v2;
  }
  while ( *v2 );
  return 0i64;
}

爆破:

#include<bits/stdc++.h>
using namespace std;
char encdata[] =
{
  0x03, 0x87, 0x74, 0x16, 0xD6, 0x56, 0xB7, 0x63, 0x83, 0x46, 
  0x66, 0x66, 0x43, 0x53, 0x83, 0xD2, 0x23, 0x93, 0x56, 0x53, 
  0xD2, 0x43, 0x36, 0x36, 0x03, 0xD2, 0x16, 0x93, 0x36, 0x26, 
  0xD2, 0x93, 0x73, 0x13, 0x66, 0x56, 0x36, 0x33, 0x33, 0x83, 
  0x56, 0x23, 0x66, 0xD7
};
char enc(char ch)
{
	return (ch*16) | (ch>>4);
}
int main()
{
    for(int i=0;i<44;i++)
     for(char ch=33;ch<=126;ch++)
      if(enc(ch)==encdata[i])
       {
       	 printf("%c",ch);
       	 break;
	   }
	return 0;
}
//0xGame{68dff458-29e5-4cc0-a9cb-971fec338e2f}

注意ida导出的时候使用的是usigned char，要改成char，不然部分字符没法显示。

FirstSight-Jar

java逆向，用jadx打开看。加密部分如下:

    private static String encrypt(String str) {
        StringBuilder sb = new StringBuilder();
        for (int i = 0; i < str.length(); i++) {
            int indexOf = Alphabat.indexOf(str.charAt(i));
            if (indexOf < 0) {
                sb.append(str.charAt(i));
            } else {
                sb.append(Alphabat.charAt(((indexOf * 5) + 3) % 16));
            }
        }
        return sb.toString();
    }

Alphabat就是"0123456789abcdef"，大意就是如果str的这一项不在Alphabat中就保留，否则加密，且加密后的字符也在Alphabat中。因此对str中所有在Alphabat中的字符进行爆破即可，将结果输入java程序他会用0xGame将其包裹。

#include<bits/stdc++.h>
using namespace std;
string en="ab50e920-4a97-70d1-b646-cdac5c873376";
char alp[]="0123456789abcdef";
int main()
{
	for(int i=0;i<en.length();i++)
	if(strchr(alp,en[i])==NULL)
	   cout<<en[i];
	else
	{
		for(int j=0;j<strlen(alp);j++)
		if(alp[((j * 5) + 3) % 16]==en[i])
	     {
	     	cout<<alp[j];
	     	break;
		 }
	}
	return 0;
}
//b8a9fe39-dbe4-4926-87d7-52b5a5140047

ZzZ

无壳，ida打开发现一大堆函数。这种情况下一般Shift+F12去找关键字符串，注意到Please enter your flag，X交叉引用来到关键代码：

往下看，可以看出下面有一系列对v11,v10,v12的约束，应该是判断flag的关键，但是前面sub_14001128F有点意义不明。结合%ll，%s格式控制符，猜测v13，v5，v6，v7，v14是flag中不同类型的部分（长整型和字符串）。

有了这个猜测再去看下面的约束，发现两个长整型部分已经给出，所以主要是解中间的三个字符串。这种比较复杂的约束一般考虑z3求解:

from z3 import *
v11 = BitVec('v11', 64)
v10 = BitVec('v10', 64)
v12 = BitVec('v12', 64)
constraints = [
    11 * v11 + 14 * v10 - v12 == 0x48FB41DDD,
    9 * v10 - 3 * v11 + 4 * v12 == 0x2BA692AD7,
    ((v12 - v11) >> 1) + (v10 ^ 0x87654321) == 3451779756
]
solver = Solver()
solver.add(constraints)
if solver.check() == sat:
    m = solver.model()
    print(f"v11 = {m[v11]}")
    print(f"v10 = {m[v10]}")
    print(f"v12 = {m[v12]}")

'''
v11 = 862073908
v10 = 842086455
v12 = 1681208161

'''

注意需要定义BitVec型未知数，不然右移和异或操作会报错。

当然这样还不算完，因为我们求解的是整型，需要转成字节串:

from Crypto.Util.number import long_to_bytes
v10 = 842086455
v11 = 862073908
v12 = 1681208161
print(long_to_bytes(v10)[::-1])
print(long_to_bytes(v11)[::-1])
print(long_to_bytes(v12)[::-1])
#有小端序存储转序问题，一开始没发现
'''
b'7812'
b'44b3'
b'a35d'
'''

自此就得到了flag的所有部分:

0xGame{e544267d-7812-44b3-a35d-d085a85201a4}

Xor::Ramdom

学习windows下C生成随机数rand(),srand()，其实是一种伪随机，当种子相同的时候生成的随机数实际上是一样的。

End

​ ——《月色真美》