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 的初值。

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 就是（写的时候把数组哪个是哪个弄错了，对着汇编改的）

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。于是就变成了：

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