攻防世界逆向Reversing-x64Elf-100

原创已于 2023-11-18 15:47:44 修改 · 898 阅读

6 ·

CC 4.0 BY-SA版权

文章标签：

#c++

于 2023-11-17 20:16:03 首次发布

杂物2 专栏收录该内容

4 篇文章

订阅专栏

文章讲述了对一个64位可执行文件的逆向工程分析，主要涉及在IDAPro64中查找关键函数，理解了一个模数计算器式的字符串匹配逻辑。通过分析字符串数组和字符偏移，作者推断出flag的计算方法并给出了逆向脚本实现。

很明显是个64位可执行文件，用IDA Pro 64打开，找到main

此处打草稿分析一下该伪代码功能，可以直接略过：

然后顺便提一嘴，在IDA里面基本养成一个习惯，你看到的几乎所有东西都是指针，指向某个地址的，然后从中取值

和平常看c代码不太一样，平常看c代码是直接看到变量名字，想它里面存什么值，现在是看到一串符号或者变量，先想它指向哪个地址，从中取出什么值

满足sub_4006FD条件输出“Incorrect Password！”不满足则输出“Nice！”
所以我们进入关键函数，其输出只有两种return 1LL和return 0LL，换句话说，返回1，则满足条件，输出“Incorrect Password!”,返回0，则不满足条件，输出“Nice！”

所以我们需要返回0，而返回0，就需要下面这个for循环，每次循环里面的if语句都不成立，就是每次都返回不了1，循环结束后才能返回0

因此这儿需要搞清楚if里面的条件到底是什么意思，才能写出逆向脚本，先说结论，算法其实就是一个模数计算器，用来循环运算字符串。首先知道a1是个传进来的参数，但是不知道它到底是什么 v3相当于是个数组，里面每个元素都是个字符串，有v3[0]、v3[1]、v3[2]三个字符串 if里面的条件永远不成立，就是*(char*)(v3[i%3] + 2*(i/3)) - *(char*)(i+a1) == 1 恒成立 v3[i%3]保证i从0循环到11，i%3永远只能等于0、1、2，它的作用类似于汇编中定段地址，先把地址定到v3[0]开头或者v3[1]开头或者v3[2]开头。2*(i/3)，保证i从0循环到11，取值永远在0到6，很明显每个元素都是个字符串，每个字符串例如“Dufhbmf”刚好七个字符，索引对应0到6，所以它的作用类似于汇编中的偏移地址，在确定开头的情况下在每一段内再偏移来寻找需要的字符。二者合起来相当于一个二维数组的索引，在这儿个3行7列的矩阵里面寻找需要的字符。

再来看a1不知道是什么，但根据前面的分析，v3[i%3]+2*(i/3)是字符串型指针，意在寻找3行7列的矩阵中需要的字符的地址，再用个*把地址里存的字符的值取出来，所以我们不妨假设a1也是个字符串的首地址，其中存着字符串的第一个字符，那么i从0循环到11，相当于遍历了这一整个字符串的地址，那么很明显它就是需要逆向出来的目标，很明显推测它就是flag

flag的值怎么球呢，每次循环，*（char *）（v3[i%3]+2*(i/3)）代表获得一个字符，或者可以认为获得这个字符的ASCII码值，再把码值-1，就是 *（char *）（i+a1）在这一位的字符的ASCII码值，再把ASCII码值转化成相应的字符，循环12次，就获得了这个flag

有以上理解，继续编写逆向的·脚本

网上的借鉴版本：

在这里插入图片描述

再是自己的拆解版本，相互有个对照：

#coding=utf-8


v = ["Dufhbmf", "pG`imos", "ewUglpt"]
s = ''
for i in range(12):
    a = i % 3
    b = 2*int(i/3)
    s += chr(ord(v[a][b])-1)

print(s)

运行后得结果Code_Talkers，就是flag