OGeek CTF 2019 线下决赛 pwn 题解
TOC
第一次参加线下赛,感觉还是很不错的,就是自己太菜了。从比赛中也发现了自己的一些缺点,比如做题的速度太慢了(菜鸟的特性),还好这次比赛防御方也能拿到很高的分,这才没有拖队友后腿。
源程序下载,修复后的程序也在链接中:ogeekctf2019_final.zip。
ovm
一个模拟的虚拟机,难度比byte ctf 2019 的 ezarch
要小,溢出点主要是对于reg
、memory
和stack
的偏移没有限制,使得其可以向上,或者向下溢出。
虽然可以溢出,但是由于偏移的变量是int
型,所以下溢是基本没有什么用的,因为libc
和程序基地址的差比这个大多了,所以只能采取向上溢出的策略,读取got表地址,然后利用虚拟程序的特性进行加减偏移,从而劫持comment
变量,使其指向hook,在最后的sendcomment
中会直接触发hook。
这里我刚开始的犯了一个错误,我是直接用IDA
反汇编进行查看的,看到的index
是_DWORD
类型的,所以我就下意识的以为index
是属于unsigned int
型变量,所以以为是不可能发生上溢的情况的,直到我直接看汇编代码才发现,index
是有符号位扩展指令的(movsxd
),所以index
的类型应该是int
型。这里我的失误是太依赖于工具了。如果直接看汇编代码就能一眼看出其类型。
下面我总结了程序中的上溢读和上溢写。
下面是上溢读代码:
;// reg[three_byte] = memory[reg[one_byte]]; |
第二处:
;// reg[three_byte] = stack[--reg[13]]; // stack |
上面的代码可以先通过下溢修改reg[13]
的值,然后在进行符号位扩展。这样也能像memory
一样实现上溢。
下面是上溢写的代码:
;// memory[reg[one_byte]] = reg[three_byte]; |
第二处:
这里的利用方式和第二种上溢读的原理一样。
;// v1 = reg[13]; |
上面这段汇编中,因为对index
进行了cdqe
符号位扩展,所以可以向上溢出。
综上所述,只要任意一个上溢读和上溢写结合,就能使得漏洞被利用。
利用脚本:
这里我只写了最为简单的一种利用方式。
#!/usr/bin/python2 |
修复
要修复也比较简单,只要去掉程序的符号位扩展指令就行了,这样程序就无论如何都无法上溢了,但是有一点要特别注意,一定要修复完全,不然就可能被利用其它的漏洞组合打通,修改下溢漏洞是很困难的,而且根本没有必要,所以可以直接不管。
rpc
这题在比赛时,我并没有写出来,但是这题应该只有两个后门漏洞,而且挺明显的,通过查找危险函数就能发现其不对劲,由于并不存在较深的逻辑漏洞,所以这题也守住了。
预置后门:
void __fastcall back_door(int a1) |
这个后门可以直接nop
掉popen
函数,比赛中我直接把这个函数改成了exit
,因为check并不会去检查后门,所以这样做是没问题的。
另一个后门::
__int64 __fastcall sub_1AEC(signed int *a1) |
明显的栈溢出,读取的长度用户可控,修复的方法就直接将第三个参数改成0x48
就行,这样就溢不到栈上了。
赛后复现
一个模拟通信协议的程序,其难点在于了解其协议,比赛结束后,我花了很多时间研究该程序,问了很多师傅们,这里要感谢丁佬
的指点。
分析程序的时候,我发现了一个现象,这个现象应该是大部分人开发时都会有的,就是设置的变量都是有意义的,这样就会让我们对变量重复使用,然后我们就可以利用该行为通过其重复使用的代码段一起来分析该变量的具体作用,这样能帮助我们更好地理解程序的行为。一般应对这样的情况,最好的办法就是多自己改变量名,让其从一些无意义的变量名中区分出来。
接下来就是如何解题。
经过丁佬
提示,发现这题使用的是ciscn2018
的出题模板,该题就是由下面的程序改编而来的。
这个模板也是出自丁佬
之手。
通过分析代码,就能发现函数中的类的虚指针表中,有一个写指针的函数和一个读指针内容的函数,联合起来就能任意地址读,这样的话就能利用上面的两个后门。
思路
我使用的是第一个后门,首先将利用虚指针表中的函数在数组中写入malloc
出的地址,将其利用sprintf
泄露出来,然后就能计算出heap
基地址。
之后利用heap
基地址偏移找到class的虚函数指针,并泄露出来,通过该指针就能计算出程序基地址。
然后在泄露出陈旭一开始读取的随机字符串,通过解密函数还原就能得到通过后门的key
,这样就能利用popen
执行任意代码了。
利用脚本:
#!/usr/bin/python2 |