360CTF Re wp

这比赛唯一的一道Re😊

exe，看字符串

 

找到主函数

 

看到判断的地方为loc_404600,去看一下

 

像是SMC，找修改404600处的函数

 

 此处用到了loc_404600,找到这个函数为

 

 

 

这里将loc_404600与mnbv循环的异或

写个脚本处理下

 

#include <idc.idc>
static decrypt(from, size) { auto i, x,key1,key2,key3,key4; key1 = 0x6D; key2 = 0x6E; key3 = 0x62; key4 = 0x76; for ( i=0; i != size; i=i+1 ) { if(i%4==0){ x = Byte(from); x = (x^key1); PatchByte(from,x); } if(i%4==1){ x = Byte(from); x = (x^key2); PatchByte(from,x); } if(i%4==2){ x = Byte(from); x = (x^key3); PatchByte(from,x); } if(i%4==3){ x = Byte(from); x = (x^key4); PatchByte(from,x); } from = from + 1; } Message("\n" + "Decrypt Complete\n"); }

 

decrypt(0x00404600,0x260);

 

 

修改后重新分析创建函数得到

 

 

 看check

 

 

 

 

对输入的前16位进行转换使之等于“66733～6775”

光看ida分析这段实在是太难了，结合ollydbg分析，逻辑是将前十六个输入循环的与greatctf异或后平方再乘12345679

flag='' a=667339003789000121539302795007135856775//12345679
b=pow(a,0.5) c=str(b) key='greatctf'
for i in range(16): flag+=chr(ord(c[i])^ord(key[i%8])) print(flag)

 

再看check2

 

 先搞随机数，在解四元一次方程

#include<stdlib.h> #include<stdio.h>
int main(){ int v15,v8,v14,v13; srand(0xbc6146); v15 = rand() % 360; v8 = rand() % 360; v13 = rand() % 360; v14 = rand() % 360; printf("v5=%x,v8=%x,V13=%x,v14=%x\n",v15,v8,v13,v14); return 0; }

 在这我出了个小错误，我最开始是在Linux里跑的，结果随机数与程序里不一样（🍑

from z3 import* def hex_str(x): temp=''
    for i in range(len(x)//2):
        temp+=chr(int(x[2*i:2*i+2],16)) return temp f=Solver() x=[Int('x%d'%i) for i in range(4)] f.add(x[0]+3*x[3]-1000*2 == 0x1A06491E7) f.add(x[2]*0xc0-x[3]*0xb == 0x244BFD2B9C) f.add(2*(x[1]+0x37a)+x[2]*0x1f == 0x71CE119D5) f.add(x[1]*0x1f*136-0xc0*x[0] == 0x431E9A36840) if f.check() == sat: for i in range(4): print(hex_str(hex(f.model()[x[i]].as_long())[2:])[::-1])

 输出

simp
0CTF
__36
leRe

顺序修改一下就可以了