跳转至

2018 LCTF

标签:SMC, 二叉树, VM, 逐字节爆破, MSP430, 李萨如图, RC4, enigma

LCTF Re部分wirteup

比赛日期:2018.11.17-2018.11.18

此次比赛先后放出了共7道题。我在比赛中只做出了easyvm,game两题,其余题目为赛后复现,参考了pizza的做法。

题目,脚本及ida数据库下载:下载地址

_backup文件夹内为题目原题,其余的题目文件能被我打过补丁。

拿去签到吧朋友

直接运行是正常的,打开ida后再运行会直接退出,必定有反调试。查找exit函数,查找引用,在0040130E有一个调用,在00401408有一个调用,全部nop或者jmp掉就行了。如果你是单步跟踪,能看到sub_401451有一个smc函数。如果一开始跳过了整个开头直接call main函数,就会漏掉这个,对后面必然有影响。

接下来分析main函数。首先校验长度36,然后对输入的数据构建了一个数据结构。进入构建函数0040174C分析一波,能看出它是一个二叉树,采用结构体数组的方式存储。定义结构体:

1
2
3
4
5
6
00000000 BiTree struc ; (sizeof=0x10, mappedto_14)
00000000 data dd ?
00000004 subscript dd ?
00000008 lchild dd ?                             ; offset
0000000C rchild dd ?                             ; offset
00000010 BiTree ends

对相关变量定义好,整个函数的结构就清晰了。构架二叉树的方法:从根节点开始往下,大的放右边,小的放左边,有数据了就再次比较,以此类推。

004017DD是先序遍历,遍历得到数据和下标,sub_401D6E函数是加密与校验。发现字符串falconn,之后又36轮加密,每一轮把字符串的每个字节转为二进制放入八个字节,然后按照00409880的规则置换。看到置换表,熟悉密码学的选手就能认出是DES加密了(参考)。对加密过程的每一步对比DES,可以看出完全一致。字符串falconn作为key,加密的数据放入0040C100。前36个作为一个矩阵,乘一个常量矩阵,然后跟一个常量矩阵比对,然后单独比对最后四个密文。之后再对比一遍前序遍历前18位的下标。这样可以解密得到flag的前18位。

接下来跟之前相似,0040188E是后序遍历。与之前不同,加密函数被smc了,而这一部分在开头又被smc了。进入调试,输入之前求出的先序遍历,在00401E79设下断点。

但是试了好几次,00401E7A函数并没有被还原成功,回头看看smc

调试好多次,终于发现了问题所在。在sub_401451的smc中,目标函数异或了反调试函数,如果修改反调试函数,那目标函数最终也变了,所以之前不能对反调试函数修改,要在动调中通过对内存或寄存器的修改来避开反调试。

发现了问题,那就开始尝试新的方法,还好做题之前有备份。拖进x32dbg里,从头开始动调,遇到反调试的地方改内存/寄存器/IP,最后停在目标函数那里。但是当我尝试了好几次之后,还是效果不好,总是会出各种问题。思前想后终于想到一种方法,把exit函数的内容改成ret,这样就不会退出了。调试到00401E79,这回终于还原成功了!

来到函数00401E79

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
.text:00401E81 mov     eax, offset loc_401E88          ; Keypatch modified this from:
.text:00401E81                                         ;   mov eax, offset loc_401E88
.text:00401E81                                         ; Keypatch padded NOP to next boundary: 3 bytes
.text:00401E86 jmp     eax
.text:00401E88 ; ----------------------------------------------------------------------
.text:00401E88
.text:00401E88 loc_401E88:                             ; CODE XREF: sub_401E79+8↑j
.text:00401E88 mov     [ebp+var_C], 0
.text:00401E8F
.text:00401E8F loc_401E8F:                             ; CODE XREF: sub_401E79+6E↓j
.text:00401E8F cmp     [ebp+var_C], 23h

这里有jmp eax,在动调中ida不能很好的分析函数,手动把00401E81改成jmp , offset loc_401E88,这样就可以f5了,可以分析这个加密函数了。加密的方式特别简单,直接写出脚本解密。像之前那一段一样,对比下标解出后一段flag。

脚本:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
from numpy import*
from Crypto.Cipher import DES

