Whitehat Contest 11 RE2

我（在 reverse 题中）最讨厌的语言 ——go。

被 ida 里出现的奇怪结构体吓晕。

main 函数在 cutter 里怎么是 runtime.text 啊（不过在 sym.runtime.main 里被调用了）。

首先，整个程序被包裹在一个大大的死循环中，然后不断 scanf % d。当读到 EOF 的时候停止，判断是不是 13 个数字（表面上，实际上是 12 个）数字。

如果当前数字不是 eof，就会被 append 到数组里（下标甚至从 1 开始，第 0 位是 0）。还有一个用来统计每个数字出现次数的数组，只能出现一次。

check 的过程是这样的，因为中间有一大堆判断数组是否越界的语句（已删），所以容易被搞晕，导致看不到 var_1e8h 的初值。

Copy
var_1e8h = 1;
uVar5 = 1;
do {
uVar2 = *(uint64_t *)(var_18h + uVar5 * 8);
var_1e8h = ((&var_168h)[uVar2] + -1) * (&var_1d0h)[var_1e0h - uVar5] + var_1e8h;

uVar2 = *(uint64_t *)(var_18h + uVar5 * 8);
while (uVar2 = uVar2 + 1, (int64_t)uVar2 <= var_1e0h) {
(&var_168h)[uVar2] = (&var_168h)[uVar2] + -1;
}
uVar4 = (uint32_t)uVar2;
uVar5 = uVar5 + 1;
} while ((int64_t)uVar5 <= var_1e0h);

换成 python 就是（写的时候把数组哪个是哪个弄错了，对着汇编改的）

Copy
def check(inpt):
#inpt = [0,6,12,9,4,5,1,2,8,10,7,11,3]
len_nums = 0xd
v1d0h = [1,1,2,6,0x18,0x78,0x02d0,0x13b0,0x9d80,0x058980,0x375f00,0x02611500,0x1c8cfc00]

v18h = []
v168h = list(range(0xd))

for i in inpt:
v18h.append(i)

i = 1
s = 1
while True:
#print(v168h)
r11 = v18h
r8 = r11[i]
rbx = v168h[r8]-1
r8=len_nums-1-i
rbp = v1d0h[r8]
#print(hex(rbx), hex(rbp))
s += (rbx*rbp)
j = v18h[i]+1
while j<=len_nums-1:
v168h[j] -= 1
j+=1
i+=1
if i > len_nums -1:
break
print(hex(s))
return s == 0xe37f550

之后的正解大概是一个数学问题。https://dakutenpura.hatenablog.com/entry/2016/06/28/030236

不过我不会，于是打了暴搜，搜permutations(range(0,13))，卡爆了。

但是经过观察发现，s 竟然从 1 开始，每次增加 1。于是就变成了：

Copy
j = 0
for i in permutations(range(0,13)):
#sys.stdout.write("%s\n"%str(i))
j += 1
if j == 0xe37f550:
print(check(i))
print(i)
break