CG-CTF single_cgctf-优快云博客

本文链接：https://blog.youkuaiyun.com/YenKoc/article/details/105427253

本文介绍使用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)

在这里插入图片描述