subscript1=[0,1,14,12,17,18,19,27,28,2,15,20,31,29,30,16,13,5]
subscript2=[19,18,5,7,17,1,0,20,6,29,28,27,15,16,4,3,2,32]
A=[[0x17,0x41,0x18,0x4E,0x2B,0x38],[0x3B,0x43,0x15,0x2B,0x2D,0x4C],[0x17,0x36,0x4C,0x0C,0x41,0x2B],[0x59,0x28,0x20,0x43,0x49,0x39],[0x17,0x2D,0x1F,0x36,0x1F,0x34],[0x0D,0x18,0x36,0x41,0x22,0x18]]
B=[[0x0AA92,0x0C006,0x0A815,0x0C920,0x0D095,0x0CAD1],[0x7004,0x9B3C,0x68A1,0x0A2C1,0x8B5B,0x9EB5],[0x7E37,0x7AA2,0x4F95,0x0A344,0x82AC,0x8C00],[0x432B,0x71F7,0x732D,0x6E76,0x70A1,0x6F34],[0x0B465,0x0E401,0x0AF37,0x0DAD2,0x0DF89,0x0ECFA],[0x657D,0x6838,0x5FCE,0x977C,0x71F4,0x759E]]
cipher1=''
cipher2=[0x7C,0x81,0x61,0x99,0x67,0x9B,0x14,0xEA,0x68,0x87,0x10,0xEC,0x16,0xF9,0x07,0xF2,0x0F,0xF3,0x03,0xF4,0x33,0xCF,0x27,0xC6,0x26,0xC3,0x3D,0xD0,0x2C,0xD2,0x23,0xDE,0x28,0xD1,0x01,0xE6]

mA=matrix(A)
mB=matrix(B)
mX=mB*mA.I
X=matrix.tolist(mX)
for i in range(6):
    for j in range(6):
        X[i][j]=int(round(X[i][j]))
        cipher1+=hex(X[i][j])[2:].zfill(2)
cipher1+='733CF57C'
cipher1=cipher1.decode('hex')
key='fa1conn\x00'
des = DES.new(key, DES.MODE_ECB)
plain1=des.decrypt(cipher1)
print(plain1)

plain2=''
for i in range(36):
    for j in [0,2,4,6]:
        cipher2[i] ^= 1 << (j + i % 2)
    plain2+=chr(cipher2[i])

flag=''
for i in range(len(subscript1)):
    flag+=plain1[subscript1[i]]
print(flag)
for i in range(18):
    flag+=plain2[subscript2[i]]
print(flag)

easyvm

vm题。

首先在603080可以看到三段bytecode,每个指令是一个qword。在sub_4009D2执行三段bytecode。401722完成了对寄存器的初始化。分析这个初始化函数可以得到此vm的寄存器结构:

1
2
3
4
5
6
7
8
9
00000000 vm              struc ; (sizeof=0xCC8, mappedto_8)
00000000 reg             dq 4 dup(?)
00000020 eflag           dq ?                    ; __int64
00000028 myeip           dq ?                    ; _QWORD * 
00000030 input           dq ?                    ; char *
00000038 stackbase       dq ?                    ; _QWORD *
00000040 stackpoint      dq ?                    ; _QWORD *
00000048 stack           dq 400 dup(?)
00000CC8 vm              ends

分析清结构体,接下来的操作函数401502也更加清晰了。逐条对bytecode分析,最终可以得出程序的目的:

bytecode分析参考

1.计算输入长度,校验是否等于0x1C

2.将输入的每一位ch进行如下操作:

​ ch=((ch*0x3f)+0x78)%0x80

3.与常量校验。

加密的算法很简单,写脚本爆破flag即可。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
a=[0x3E,0x1A,0x56,0x0D,0x52,0x13,0x58,0x5A,0x6E,0x5C,0x0F,0x5A,0x46,0x07,0x09,0x52,0x25,0x5C,0x4C,0x0A,0x0A,0x56,0x33,0x40,0x15,0x07,0x58,0x0F]
a.reverse()
b=[]
for i in range(28):
    b.append(0)
    for j in range(0x7F):
        if ((j *0x3f)+0x7B)%0x80==a[i]:
            b[i]=j
s=''
for i in range(28):
    s+=chr(b[i])
print(s)

enigma

根据题目,这题的算法应该跟enigma类似。enigma是二战时期纳粹德国使用的一种密码。

用ida打开,跟着输入进入sub_4730。然而先后看了几个函数,发现都在跟一些变量比对,变量的来源不明,静态分析卡住了,上动调。

动态调试的时候,不难分析出sub_4730中的第一个函数sub_4320是判定输入是否位大写字母。与此同时也能看出,这是用C++写出来的。中途我们能看出它的虚表结构。尝试正面刚它的算法的话肯定十分痛苦,想想其他方法。

