1、题目简介

“欢迎来到西部乐园！”
一提起乐园，我很自然的就想到摩天轮、刺激的过山车还有大摆锤之类的游乐设施。
然而我眼前是怎么回事？一个高仿真的机器人来到我身边，引领我选择剧本。
这不是我看过的HBO科幻剧《西部世界》嘛，为什么会出现在这里？这个高科技成人乐园又是怎么回事？
接着我被投入到西部世界里，好巧不巧，同行的人居然是上次在折叠空间遇到的奥恩。
在这里每一项都不仅仅是游戏，也是挑战和试炼。我以为自己不会死，但看到那些真枪实弹，
心底的恐惧油然而生，我开始惊慌。
奥恩看了看我说：“这次还是一起出去吧！”
我突然平静下来，熟知这部剧的我深知一个道理：
唯有战胜恐惧之人，才能成为最顶尖的强者，立于这虚幻世界的顶点。

攻破此题的战队排名一览：

本道题除了大众队和晋级战队破解之外，防守方战队Archaia中的KuCha128作为场外选手也勇于尝试，最终破解赛题。

接下来我们一起来看一下这道题的点评和详细解析吧。

2、看雪评委crownless点评

这是一道驱动题，涉及到ring0-ring3的代码加解密和注入，没有反调试，因此很容易写出解密算法。

3、出题团队简介

本题出题战队战神伽罗：

野生程序猿，临床医学专业转行，现在北京某网络安全研究院工作，研究分析内核，对黑科技以及产品架构有很大兴趣，在编写分析内核的同时设计出一款恶意代码分析神器，适合安服和cert人员使用，欢迎找我索取内测版，KCTF中的战神伽罗系列题目某种程度上反应了本猿平时的工作特征，本系列赛题将会和你一起不断进化，成长，欢迎继续关注，感谢看雪！感谢有你参与！

4、设计思路

这是一道驱动题，在ring3将代码加密后注入ring0进行解密，解密后再由ring0将代码注入到ring3弹出对话框。没有反调试，非常简单。

程序在win10x64下开发并测试通过。

解密方法，根据静态编译，就可以看到我的加密方法其实就是一个环形加密，而且静态代码里面可以看到密码限制在90000-96000之间，根据解密算法，很容易写出一个算法将ring3的代码直接投进去，发现到达91024的时候显示有OK两个ascii码，即解密成功。

5、解题思路

本题解题思路由AceHub战队的chenzhuoru提供：

试运行

拿到题目，果然如题目描述一样，有一个64位驱动。

直接运行，起来一个控制台，提示输入pass word。

初步分析

程序上来让用户输入%d，看架势范围在[90000,96000]之间。

然后注册和启动服务，调用其中的IoCtr。

整个启动器都没有其他地方提示MessageBox或者Print Ok的地方。

我们找到驱动中0x222041的IoCtr的位置：

可以看出在这个Routine里对启动器传入的数据进行了变换作为shellcode，如果变换后符合要求会通过Apc注入执行shellcode，否则就会打印wrong并清理驱动。

回到IoCtr中传递shellcode的地方1400060B0一开始也是有效代码，直到140006151开始一些随机数据，并在前半段有效代码中call eax执行到这个随机数据区域。

那么这些区域的数据就是在驱动中变换回shell的。

def decode(buf, chunk, looptime):
    newbuf = buf[::]
    idx = looptime - 1
    while idx >= 0:
        idx_chunk = idx % chunk
        add1 = newbuf[idx_chunk - 1]
        if idx_chunk == chunk - 1:
            add2 = newbuf[idx_chunk] * 256 + newbuf[0]
        else:
            add2 = newbuf[idx_chunk + 1] * 256 + newbuf[idx_chunk]
        sumup = add1 + add2
        newbuf[idx_chunk] = (sumup >> 8) & 0xff
        if idx_chunk == chunk - 1:
            newbuf[0] = sumup & 0xff
        else:
            newbuf[idx_chunk + 1] = sumup & 0xff
        idx -= 1
    return newbuf
 
 
buf231 = [0xEB, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x55, 0x48, 0x8B, 0xEC, 0xE8, 0x01,
0x00, 0x00, 0x00, 0x90, 0x48, 0x8B, 0xC4, 0x48, 0xC7, 0xC1, 0x10, 0x00, 0x00, 0x00, 0x48, 0x33,
0xD2, 0x48, 0xF7, 0xF1, 0x83, 0xFA, 0x00, 0x75, 0x17, 0x48, 0x8B, 0x04, 0x24, 0x48, 0x89, 0x44,
0x24, 0xF8, 0x48, 0x8B, 0x44, 0x24, 0x08, 0x48, 0x89, 0x04, 0x24, 0x48, 0x8D, 0x64, 0x24, 0xF8,
0x48, 0x8B, 0x0C, 0x24, 0x48, 0x8B, 0x51, 0xDF, 0x48, 0x83, 0xFA, 0x00, 0x74, 0x04, 0x48, 0x89,
0x55, 0x08, 0x48, 0x8B, 0x51, 0xE7, 0x48, 0x83, 0xFA, 0x00, 0x48, 0xBA, 0x2D, 0x7F, 0x6C, 0x43,
0xF6, 0x7F, 0x00, 0x00, 0x48, 0xB8, 0xCE, 0x7F, 0x6C, 0x43, 0xF6, 0x7F, 0x00, 0x00, 0x9C, 0x48,
0x2B, 0xC2, 0x9D, 0x74, 0x17, 0x48, 0x8D, 0x51, 0xDD, 0x48, 0x8D, 0x14, 0x10, 0x48, 0x8B, 0x41,
0xE7, 0x48, 0x8D, 0x04, 0x10, 0x48, 0x8B, 0x49, 0xEF, 0x51, 0xFF, 0xD0, 0x48, 0x8B, 0xE5, 0x5D,
0xC3, 0x00, 0x00, 0x00, 0x00, 0xE8, 0x59, 0x0D, 0x6D, 0x80, 0x3C, 0xA2, 0x78, 0x15, 0x87, 0x16,
0x16, 0x07, 0x26, 0x68, 0x55, 0x7F, 0x12, 0xF1, 0xEF, 0xF9, 0xA1, 0x9C, 0xE8, 0xEA, 0x9C, 0x90,
0xF4, 0x9F, 0x3A, 0xA8, 0x8C, 0x27, 0x47, 0x79, 0xF6, 0xDC, 0x20, 0x7F, 0x86, 0xED, 0x34, 0x7E,
0xF7, 0x1C, 0x55, 0x6B, 0xF6, 0xEF, 0xF2, 0x2A, 0x7A, 0xF0, 0x44, 0x50, 0x8A, 0x9B, 0xE1, 0xC4,
0xE1, 0x45, 0x90, 0x2B, 0x0E, 0xCF, 0xAF]
 
v10 = 0xa1
 
for inputnum in range(90000, 96001):
    checkcode = 263 - v10 - 36
    newbuf = decode(buf231[4+v10:], checkcode, inputnum)
    if newbuf[0] == checkcode and newbuf[1] == 0 and newbuf[2] == 0 and newbuf[3] == 0:
        print 'key', inputnum

解码到key = 91024。

对应的shellcode解码后提示OK。