CG-CTF single

本文介绍使用IDA软件进行静态分析,发现并解决一个数独谜题的过程。通过对代码的深入解析,识别出数独模式,利用在线数独求解器得出完整解,并通过脚本将已知数字转换为FLAG,最终揭示谜底。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一.拖入ida,先静态分析一下
在这里插入图片描述
发现有三个函数,点击进去看看
在这里插入图片描述
a1为0时,当a2[i]为0时,将自身的值赋值到该位置,a1为0时,就不需要动。
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述这三个函数都是在暗示这东西是个数独,每行每列,都有1到9的数字,并且不能重复。。。
把之前的数取出来,用在线的数组求解器操作一下
在这里插入图片描述
同时写个脚本,将之前不是零的地方改成0,就是flag

shudu=[0x00, 0x03, 0x00, 0x06, 0x00, 0x00, 0x00, 0x00, 0x00, 0x06, 0x00, 0x00, 0x00, 0x03, 0x02, 0x04, 0x09, 0x00, 0x00, 0x09, 0x00, 0x01, 0x00, 0x07, 0x00, 0x06, 0x00, 0x07, 0x04, 0x06, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x08, 0x00, 0x00, 0x00, 0x06, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x04, 0x07, 0x00, 0x08, 0x00, 0x09, 0x00, 0x04, 0x00, 0x07, 0x00, 0x00, 0x07, 0x04, 0x02, 0x01, 0x00, 0x00, 0x00, 0x06, 0x00, 0x00, 0x00, 0x00, 0x00, 0x03, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]
for i in range(9):
  for j in range(9):
    print(str(int(shudu[9*i+j]))+" ",end="")
  print("")
flag="431695728657832491892147365746321589518479632923586147185964273374218956269753814"
trueflag=""
for i in range(9):
  for j in range(9):
    if shudu[9*i+j]!=0:
      trueflag+="0"
    else:
      trueflag+=flag[9*i+j]
print(trueflag)

在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值