安洵杯-game-wp

最新推荐文章于 2023-07-01 23:01:58 发布

-令则

最新推荐文章于 2023-07-01 23:01:58 发布

阅读量1.3k

点赞数 1

CC 4.0 BY-SA版权

分类专栏：题目的整理逆向

本文链接：https://blog.csdn.net/wlz_lc_4/article/details/103466957

本文介绍了安洵杯2019年逆向工程挑战的解题思路和方法，主要涉及OLLVM混淆的分析。通过查看伪代码，识别关键流程，恢复程序逻辑，并编写Python脚本来模拟程序行为。文章提供了分析后的main函数和check函数的细节，揭示了数独游戏的判定机制和flag的解密过程。

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

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(flag)>>1):