强网杯2022GameMaster复现
GameMaster
题目下载到手三个文件
优先查看exe，是个游戏。
32位PE文件以及.net编写的，用dnSpy打开。
读取了gamemessage文件存放到Program.memory里。
接下来都是一些键盘控件的处理，按Enter会进入俩个分支，有一个地方不同的是Escape处：
这里点击一下，跟到函数的地方。
会紧跟着调用一个goldFunc的函数，再跟过去，
从这里一直看下去，直到再次看到Program.memory
这里很明显做了一个异或34的处理，之后赋给AchivePoint1
中间的加减大概就是分数，一直到这里flag39，可能会调用函数genCode。这个函数在dll中，先不管。
这里又是对Program.memory进行了一个加密，用了ECB加密模式，填充方式是PaddingMode.Zeors，这是一个典型的AES加密。这里也是给到了AchivePoint2。
这里就是AchivePoint3了，进行了一个反序列化的操作，但是没有对文件进行处理。不明所以。
大概这个exe就看完了，下面也不太清楚都做了什么，可以明白的是gamemessage是可以解密的。
解密脚本：
from Crypto.Cipher import AES
with open("gamemessage","rb") as f:
data = f.read()
dataArr = [t for t in data]
for i in range(len(dataArr)):
dataArr[i] ^= 34
data = bytes(dataArr)
key = [66,114,97,105,110,115,116,111,114,109,105,110,103,33,33,33]
key = bytes(key)
cipher = AES.new(key, AES.MODE_ECB)
p = cipher.decrypt(data)
# print(p)
filename = "decrypt"
with open(filename, 'wb') as f:
f.write(p)
之后可以得到一个decrypt文件。
发现并不是一个exe或dll文件。用Winhex打开，搜索MZ，将其前面所有内容删掉
保存，再用dnSpy打开。
给了俩组密文，依次解密，第一组用z3求解。可以得到x，y，z。三个数据根据ParseKey可以得到长度为12的array4，已知array5，俩者异或就可以得到flag。
EXP：
from z3 import *
sol = Solver()
xorkey = [60, 100, 36, 86, 51, 251, 167, 108, 116, 245, 207, 223, 40, 103, 34, 62, 22, 251, 227]
cmp = [101, 5, 80, 213, 163, 26, 59, 38, 19, 6, 173, 189, 198, 166, 140, 183, 42, 247, 223, 24, 106, 20, 145, 37, 24, 7,
22, 191, 110, 179, 227, 5, 62, 9, 13, 17, 65, 22, 37, 5]
x = BitVec('x', 63)
y = BitVec('y', 63)
z = BitVec('z', 63)
dup = [x, y, z]
arr = [BitVecVal(0, 63) for i in range(len(cmp))]
num = -1
for i in range(320):
x = (((x >> 29 ^ x >> 28 ^ x >> 25 ^ x >> 23) & 1) | x << 1)
y = (((y >> 30 ^ y >> 27) & 1) | y << 1)
z = (((z >> 31 ^ z >> 30 ^ z >> 29 ^ z >> 28 ^ z >> 26 ^ z >> 24) & 1) | z << 1)
if i % 8 == 0:
num = num + 1
arr[num] = ((arr[num] << 1) | (
((z >> 32 & 1 & (x >> 30 & 1)) ^ (((z >> 32 & 1) ^ 1) & (y >> 31 & 1))) & 0xffffffff) & 0xff)
for i in range(len(cmp)):
sol.add(cmp[i] == arr[i])
assert sol.check() == sat
sol = sol.model()
fake = [sol.eval(i).as_long() & 0xffffffff for i in dup]
Key = [0] * 12
for i in range(3):
for j in range(4):
Key[i * 4 + j] = fake[i] >> j * 8 & 255
print(bytearray([(xorkey[i] ^ Key[i % len(Key)]) & 255 for i in range(len(xorkey))]))