
前言

赛博杯已经办了第五届了,已经是老传统了,去年也是das月赛的形式。遥想去年赛博杯的时候,俺只做了一道misc的签到题。没想到菜鸡如我,居然能在进战队半个年后承接PWN题的出题任务。由于还要校内招新,加上堆题不太想出house(感觉没必要太卷glibc),所以整体难度不太难。但基本是一题出了一两天,揉合了学pwn一年以来见过的比较好玩的利用手法,也算是自己出的很开心,希望大家在复盘的时候也玩的开心~
appetizer
碎碎念
本来是把这题当作签到题的,没想到cyberprinter被非预期了。。。。导致难度下降很多被秒了,导致这题成了第二解的最多的
出题思路
考察大家对栈帧的理解,设置了一个栈帧复用:

在func函数栈帧的读入,能被check函数复用从而绕过里面对栈上变量值的检查
同样考察和栈有关,函数调用时候rsp的值会减少,这里故意设置给的bss段的地址非常接近bssbase:


如果栈迁移到这里,不抬栈的话,可能会导致后续的ROP调用函数的时候减少rsp,访问“白色”(指gdb里白色的没有w权限的)内存
而后的利用就是非常简单的ret2csu ORW打印flag了
题目改进
聪明的师傅其实发现我的沙箱这里没有对架构的检测:

所以可以通过retf切换到x86_32,先mmap出一段32位下可用内存(4字节),然后调用32位的execve(32位下和64位的execve的系统调用号不一样)
但这么做太复杂了。。。但如果我把orw ban了,只给mmap呢?大抵只能这么做了,但是这样就太阴间了。。。
cyberprinter
碎碎念
由于话太多导致的非预期。。。。
出题思路
先说说预期解,预期是fmt改exit里面的这里:

但是由于我们程序最后是_exit结束的,所以还需要一个ret再次返回到vuln函数,返回同样可以通过fmt修改:

但是,怎么就非预期了呢?答,printf()后接了一个puts:

由于puts函数在调用的时候有一个这个东西:

而这个玩意是有点类似elf的plt的,内部也会跳转到got:

可以改这个为one_gadget,直接getshell
当时都没注意,写那个东西纯纯为了增加题目的故事性。。。
题目改进
把printf后面的puts去掉
bar
碎碎念
受8月份打的巅峰极客的影响,当时想的就是切割堆块,使得tcache里面有个堆块的fd指针为UB的main_arena,然后改成free_hook。但当时完全是想错了。。于是就保留了这个思路用到自己出的题上
出题思路
其实就是一个非常经典的利用——填满tcache,然后继续放进UB合并先后放入的chunk1,chunk2(2位于高地址),取走tcache一个堆块,double free chunk2放入tcache,这样就能获得一块既在UB里面,又在tcache里面的堆块了,然后切割合并的堆块就能在没有edit的情况下,修改tcache chunk的fd指针为libc地址
题目改进
感觉挺有意思的中等题,应该不太需要改了hhh
什么,提高难度?加house?加高版本?
有几斤小马珍珠敢这么出题?
cgrasstring
碎碎念
排除了house,堆题只能选择结构体或者C++,但感觉结构体以俺的渣渣数据结构,也弄不出来XCTF R-tree那么猛的题,所以就搞搞简单的C++。参考参考了chuj学长给Hgame2022 week4出的verctor题,然后自己去研究研究了很久C++的STL容器,一开始想的是map,但是没研究出啥可以出题的漏洞。于是就把眼光放在了string类上面
出题思路
c++的string类的resize非常类似realloc函数,当resize是扩大当前string时,会delet掉原来的string,然后新建一个。
题目设置了一个char类型的指针数组,存储了string类begin迭代器的值(设置可能不太严谨,效果其实是为了保存string类似字符数组的指针,然后用来赋值):

对于resize,如果触发扩容的delet,我们并没有修改point上的残留指针,就会存在UAF,通过这个UAF进行正常的2.27的tcache attack就行了
题目改进
其实笔者在出这道题的时候对c++的类的研究并不是很深入,题目设置还是有不严谨的地方,比如获取string类的类似字符数组的指针的东西,c++好像是有专门的函数的,但是当时并不知道
尾声
这次出题也是对个人能力的一次锻炼吧,堆题可能止步于此了,而且最近打比赛几乎很少能看见堆题,大多都是考察异构pwn或者其它一些更深入、复杂的东西,希望以后学习过后能出这类的题