攻防世界逆向高手题之IgniteMe

攻防世界逆向高手题之IgniteMe

继续开启全栈梦想之逆向之旅~
这题是攻防世界逆向高手题的IgniteMe

.
下载附件，照例扔入exeinfope中查看信息：

.
.
32位windows文件，无壳，照例扔入IDA32中查看伪代码信息，有Mian函数看Main：

.
.
由初始信息可以知道，前4个是EIS{ ，最后一个是 }，判断函数在 if 那里，双击跟踪sub_4011C0(Str)函数：

.
可以看到结果字符串有了，是GONDPHyGjPEKruv{{pj]X@rF，逆向逻辑有了，是简单的一次循环加判断，这里注意一下不带花括号的判断是只判断紧接着的下一条语句而已。
.
.
最后这里Str2[i] = asc_4420B0[i] ^ sub_4013C0(v8[i]);用到了asc_4420B0[i]数组来异或，在IDA中嵌入脚本打印一下：

addr=0x4420B0
list=[]
for i in range(32):
        list.append(Byte(addr+i))
print(list)

.
.
写逆向逻辑脚本：

key1="GONDPHyGjPEKruv{{pj]X@rF"
list1=[13, 19, 23, 17, 2, 1, 32, 29, 12, 2, 25, 47, 23, 43, 36, 31, 30, 22, 9, 15, 21, 39, 19, 38, 10, 47, 30, 26, 45, 12, 34, 4]
flag=[]
v3=0
for i in range(len(key1)):
	flag.append(((ord(key1[i])^list1[i])-72)^85)
	if flag[i] >= 65 and flag[i] <= 90:
		flag[i]+=32
	elif flag[i] >= 97 and flag[i] <=122:
		flag[i]-=32
print(''.join([chr(i) for i in flag]))
print(len(''.join([chr(i) for i in flag])))

.
.
结果：

.
.
这里有一个经验要积累，原来伪代码中IF判断逻辑是这样的
if ( v8[i] >= 97 && v8[i] <= 122 )
v8[i] -= 32;
if ( !v3 && v8[i] >= 65 && v8[i] <= 90 )
v8[i] += 32;
后来我才发现±32是改变字母大小写，但主要是这个IF的逻辑逆向。如果v8[i] >= 97 && v8[i] <= 122，执行v8[i] -= 32，那么这时v8的范围就变成了v8[i] >= 65 && v8[i] <= 90，这时候我们要让它+32才能变回原样。
所以逆向逻辑就变成这样：
if ( v8[i] >= 97 && v8[i] <= 122 )
v8[i] -= 32;
if ( !v3 && v8[i] >= 65 && v8[i] <= 90 )
v8[i] += 32;

而不是这样：
if ( v8[i] >= 97 && v8[i] <= 122 )
v8[i] += 32;
if ( !v3 && v8[i] >= 65 && v8[i] <= 90 )
v8[i] -= 32;

这种改变了数本身的值，然后又拿数去继续做判断的逻辑，逆向逻辑其实是跟原代码是一样的，不是说没有逆向，只是说这个逻辑循环了。一个+32，一个-32，这样就是一个循环。

.
.
总结：

1：
这里有一个经验要积累，原来伪代码中IF判断逻辑是这样的
if ( v8[i] >= 97 && v8[i] <= 122 )
v8[i] -= 32;
if ( !v3 && v8[i] >= 65 && v8[i] <= 90 )
v8[i] += 32;
后来我才发现±32是改变字母大小写，但主要是这个IF的逻辑逆向。如果v8[i] >= 97 && v8[i] <= 122，执行v8[i] -= 32，那么这时v8的范围就变成了v8[i] >= 65 && v8[i] <= 90，这时候我们要让它+32才能变回原样。
所以逆向逻辑就变成这样：
if ( v8[i] >= 97 && v8[i] <= 122 )
v8[i] -= 32;
if ( !v3 && v8[i] >= 65 && v8[i] <= 90 )
v8[i] += 32;
.
而不是这样：
if ( v8[i] >= 97 && v8[i] <= 122 )
v8[i] += 32;
if ( !v3 && v8[i] >= 65 && v8[i] <= 90 )
v8[i] -= 32;
.
这种改变了数本身的值，然后又拿数去继续做判断的逻辑，逆向逻辑其实是跟原代码是一样的，不是说没有逆向，只是说这个逻辑循环了。一个+32，一个-32，这样就是一个循环。

解毕！敬礼！