DACTF2023 controlflow

解题思路

没遇到过这种题 挺奇怪的，用IDA打开，很简单的main函数，校验了下输入的长度，然后异或下，没了？输入个40位的数，输出wrong flag，但是不在这个main函数里面的print出来的，查找字符串也只看到这一个地方有wrong，在return出接着动态调试，发现是按照最前面的push 进去的值来执行的

应该是在retn的时候弹出栈的时候正好弹出之前压入的函数地址，然后执行，先执行1220，然后11A0,1100,最后跳到最后的检验flag函数，从最后一个函数开始分析，v3这里是

这个CD43A8是输入加密的，V3是对比的数组，值是固定的

然后倒数第一个函数是将数组两两交换，需要注意的是，数组长度是40，这里只有20，动态调试发现是从第10个元素开始交换，然后到第30个元素。

然后倒数第二个函数，这个函数F5看不了就看汇编吧，动态走一遍发现干了两件事，一个乘以三，一个减一

倒数第一个，这个函数也做了两件事，第一个就是+i的平方，还有一个是1560里面的，1560里面是异或，这里传入的是V1+40，V1就是前面那个加密数组，加40就是从第十个元素开始


然后加上main里面那个异或，就可以还原出算法了，

num=[0xCCF,0xCC0,0xCFC,0xCD8,0xD23,0xD11,0xDC8,0xD7D,0xDAA,0xE2B,0xE7C,0xE5B,0xEA9,0xECA,0xF5A,0xF5A,0xFB1,0x104D,0x1095,0x117C,0x137D,0x12F3,0x142E,0x141C,0x1233,0x1287,0x11F4,0x1758,0x1461,0x122A,0x1782,0x17F7,0x1911,0x194D,0x1A10,0x1AEB,0x1B90,0x1CE6,0x1DE2,0x1ED2]
#交换相邻的元素
for i in range(10, 30, 2):
    num[i+1],num[i]= num[i],num[i+1]
# hex_array = [hex(i) for i in num]
# print(hex_array)
for i in range(40):
    num[i] = num[i] //3
    num[i]+=i

#第一步

for i in range(20):
    index = 10 + i   # python的索引从0开始
    num[index] ^= i * (i + 1)

hex_array = [hex(i) for i in num]
print(hex_array)
# #有问题 对应1560
for i in range(40):
    # num[i] > 1;
    # num[i] ^= i*(i+1)
    num[i]-=i*i

#sub_1560
hex_array = [hex(i) for i in num]
print(hex_array)
flag=''
for i in range(40):
    num[i] ^=1025
    flag+=chr(num[i])
print(num)
print(flag)

方法二

可以发现这个是按位加密的，所以可以用字节爆破 可以尝试一下，应该也是没问题的