game
安洵杯2019逆向
链接:https://pan.baidu.com/s/1vICnEqYfSezXUiTJU6C9TA
提取码:d9m7
题目的文件和idb分析文件和写出的python文件都给出了
首先进入函数发现时ollvm,
这次的分析是直接看那个伪代码,比以前好很多了,就简单写下分析的思路方法,然后后面的分析结果直接写成了python代码,同时的idb文件会同样在附赠文件中,
分析思路
撇开底层原理,只看我们做题来说ollvm这种东西一般都是可以看伪代码的,虽然可能看起来丑的很(我觉得平坦流这个汇编好看),就是根据一个变量被赋给的各种奇怪的值,来进行一次次的判定,然后决定程序的流程,
我们想要做的就是恢复程序流程,标注打好这种简单一些的应该差不多:
主要思路就是找到程序块,以内部存在一个if判定修改程序流程得程序块来确定为一个step,两个step之间走过的其他块都注释标在其中的step那一部分,然后每个step标注好123得顺序,捋完一遍注释好大概可以分析得到程序得流程,然后写出来同样流程得python脚本,对着逆,
一个分析完了的blank_num
函数如下:
题目文件
首先是main函数:
其中v4是函数blank_num
函数得返回值,这个函数获取数组中得0得个数,然后v5获取是申请到的一片空间,trace
函数调整了数列sudoku
,而后面check
函数并没有看到有什么作用,看着没修改参数,也没有返回值接收,内部也没修改啥内存,代码量也比较小估计是个真没啥用得函数,check1
中操作修改了flag,然后check3
函数就是输出一个对错,其内部调用的check2
函数是关键判定函数,
因为都是ollvm然后分析方法写出来了,我直接贴出来分析得到得结果,python重新写出来的程序流程:
def check2():
v16 = []
for i in range(len(flag)):
v16.append(flag[v15] -48 )
#这个位置其实是数字得char和int转化
for i in range(9):
for j in range(9):
if dog3[9 * i + j] == 0:
dog3[9 *i + i] = v16[v13]
v13 += 1
#这里形成一个数独游戏得填入
for i in range(9):
for j in range(9):
if dog3[9 * i + j] != sudoku[9 * i + j]:
#注意这里
print("!!!")
def check1():
v12 = len(flag)>>1
for i in range(len