CG-CTF single

最新推荐文章于 2023-07-28 17:39:08 发布

原创最新推荐文章于 2023-07-28 17:39:08 发布 · 458 阅读

0 ·

CC 4.0 BY-SA版权

CG-CTF 专栏收录该内容

6 篇文章

订阅专栏

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

一.拖入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)