湖南网络安全比赛的一个CTF题目

tengfe · 发表于 2017-12-2 11:26

本帖最后由 tengfe 于 2017-12-2 11:41 编辑

大家看看吧，要求找出falg，不知道怎么设置不要积分，不好意思

whklhh · 发表于 2017-12-9 02:20

nuodun 发表于 2017-12-9 00:09
怎么判断v7这个变量是第4个值?

根据堆栈结构，IDA分析的函数最顶端有各个变量的真实地址（我的图上没有截到），v7的地址=输入的变量的地址+3，所以是input[3]即第4个值
或者动态调试，输入校验字符串如“123456789”，在OD中可以发现'0'和'4'进行比较，所以可以推断出是第四个值

whklhh · 发表于 2017-12-2 21:17

本帖最后由 whklhh 于 2017-12-2 21:20 编辑

check1里是二元一次方程组（有一个三元的，问题不大）
check2里是变换大小写，很容易得出后几个字符

方程组手算应该也不难，根据flag[3]一个一个推就是了

我懒，直接用Z3约束求解器跑了

[Python] 纯文本查看 复制代码

from z3 import *

flag = [Int('flag%d'%i) for i in range(7)]

s = Solver()
result = []
s.add(And((flag[3]) +  flag[0] == 126,  flag[0]+ (2 * (flag[1])) == 308,  (flag[5]) +  (flag[4]) +  (flag[2]) == 318,  (flag[4]) +  (flag[2]) == 201,  (flag[4]) -  (flag[3]) == 51,  (flag[1]) ==  (flag[6])), flag[3]==ord('0'))
for i in range(7):
    s.add(flag[i] > 32)
    s.add(flag[i] < 127)
if(s.check()==sat):
    m = s.model()
    for i in range(7):
        print(chr(m[flag[i]].as_long()), end='')
print("_YnCtF")

Nsf0cus_YnCtF

这个东西解方程贼好用

虽然它要是知道被用来搞二元一次的话估计会哭吧

说起来，最近就打了个湖湘杯，湖南还有啥别的比赛啊？

邓功涛 · 发表于 2017-12-2 11:43

前排出售瓜子，注册了一年，几乎没发过贴6

tengfe · 发表于 2017-12-2 11:55

邓功涛发表于 2017-12-2 11:43
前排出售瓜子，注册了一年，几乎没发过贴6

....我只看看

busebox · 发表于 2017-12-2 11:59

我也是没发过帖子

抢我所爱的你 · 发表于 2017-12-2 12:08

我也是，潜水了很久

zbnysjwsnd8 · 发表于 2017-12-2 12:30

tengfe · 发表于 2017-12-2 13:00

zbnysjwsnd8 发表于 2017-12-2 12:30

牛逼了，

tengfe · 发表于 2017-12-2 13:01

tengfe 发表于 2017-12-2 13:00
牛逼了，

发下思路被

feixizhang · 发表于 2017-12-2 13:21

哈哈，不懂啊，还是看看吧

Dispa1r · 发表于 2017-12-2 15:29

zbnysjwsnd8 发表于 2017-12-2 12:30

星斗师傅强啊，湖湘杯的那个

帐号		自动登录	找回密码
密码			注册[Register]

[CrackMe] 湖南网络安全比赛的一个CTF题目

本帖子中包含更多资源

免费评分

点评

免费评分

本帖子中包含更多资源

本帖子中包含更多资源

免费评分

个人中心