BaseCTF [第 2 周] lk

前言:做题笔记。

下载解压查壳。

64IDA打开。

查找字符串去。

跟进BaseCTF{ 找到 main

头部:

尾部:

程序:

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

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

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

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

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

脚本:

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

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

代入验证:

BaseCTF{CDBBDCAAABBDBCCBCCAC}

相关推荐
羊小猪~~1 分钟前
神经网络基础--什么是正向传播??什么是方向传播??
人工智能·pytorch·python·深度学习·神经网络·算法·机器学习
Yawesh_best16 分钟前
思源笔记轻松连接本地Ollama大语言模型,开启AI写作新体验!
笔记·语言模型·ai写作
软工菜鸡27 分钟前
预训练语言模型BERT——PaddleNLP中的预训练模型
大数据·人工智能·深度学习·算法·语言模型·自然语言处理·bert
南宫生30 分钟前
贪心算法习题其三【力扣】【算法学习day.20】
java·数据结构·学习·算法·leetcode·贪心算法
AI视觉网奇1 小时前
sklearn 安装使用笔记
人工智能·算法·sklearn
JingHongB1 小时前
代码随想录算法训练营Day55 | 图论理论基础、深度优先搜索理论基础、卡玛网 98.所有可达路径、797. 所有可能的路径、广度优先搜索理论基础
算法·深度优先·图论
weixin_432702261 小时前
代码随想录算法训练营第五十五天|图论理论基础
数据结构·python·算法·深度优先·图论
小冉在学习1 小时前
day52 图论章节刷题Part04(110.字符串接龙、105.有向图的完全可达性、106.岛屿的周长 )
算法·深度优先·图论
Repeat7151 小时前
图论基础--孤岛系列
算法·深度优先·广度优先·图论基础
小冉在学习1 小时前
day53 图论章节刷题Part05(并查集理论基础、寻找存在的路径)
java·算法·图论