BUUCTF（[GUET-CTF2019]re1）

题目地址：BUUCTF在线评测 (buuoj.cn)

下载文件放入PE查壳发现有upx的壳给它脱个壳 

可以放入ida了shift+f12

点进去ctrl+x交叉引用

引用后按f5

看到了一个关键函数sub_4009AE点进去

全是判断语句判断a1的但它少了个判断语句就是a1[6]先把其他的给求出来上ai分析

逆向一下就可以了将后面的数据除以前面的数据

flag=''
flag+=chr(166163712//1629056)
flag+= chr(731332800 // 6771600)
flag += chr(357245568 // 3682944)
flag += chr(1074393000 // 10431000)
flag += chr(489211344 // 3977328)
flag += chr(518971936 // 5138336)
flag+='?'
flag += chr(406741500 // 7532250)
flag += chr(294236496 // 5551632)
flag += chr(177305856 // 3409728)
flag += chr(650683500 // 13013670)
flag += chr(298351053 // 6088797)
flag += chr(386348487 // 7884663)
flag+= chr(438258597 // 8944053)
flag+= chr(249527520 // 5198490)
flag+= chr(445362764 // 4544518)
flag+= chr(981182160 // 10115280)
flag+= chr(174988800 // 3645600)
flag+= chr(493042704 // 9667504)
flag += chr(257493600 // 5364450)
flag+= chr(767478780 // 13464540)
flag+= chr(312840624 // 5488432)
flag += chr(1404511500 // 14479500)
flag+= chr(316139670 // 6451830)
flag+= chr(619005024 // 6252576)
flag+= chr(372641472 // 7763364)
flag+= chr(373693320 // 7327320)
flag+= chr(498266640 // 8741520)
flag+= chr(452465676 // 8871876)
flag+= chr(208422720 // 4086720)
flag+= chr(515592000 // 9374400)
flag+= chr(719890500 // 5759124)
print(flag)

运行一下得到flag{e?65421110ba03099a1c039337}但这不是最终要求的flag，因为少个判断语句我们要求那个a1[6]要用到python里的z3求解器我还没安，我是一个个数试出来的

所以a1[6]=1把“？”换成1就可以提交了

flag{e165421110ba03099a1c039337}