攻防世界逆向高手题之easyCpp
继续开启全栈梦想之逆向之旅~
这题是攻防世界逆向高手题的easyCpp
.
.
下载附件,解压缩包,照例扔入exeinfope
中查看信息:
.
.
64位ELF
文件,无壳,照例运行一下程序,看看主要回显信息:
.
.
一开始啥也没有,就一直乱输入,然后弹出个you failed
字符串,信息够了。照例扔入IDA64
中查看伪代码,有main
函数看main
函数:(这里我一开始分析时注释了一些代码,这并不影响)
.
.
(这里积累第一个经验)
一开始大致浏览了一下,发现很多的STL(标准模板库)
中关于向量模板,容器的vector
考点。刚好有笔记记录过,所以先搬上一些函数作用:
push_back( ) 成员函数在向量的末尾插入值,如果有必要会扩展向量的大小。
size( ) 函数显示向量的大小。
begin( ) 函数返回一个指向向量开头的迭代器。
end( ) 函数返回一个指向向量末尾的迭代器。
(back_inserter(尾部插),inserter(插入指定位置),front_inserter(头部插))
.
.
因为代码有很多是看不懂的,所以我搬用了高三英语阅读的方法,懂的全部注释
,再慢慢前后连接起来,这部分主要就是fib(j)的斐波那契数列函数
要注意了:
.
.
(这里积累第二个经验)
然后分析下一部分函数,一开始觉得红框部分的v30[0] = std::vector<int>::begin(v25);
只是简单地把输入的第0
个值给了v30
而已,紧接着后面的v9
也不明觉厉。动态调试了才发现是v30
整个指向了接受输入的v25
数组,所以v9
也就指向了输入的第二个字符了,这样也联系得通了,所以有时候一些细枝末节真的要前后联系
起来解释才行。
然后就是一个lambda表达式
了,回顾了笔记发现是自定义
函数,一开始并不知道入口在哪里,查了资料才明白函数名在前面紧接着std
的transform
那里,不过直接双击lambda
也是可以跟踪的:
.
.
继续后面的大体分析,把接受输入的数组赋值来赋值去,最后和斐波那契数列的v24数组作比较,那么总的流程就是用户输入------>两个lambda自定义函数修改-------->与斐波那契数列数比较
.
.
(这里积累第三个经验)
分析transform
函数,根据外层分析的重命名了很多变量,然后一开始没注意的就是红框处的back_insert_iterator
尾部插入函数,因为把注意力都放在了前面的operator*
运算符那里,所以这个函数的作用就是从第二个数开始每一个数都加上第一个数
然后返回:
通常要搭配动态调试才能更准确地判断结果,这个动态调试也是学到了怎么寻找跟踪对象
了,而且要注意的是不要跟踪函数内的局部变量
,要跟踪函数外才行啊!!!然后就是变量类型对应后的地址跳转
也要注意。
.
.
分析accumulate
函数,函数分析同前面transform
函数,由于我很多注释被消掉了,所以只能简单回顾一下了。不过这里跟踪的是v27
,外层v30
不知道那里被修改过,跟踪不了。
.
.
.
回顾之前总的流程:用户输入------>第一次修改,从第二个数开始每个数加上第一个数--------->第二次修改,逆序-------->与斐波那契数列数比较
那么逆向逻辑就是:
16个斐波那契数列数---->逆序------->从第二个数开始每个数减第一个数----------->获得输入
开始写脚本,先上网复制个斐波那契数生成函数,然后直接逆向逻辑即可:
def fib(n):
return int(1 and n<=2 or fib(n-1)+fib(n-2))
list1=[]
input1=[]
for i in range(1,17):
list1.append(fib(i))
list1=list1[::-1]
input1.append(list1[0])
for i in range(1,len(list1)):
input1.append(list1[i]-list1[0])
print(input1)
结果:
.
.
.
总结:
1:
(这里积累第一个经验)
一开始大致浏览了一下,发现很多的STL(标准模板库)
中关于向量模板,容器的vector
考点。刚好有笔记记录过,所以先搬上一些函数作用:
.push_back( ) 成员函数在向量的末尾插入值,如果有必要会扩展向量的大小。
size( ) 函数显示向量的大小。
begin( ) 函数返回一个指向向量开头的迭代器。
end( ) 函数返回一个指向向量末尾的迭代器。
(back_inserter(尾部插),inserter(插入指定位置),front_inserter(头部插)).
.
因为代码有很多是看不懂的,所以我搬用了高三英语阅读的方法,懂的全部注释
,再慢慢前后连接起来,这部分主要就是fib(j)的斐波那契数列函数
要注意了:
2: (这里积累第二个经验) 然后分析下一部分函数,一开始觉得红框部分的
v30[0] = std::vector<int>::begin(v25);
只是简单地把输入的第0
个值给了v30
而已,紧接着后面的v9
也不明觉厉。动态调试了才发现是v30
整个指向了接受输入的v25
数组,所以v9
也就指向了输入的第二个字符了,这样也联系得通了,所以有时候一些细枝末节真的要前后联系
起来解释才行。
.
然后就是一个lambda表达式
了,回顾了笔记发现是自定义
函数,一开始并不知道入口在哪里,查了资料才明白函数名在前面紧接着std
的transform
那里,不过直接双击lambda
也是可以跟踪的:
3:
(这里积累第三个经验)
分析transform
函数,根据外层分析的重命名了很多变量,然后一开始没注意的就是红框处的back_insert_iterator
尾部插入函数,因为把注意力都放在了前面的operator*
运算符那里,所以这个函数的作用就是从第二个数开始每一个数都加上第一个数
然后返回。
.
通常要搭配动态调试才能更准确地判断结果,这个动态调试也是学到了怎么寻找跟踪对象
了,而且要注意的是不要跟踪函数内的局部变量
,要跟踪函数外才行啊!!!然后就是变量类型对应后的地址跳转
也要注意。
解毕!敬礼!