X-CTF(REVERSE高级) handcrafted-pyc

第一次用python3生成的pyc出现了很多关于版本的问题，所以第二次使用python2生成pyc

按照题上给出的数据，首先base64解密，然后解压生成out.pyc文件

uncompyle6反汇编生成的py文件是乱码，究其原因out.pyc文件缺少pyc的文件头,用十六进制工具添加文件头：03 F3 0D 0A 97 32 18 5E 63

关于pyc与py的介绍：https://www.cnblogs.com/blili/p/11799483.html

这里有一个坑是要用python2生成的pyc文件头，从图中我们可以看出两个版本生成的pyc头是不同的，命令：python -m py_compile 1.py

pyc转py，uncompyle6 -o exchange.py out.pyc

打开exchang.py是两千多行的汇编（数据未截完），我们也可以看出作者是用python2.7编写的

对这些chr数据主要是ROT_TWO和BINARY_ADD 两个操作，使用dis这个库对数据进行试验我们可以发现ROT_TWO交换栈顶与后面位置的数据，BINARY_ADD相加栈顶与后面位置数据，然后把相加后的数据压栈到栈顶，意思就是把里面的字符按照操作出现的顺序进行排序

ROT_TWO交换a，b数据

BINARY_ADD相加a，b数据

了解到汇编意思后，现在，我们把有效汇编代码保存到1.txt里（两千多行，截图略）

 把编号前1000的字符提取出来吧

按照汇编代码的逻辑，对提取出来的字符串排序，我们截取｝之前的字符串，找到｝所在1.txt的631行

输出有点问题，flag内容乱的，这里的代码参考了：https://www.jianshu.com/p/0af911bb4046

将所有字符解密，flag依然乱码，原来在输出字符串时，if语句把空字符串过滤了。

修改代码，重新提取字符串

得到flag

附代码：

    '''

    import re

    with open("1.txt",'r') as f:

        line = []

        for i in range(1000):

            line.append(f.readline())

    list=[]

    pat="(d*)
"

    for i in line:

              if 'LOAD_CONST' in i:

                        text=re.compile(pat).findall(i)

                        for j in text:

                                  list.append(j)

    for i in list:

              if(i==''):

                        print(" ")

              else:

                        print(chr(int(i)),end='')

    ''' 

    with open("1.txt",'r') as f:

        line = []

        for i in range(958):

            line.append(f.readline())

    def ROT_TWO(List):

        a = List.pop()

        b = List.pop()

        List.append(a)

        List.append(b)

        return List

    def BINARY_ADD(List):

        a = List.pop()

        b = List.pop()

        List.append(b+a)

        return List

    cipher ="llaC em yP aht notriv lauhcamni !eac Ini npreterP tohty ntybdocese!!! ctihN{noy woc uoc naipmoa eldnur yP nnohttyb doceni euoy rb ria}!napwssro :dorWp gnssadrow...elP  esa yrtaga .ni oD tonurbf etecro)= ."

    cipher = list(cipher)

    s =[]

    j=0

    for i in line:

        if 'LOAD_CONST' in i and j < len(cipher):

            s.append(cipher[j])

            j += 1

        elif 'ROT_TWO' in i:

            s = ROT_TWO(s)

        elif 'BINARY_ADD' in i:

            s = BINARY_ADD(s)

    print (s)