BaseCTF [第 2 周] lk

前言：做题笔记。

下载解压查壳。

64IDA打开。

查找字符串去。

跟进BaseCTF{ 找到 main

头部：

尾部：

程序：

选择题，咳，动漫迷可以做，也能得flag。(我不怎么看动漫。。)

告知我们，输入有20个 且答案只能在A B C D 中产生。

中间运算有一大串数据判断：

这种格式 大数据 等 直接用python的Z3约束求解器就好。

这题程序逻辑很简单，主要考查的就是Z3的使用。(我也不会，网上看呗，问豆包什么的。)

脚本：

照抄原程序就行。以& && 作为 s.add的分割。

(py用的不熟，只能这么写)

代入验证：

BaseCTF{CDBBDCAAABBDBCCBCCAC}