buu刷题 [GUET-CTF2019]re1

查壳，64位 upx壳，进行脱壳：

打开

这个是没有主函数的，看字符串：

 

进去看看：

 

进入这个关键函数;

发现里面都是判断语句 ，那么上边我们可以得到a1就是我们输入的flag，逆向出来就行了，因为没有a[6]，所以先用？代替

脚本：

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}

 

 然后猜呗 0~9试一遍，发现a[6]=1是对滴

flag{e165421110ba03099a1c039337}

然后看了看大佬们的wp发现可以用z3解方程来写,又学到了：

z3解法参考：BUUCTF-RE-[GUET-CTF2019]re_Henlenl的博客-CSDN博客