XCTF 进阶 RE notsequence
直接进入正题，下载文件，无壳，直接使用ida打开找到关键函数：
程序过程很简单，有两个检查，一个if判断
首先查看第一个检查函数：
要求我们return v5，不能return -1
为了让我们的逻辑更加清楚，粗略写了一下C语言的代码：
int sub_80486CD(int a1){
v5 = 0;
for(int i = 0; i <= 1024 && a1[i]; i = v5 * (v5 + 1) / 2){
v3 = 0;
for(int j = 0;j <= v5; ++j)
v3 += a1[i+j]
if(1 << v5 != v3)
return -1;
++v5;
}
return v5;
}
a1就是我们的输入，分析一下这个函数：
首先i=0,1,3,6,10,15,
v3表示从a1[i]开始加v5个的和：
a1[0]
a1[1] + a1[2]
a1[3] + a1[4] + a1[5]
a1[6] + a1[7] + a1[8] + a1[9]
v5左移一位等于v3即可！！！
可以列出几个例子：
a1[0] = 1
a1[1] + a1[2] = 2
a1[3] + a1[4] + a1[5] = 4
a1[6] + a1[7] + a1[8] + a1[9] = 8
接下来进入第二个函数：
这里也粗略写了一下C语言的代码：
int sub_8048783(int a1 , int a2){
v6 = 0;
for(int i = 1;i < a2; ++i ){
v4 = 0;
v3 = i - 1;
if( !a1[i] )
return 0;
while(a2 - 1 > v3){
v4 += a1[v3 * (v3 + 1) / 2 + v6];
v3++;
}
if(a1[v3 * (v3 + 1) / 2 + i] != v4)
return 0;
++v6;
}
return 1;
}
题目的要求是让我们返回1，也就是说要我们把这个函数执行完成，这里存在两个参数
第一个自然是我们的输入，第二个类似于上面举例子的层数
由于这里的a2没变，而且后面的if条件需要我们将这个类似的层数等于20
所以我们现在就可以认为a2=20，接下来继续分析这个函数
首先a1里面的每个数都不能为0，由于程序有点复杂
我们可以将下标打印出来看一下结果，编写python：
v6 = v3 = 1 # 因为v3未变化前 v6=v3
a2 = 20 # 表示层数
i = 1
while a2 - 1 > v3:
print(int(v3 * (v3 + 1) / 2 + v6))
v3 += 1
print(v3 * (v3 + 1) / 2 + i)
由于20太大了，所以我就调小了层数，一点点尝试，得到结果：
a1[2] = a1[0] = 1
a1[4] = a1[0] + a1[1] = 2
a1[5] = a1[2] = 1
a1[7] = a1[0] + a1[1] + a1[3] = 3
a1[8] = a1[2] + a1[4] = 3
a1[11] = a1[0] + a1[1] + a1[3] + a1[6] = 4
a1[12] = a1[2] + a1[4] + a1[7] = 6
a1[13] = a1[5] + a1[8] = 4
再结合上一个函数得出的结论，可以推出前几层的数：
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
… … … …
这里就很显然了，学过C语言的应该都敲过，杨辉三角嘛~~
所以这里应该是让我们输入一个20层的杨辉三角！！
然后根据最后答案的提示：
去掉空格和换行进行MD5值加密，裹上RCTF{}提交即可
接下来就是编写python脚本了，附上解题脚本：
a = []
for i in range(0,20):
b = []
for j in range(0,i + 1):
b.append(1)
a.append(b)
print(a)
for i in range(1,20):
for j in range(1,i):
a[i][j] = a[i - 1][j] + a[i - 1][j - 1]
print(a)
flag = ""
for i in range(0,len(a)):
for j in range(0,len(a[i])):
flag += str(a[i][j])
print(flag)
运行结果：
md5加密得到：
得到flag：RCTF{37894beff1c632010dd6d524aa9604db}