在此之前先看看最后校验的地方。很快能发现:

if ( n != qword_94A8 || n && memcmp(s1, s2, n) )

这里的n应该是输入的长度,s1和s2是密文对比。设下断点,调试过去果真如此,得到长度15和密文DQYHTONIJLYNDLA

我们思考一下enigma的算法。查询资料可以知道这是一种流密码。这种密码一次以一个元素(一个字母,或是说一个字节)作为基本单元。而enigma加密的时候后面的每一位不会对之前加密的结果有任何影响,每输入一个字符,立刻就有一个字符输出。比如输入A,输出A,不管后面再跟什么,这个A都不会有改变。这就意味着如果想爆破这个密码,只需要15*26次,而不是15的26次方次。只要我们能随时得到密文的输出,就能轻易地爆破了。

在结尾附近找找,哪里适合修改。我们不妨在比较错误的地方直接让他输出加密得到的密文。来到地址00000000000027FD,这里输出了常量You have,我们想把它改成密文s1; // [rsp+B0h] [rbp-88h],然而密文是在栈上的,直接改的话会多一个字节的长度。(lea rdi, aYouHave为7个字节,lea rdi, [rsp+138h+s1]为八个字节)不过问题不大,连带上面一个jz改掉就够了,这样同时比对完长度直接就会输出密文,效果更好。打好补丁放到linux运行一下,可以看到直接输出了密文。

接下来可以爆破明文了。手动爆破是不可能手动的,这辈子都不可能手动的。用pwntools可以轻松帮我们搞定。脚本如下:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
from pwn import *

plain='DQYHTONIJLYNDLA'
flag = ''
context.log_level = 'warn'
for i in range(15):
    for ch in 'QWERRTYUIOPASDFGHJKLZXCVBNM':
        p=process('./enigma')
        p.sendline(flag+ch)
        t=p.recvline(False)
        p.close()
        if t==plain[0:i+1]:
            flag+=ch
            break
    print(flag)

maze

在做了enigma之后,又想用同样的方法了呢= =

先看看这题的加密方法,相似的,修改文件内容使之直接输出密文。

先调试一圈下来,在38B1发现了合适的修改点:

1
2
3
4
5
.text:00000000000038B1                 lea     rdi, [rbp+var_60] ; a1
.text:00000000000038B5                 nop
.text:00000000000038B6                 nop
.text:00000000000038B7                 nop
.text:00000000000038B8                 call    sub_34AA

这样程序就会直接输出密文。多试几次能发现规律,后面的输入不会影响前面的2*i+2位

于是:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
from pwn import *

context.log_level = "warn"

cipher = "IQURUEURYEU#WRTYIPUYRTI!WTYTE!WOR%Y$W#RPUEYQQ^EE"
flag = ""
for i in range(len(cipher)/2):
    for j in range(0x21,0x7F):
        ch=chr(j)
        p=process('./maze_p')
        p.recvline()
        p.sendline((flag+ch).ljust(24,'a'))
        t=p.recvline(False)
        p.close()
        if t.startswith(cipher[:2*i+2]):
            flag+=ch
            break
        elif t.startswith('OK, '):
            flag+=ch
            break
    print(flag)

MSP430

拿到手是一个接线图,一个hex文件,一个hex转成elf的.out,一个输出的内容图片

出题人已经告诉我们了单片机型好MSP430G2553。用ida打开lctf.out,在processor type中选择MSP430,就可以反汇编了。但是ida对msp430的分析优化不足,有些东西会缺失(也可能是hex转成的elf出了问题),只能连蒙带猜的做。

先去找一份msp430的指令集,对着指令集看汇编。

函数名和一些全局变量名都保留了,还是有突破口的,现在函数名内浏览一遍,发现了RC4 keygen main 等函数,大概猜到用的是RC4。先从main函数开始看。先call keygen函数,参数是全局变量key的地址(R12),这里应该是key初始化的函数。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
.text:0000C296 keygen:                                 ; CODE XREF: main+2C↑p
.text:0000C296                                         ; DATA XREF: main+2C↑o
.text:0000C296                 and.b   #0C0h, &2Ah
.text:0000C29C                 bis.b   #3Fh, &2Fh
.text:0000C2A2                 mov.b   &28h, R15
.text:0000C2A6                 mov.b   R15, R13
.text:0000C2A8                 mov.w   R13, R14
.text:0000C2AA                 rla.w   R14
.text:0000C2AC                 add.w   R14, R13
.text:0000C2AE                 mov.b   R13, 4(R12)
.text:0000C2B2                 mov.w   R15, R14
.text:0000C2B4                 rla.b   R14
.text:0000C2B6                 mov.b   R14, 5(R12)
.text:0000C2BA                 mov.w   R15, R14
.text:0000C2BC                 and.b   #74h, R14
.text:0000C2C0                 rla.b   R14
.text:0000C2C2                 mov.b   R14, 6(R12)
.text:0000C2C6                 add.b   #50h, R15
.text:0000C2CA                 mov.b   R15, 7(R12)
.text:0000C2CE                 ret

