前言:做题笔记。
下载解压查壳。
64IDA打开。
查找字符串去。
跟进BaseCTF{ 找到 main
头部:
尾部:
程序:
选择题,咳,动漫迷可以做,也能得flag。(我不怎么看动漫。。)
告知我们,输入有20个 且答案只能在A B C D 中产生。
中间运算有一大串数据判断:
这种格式 大数据 等 直接用python的Z3约束求解器就好。
这题程序逻辑很简单,主要考查的就是Z3的使用。(我也不会,网上看呗,问豆包什么的。)
脚本:
照抄原程序就行。以& && 作为 s.add的分割。
(py用的不熟,只能这么写)
代入验证:
BaseCTF{CDBBDCAAABBDBCCBCCAC}