BaseCTF [第 2 周] lk

前言:做题笔记。

下载解压查壳。

64IDA打开。

查找字符串去。

跟进BaseCTF{ 找到 main

头部:

尾部:

程序:

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

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

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

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

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

脚本:

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

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

代入验证:

BaseCTF{CDBBDCAAABBDBCCBCCAC}

相关推荐
飞升不如收破烂~38 分钟前
redis的map底层数据结构 分别什么时候使用哈希表(Hash Table)和压缩列表(ZipList)
算法·哈希算法
九圣残炎42 分钟前
【从零开始的LeetCode-算法】3354. 使数组元素等于零
java·算法·leetcode
寒笙LED1 小时前
C++详细笔记(六)string库
开发语言·c++·笔记
岳不谢1 小时前
VPN技术-VPN简介学习笔记
网络·笔记·学习·华为
程序猿小柒1 小时前
leetcode hot100【LeetCode 4.寻找两个正序数组的中位数】java实现
java·算法·leetcode
雨中rain2 小时前
贪心算法(1)
算法·贪心算法
不爱学习的YY酱2 小时前
【操作系统不挂科】<CPU调度(13)>选择题(带答案与解析)
java·linux·前端·算法·操作系统
平头哥在等你2 小时前
求一个3*3矩阵对角线元素之和
c语言·算法·矩阵
飞滕人生TYF2 小时前
动态规划 详解
算法·动态规划
_OLi_2 小时前
力扣 LeetCode 106. 从中序与后序遍历序列构造二叉树(Day9:二叉树)
数据结构·算法·leetcode