-
-
[原创]CTF2018第十四题分析(qwertyaa)
-
发表于: 2018-7-13 15:45 3726
-
好像这次比赛5道pwn题,除了第一道都可以用house_of_orange中修改_IO_FILE
的方法做... ...
这个程序是个扫雷小游戏,可以提反馈。
这里面主要有unk_204018
是struct
,根据其内存中的先后顺序,可依次将变量命名为step
(指针,指向一个用于显示步数指针),played
(是否玩过),cnt
(指向一个8×8数组,每次标记是否为地雷都会在对应位加减1),isWin
(表示当前是否胜利),hasMine
(指向一个8×8数组,描述对应位置是否有雷),name
(指针,指向一个长度0x10的用于记录获胜者名字的指针)。
程序中除了说明中有的'0'
、'1'
用于标记是否为地雷外还有'2'
、'3'
开启/关闭每次操作后步数+1。
且进入游戏后有三种操作"explore"
(输入说明中的x、y、z
)、"back"
(返回主菜单)、"out"
(退出游戏)。
如下文所述,由于没有自动补上'\0'
,所以上述操作最好在末尾加上一个空格保证正确。
首先我们可以发现反馈处是这么写的:
话说这个逻辑就是传说中的<a onclick="alert('清理完成!')">清除缓存</a>
吗... ...
这里的size可以为任意大小,但是申请失败后readBuf
肯定不能读任何东西(不然程序马上退出了),不写的话最后free(0)
回到原点。
然后,readBuf
不会溢出,但使得内部的每一位都可写(包括最后一位,除了不能写字符'\n'
),且可以随时停止输入下一字节。
这里不会将输入内容的后一位赋值为0,但是程序中的输出似乎除了一处马上exit
的(输出的是step
)以外没有什么可以泄露基址信息的。
这里不少结构都有未初始化的毛病,比如在一开始我们反馈bug,把isWin
对应处改为非0值,接下来就可以使得逻辑运行到“请输入英雄的大名”处,不过这没什么用。
另外这题够损服务器的,除了任意malloc
可以使服务器内存所剩无几外,由于没有将hasMine
清零,通过一开始写一个较长的反馈或者三次进入、退出游戏就可以使服务器进入死循环狂吃CPU。(由于随机产生各处的是否有雷时,一旦一开始的hasMine
中为0处不足30个,程序就会认为始终没有随机出足够的雷而死循环。这里的随机算法不是怎么好,关于如何优化可以参见《算法导论》。)
这里的"out"
功能在free
后没有把指针置零,不过由于这个buffer不大,会进入fastbin,played
所在位置还是会保持为0,所以正常操作不会触发UAF,但是如果在一次out
后提交一个长度恰好为0x30(稍微小一点也可以)的bug,并且输入一定长度的内容覆盖掉free
后的played
数值,就可以造成UAF。
此外这题没有了前几题都有的alarm
,给了我们更多的时间进行攻击。
由于这道题似乎没法泄露任何一个地址,我们必须采用别的方法进行攻击。
首先在played
后的是cnt
,由于第一次进入游戏前堆没有被使用,这些malloc
获取的地址相对于堆的偏移是固定的,我们可以把cnt
的低位改成step
在堆中的位置(0x10
)。这样通过标记一个点为炸弹,我们可以调整step
所指向的地址。
而如果我们提交一个较大的反馈,申请这样的空间可以使得malloc
触发malloc_consolidate
,接下来step
指向的内容就会是libc里关于smallbins的一个指针了。
大概如下操作:
然后我们就可以通过标记炸弹来加减step
指针,通过"explore \n1,1,2,\n"
来加减指针对应的位置。这些改变都是对一个byte
而言的,所以我们可以把一个ptr
的改变拆分成对多个byte
的改变。
通过改变step
指针,和改变其指向的内容,我们几乎可以做到将libc的任意可写处的byte
值加/减一个特定数。
由于模意义下的加法满足消去律,所以定义x
为原来相对libc的偏移+x=改变后相对libc的偏移
,则libc基址的偏移+原来相对libc的偏移+x=libc基址的偏移+改变后相对libc的偏移
,但是跨byte
间的进位是做不到的,由于随机基址的十六进制下后3位都是0
,而相对基址的偏移一般不超过5位,所以基本上只有十六进制下倒数第5位(实际的第3个byte
)有进位问题。避免进位需要一开始随机基址的十六进制下倒数第四位不能是一些值才行,不过如果对指针的改变不大,这个影响就不大了。经实际测试,我的exp中由于_IO_FILE
结构体和main_arena
地址比较接近,所以攻击成功率还是挺大的。(当然由于要一个一个的加,攻击速度上较慢。)
我选择修改的是_IO_list_all
所指向的原始_IO_FILE
结构体(类似于house_of_orange),这里出于速度考虑,可以将原来的"/bin/sh\x00"
改成简单的"sh\x00"
,然后由于jump_table
指向的内容在data.rel.ro内,所以要直接改掉jump_table
,由于只能加减,必须要修改一处本身为libc基址的偏移+特定值
的地方作为新的jump_table
,我选择修改的是__realloc_hook
。(由于一次运行后__malloc_hook
已经被置空,我又不会在这题里leaking address,所以不能简单地通过修改__malloc_hook
来getshell)。
然后,输入"out "
使程序调用free
函数用以触发double free异常来getshell。接下来就可以得到flag(flag{07bcb1e4f10d6274092efdb0b2cdcfba9}
)。
完整exp如下:
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入!