分析这个keygen函数,先把一个0x28地址的内容放到R15,我猜这里是出了问题的,所以并不知道地址里放了什么东西,假设这个数据为i,后面几句就比较清晰了,key[4]=i*3, key[5]=i*2,key[6]=i&0x74,key[7]=i+0x50;这里只得到了后四位key,剩下的部分暂时不知道。

接下来回到main继续。在RC4_code的参数中有8,猜测是key的长度。找一下字符串,看到只有0123456789abcdefLCTF0000这个字符串,最后四位都是0,感觉是把之前的四位填进去了,所以猜测key是LCTFxxxx。后四位都是从一个byte数据得到的,所以可以尝试爆key。脚本如下:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
from Crypto.Cipher import ARC4

cipher = "2db7b1a0bda4772d11f04412e96e037c370be773cd982cb03bc1eade".decode("hex")
for i in xrange(0x100):
    k4 = (i * 3) & 0xFF
    k5 = (i * 2) & 0xFF
    k6 = ((i & 0x74) * 2) & 0xFF
    k7 = (i + 0x50) & 0xFF
    key = "LCTF" + chr(k4) + chr(k5) + chr(k6) + chr(k7)
    arc4 = ARC4.new(key)
    plain = arc4.decrypt(cipher)
    if(plain.find("CTF") != -1):
        print(plain)

直接可以得到flag,也是比较幸运

game

打开后是一个游戏,提示说赢了就能得到flag,直接在判定输赢的地方设断点,直接跳到赢就可以得到falg了

000000000040248F改成jmp

00000000004024B2nop掉

00000000004024C2nop掉

然后打开游戏按个空格就有flag了= =

b2w

解压出来是一个elf程序,一个out.wav文件。

用ida打开,进入main函数。整个程序是在把一堆bmp文件和合成为一个wav文件。sub_401C6D时最终写入wav文件的部分。这里先看到一串长得像flag的东西,但它的提示说这并不是flag。可以看到他依次写入了一些文件头和wav的数据。写完之后有干了点额外的事情——把文件加密。

1
2
3
4
5
6
7
8
9
for ( i = 0; a1->lenth > i; ++i )
    {
      for ( j = 0; a1->channel > j; ++j )
      {
        a1->p[j]->data[i] ^= 0x101 * key[n % len];
        fwrite(&a1->p[j]->data[i], 2uLL, 1uLL, s);
        n += key[n % len];
      }
    }

可以看到它的加密是用一些很简单的异或实现的。异或的key就是之前的假flag。查一些资料可以知道,wav的声音文件是可以转成图像的,类似示波器,李萨如图形等。很有可能未被加密的wav文件里面就藏有flag的信息。先写脚本将原本的wav还原:(python2脚本)

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
from struct import unpack
f = open("./out.wav", "rb")
header = f.read(0xC)
fmt = f.read(0x18)
data = f.read(0x8)
buf = f.read()
f.close()

chennel=2
rate = 48000
lenth = 90000

key = bytearray("LCTF{LcTF_1s_S0Oo0Oo_c0o1_6uT_tH1S_iS_n0t_fL4g}")
ln =len(key)
temp=bytearray(buf)

n=0
for i in range(lenth*chennel):
    m=key[n%ln]
    temp[2*i]^=m
    temp[2*i+1]^=m
    n+=m

buf = str(temp)
f = open("./dec.wav", "wb")
f.write(header + fmt + data + buf)
f.close()

得到的dec.wav用GoldWave打开,然后在图像区域右键选择X-Y模式,可清晰的看到(:

gif

这里的字符是上下左右颠倒的,不过都是大写字母很容易识别,用肉眼看就可以了。Goldwave软件里可以调整速度,也可以反复看某一段。注意别漏了下划线。

评论