BaseCTF [第 2 周] lk

前言:做题笔记。

下载解压查壳。

64IDA打开。

查找字符串去。

跟进BaseCTF{ 找到 main

头部:

尾部:

程序:

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

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

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

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

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

脚本:

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

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

代入验证:

BaseCTF{CDBBDCAAABBDBCCBCCAC}

相关推荐
吴梓穆7 分钟前
UE5学习笔记 FPS游戏制作38 继承标准UI
笔记·学习·ue5
烂蜻蜓11 分钟前
C 语言中的递归:概念、应用与实例解析
c语言·数据结构·算法
OYangxf11 分钟前
图论----拓扑排序
算法·图论
我要昵称干什么20 分钟前
基于S函数的simulink仿真
人工智能·算法
AndrewHZ1 小时前
【图像处理基石】什么是tone mapping?
图像处理·人工智能·算法·计算机视觉·hdr
念九_ysl1 小时前
基数排序算法解析与TypeScript实现
前端·算法·typescript·排序算法
守正出琦1 小时前
日期类的实现
数据结构·c++·算法
ChoSeitaku1 小时前
NO.63十六届蓝桥杯备战|基础算法-⼆分答案|木材加工|砍树|跳石头(C++)
c++·算法·蓝桥杯
V---scwantop---信1 小时前
英文字体:大胆都市街头Y2Y涂鸦风格品牌海报专辑封面服装字体 Chrome TM – Graffiti Font
笔记·字体
YueiL1 小时前
C++入门练习之 给出年分m和一年中的第n天,算出第n天是几月几号
开发语言·c++·算法