WKCTF
so_easy
安卓逆向，关键的check逻辑都在native层里面
主要是很多层的异或操作
除了Z3和爆破想不到其他方法了
from z3 import *src = [ 0xAE, 0x81, 0xBA, 0xC1, 0xF0, 0x95, 0x0A, 0x54, 0x14, 0x03, 0x4A, 0xE2, 0x52, 0x4E, 0x84, 0xF8, 0xC9, 0x3E, 0x14, 0x98, 0x8F, 0x98, 0xFD, 0x09, 0x5E, 0xAD, 0x05, 0xB4, 0x01, 0x0F, 0xC0, 0x3F]src1 =0x3FC00F01B405AD5E//自己扣密文xor_value = BitVecVal(0x71234EA7D92996F5, 64)v10 = BitVec('v10', 64)v11=255
# 创建求解器
s = Solver()for _ in range(v11,0,-5):v12 = (2 * v10) ^ xor_valuev12 = If(v10 >= 0, 2 * v10, v12)v13 = (2 * v12) ^ xor_valuev13 = If(v12 >= 0, 2 * v12, v13)v14 = (2 * v13) ^ xor_valuev14 = If(v13 >= 0, 2 * v13, v14)v15 = (2 * v14) ^ xor_valuev15 = If(v14 >= 0, 2 * v14, v15)v10 = (2 * v15) ^ xor_valuev10 = If(v15 >= 0, 2 * v15, v10)s.add(v10==src1)# 检查是否有解
if s.check() == sat:# 如果有解，打印模型print("6666")#print chrprint(s.model())else:print("No solution exists")print(hex(9034890700725238114))quite_easy
调了一下主函数，这个是假的flag，其他也没啥用
TLS回调函数是很明显藏了逻辑的
这两个函数很多花指令，这里选择nop掉jz，第二个函数也一样
下断点开始调试，第一个反调试的地方，改ZF标志位
在第二个函数里面注册了一个新函数，继续下断点
先输入flag: 123456789012345678901234
对应的rand:0x97 0X91 0X51 0X37 0X82...0XFB 0X55
可以看到就是把rand的值继续放到我们输入的后面
输入的值和16次的rand加起来长度需要是48
输入长度是32位
重写开测
12345678901234567890123456789012
后面逻辑就是
前16位和rand异或
后16位与前16位异或
输入与假的flag异或 flag{ed1d665e6516a37ab09f0b7a40}
开始搓脚本
a=[ 0xB1, 0x74, 0x93, 0x32, 0xD6, 0x13, 0xCC, 0x85, 0x20, 0xA8, 0xF4, 0x96, 0x8A, 0xD2, 0x7D, 0x26]
b=[ 0x80, 0xD3, 0x6F, 0xFF, 0x15, 0x03, 0x98, 0x8C, 0xB4, 0x5B, 0x96, 0xC0, 0x59, 0xAC, 0x18, 0xDF, 0x2D, 0xCE, 0x3F, 0xFB, 0xC4, 0xED, 0xD8, 0xD2, 0xA8, 0x2D, 0xF8, 0x23, 0x9F, 0x22, 0x25, 0xCE]
c=[ord(i) for i in "flag{ed1d665e6516a37ab09f0b7a40}"]for i in range(32):b[i]=(b[i]+c[i] )& 0xfffor i in range(16):b[i]^=a[i] & 0xfffor i in range(16,32):b[i]^=b[i-16] & 0xfffor i in range(32):print(chr(b[i]),end="")
#WKCTF{08898c40064d1fc4836db94fe}
