BaseCTF [第 2 周] lk

前言:做题笔记。

下载解压查壳。

64IDA打开。

查找字符串去。

跟进BaseCTF{ 找到 main

头部:

尾部:

程序:

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

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

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

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

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

脚本:

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

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

代入验证:

BaseCTF{CDBBDCAAABBDBCCBCCAC}

相关推荐
✿ ༺ ོIT技术༻43 分钟前
笔试强训:Day2
开发语言·c++·笔记·算法
飞桨PaddlePaddle3 小时前
Wan2.1和HunyuanVideo文生视频模型算法解析与功能体验丨前沿多模态模型开发与应用实战第六期
人工智能·算法·百度·音视频·paddlepaddle·飞桨·deepseek
可爱的秋秋啊3 小时前
vue3,element ui框架中为el-table表格实现自动滚动,并实现表头汇总数据
前端·vue.js·笔记·elementui
Starry_hello world4 小时前
C++ 快速幂算法
c++·算法·有问必答
细心的莽夫4 小时前
SpringCloud 微服务复习笔记
java·spring boot·笔记·后端·spring·spring cloud·微服务
石去皿4 小时前
力扣hot100 91-100记录
算法·leetcode·职场和发展
BOB-wangbaohai5 小时前
Flowable7.x学习笔记(十三)查看部署流程图
笔记·学习·流程图
SsummerC6 小时前
【leetcode100】组合总和Ⅳ
数据结构·python·算法·leetcode·动态规划
YuCaiH6 小时前
数组理论基础
笔记·leetcode·c·数组
2301_807611496 小时前
77. 组合
c++·算法·leetcode·深度优先·回溯