南京邮电大学 RE-WxyVM

拿到题目拖入IDA，查看主函数。

流程非常简单，输入一个字符串，长度要求为24.处理后与一个已知的字符串进行对比。

然后仅需sub_4005B6处理函数查看

处理过程也不复杂，可以直接进行逆向。

其中v0是处理类型的标志，v3是参与处理的数据，result是处理的位置。

因为一共有24位长的字符。

这里有一个点困惑了我一会，byte与Dword数据进行对比，然后查找得知，对比的是Dword的低8位。

然后直接在IDA里写脚本运行得到答案。

from __future__ import print_function

a=[]
for i in range(0,24):
    a.append(Byte(0x601060+i*4))


for i in range(14997,-1,-3):
    v0 = Byte(0x6010C0+i)
    v3 = Byte(0x6010C0+i+2)
    if v0 ==1:
        result=Byte(0x6010C0+i+1)
        a[result]=a[result]-v3
    elif v0 ==2:
        result=Byte(0x6010C0+i+1)
        a[result]=a[result]+v3
    elif v0 ==3:
        result=Byte(0x6010C0+i+1)
        a[result]=a[result]^v3
        
for i in a:
    print(chr(i%128),end='')