作者:手机用户2502927451 | 来源:互联网 | 2023-09-16 11:10
0x00 前言上一篇分析了tp 5.2.x的反序列化利用链挖掘,顺着思路,把tp6.0.x也挖了。有类似的地方,也有需要重新挖掘的地方。 0x01 环境准备采用composer安装6.0.*-dev
0x00 前言
上一篇分析了tp 5.2.x的反序列化利用链挖掘,顺着思路,把tp6.0.x也挖了。有类似的地方,也有需要重新挖掘的地方。
0x01 环境准备
采用composer安装6.0.*-dev版本
composer create-project topthink/think=6.0.x-dev v6.0
0x02 利用链分析
背景回顾
拿到v6.0.x版本,简单的看了一下,有一个好消息和一个坏消息。
好消息是5.2.x版本函数动态调用的反序列化链后半部分,还可以利用。
坏消息是前面5.1.x,5.2.x版本都基于触发点Windows类的__destruct,好巧不巧的是6.0.x版本取消了Windows类。这意味着我们得重新找一个合适的起始触发点,才能继续使用上面的好消息。
vendor/topthink/think-orm/src/Model.php 新起始触发点
为了节省篇幅,后文不再重复介绍触发__toString函数后的利用链,这部分同5.2.x版本相同(不过wonderkun师傅的利用链已失效,动态函数调用的利用链还能用)。
通常最好的反序列化起始点为__destruct、__wakeup,因为这两个函数的调用在反序列化过程中都会自动调用,所以我们先来找此类函数。这里我找了vendor/topthink/think-orm/src/Model.php的__destruct函数。
public function __destruct()
{
if ($this->lazySave) {// 构造lazySave为true,进入save函数
$this->save();
}
}
public function save(array $data = [], string $sequence = null): bool
{
// ...
if ($this->isEmpty() || false === $this->trigger('BeforeWrite')) {
return false;
}
$result = $this->exists ? $this->updateData() : $this->insertData($sequence);
// ...
}
首先构造lazySave的值为true,从而进入save函数。
这次触发点位于updateData函数内,为了防止前面的条件符合,而直接return,我们首先需要构造相关参数
public function isEmpty(): bool
{
return empty($this->data);
}
protected function trigger(string $event): bool
{
if (!$this->withEvent) {
return true;
}
// ...
其中需保证isEmpty返回false,以及$this->trigger(‘BeforeWrite’)返回true
- 构造$this->data为非空数组
- 构造$this->withEvent为false
- 构造$this->exists为true
从而进入我们需要的updateData函数,来看一下该函数内容
protected function updateData(): bool
{
// 事件回调
if (false === $this->trigger('BeforeUpdate')) {// 此处前面已符合条件
return false;
}
// ...
// 获取有更新的数据
$data = $this->getChangedData();
if (empty($data)) {
// 关联更新
if (!empty($this->relationWrite)) {
$this->autoRelationUpdate();
}
return true;
}
// ...
// 检查允许字段
$allowFields = $this->checkAllowFields(); // 触发__toString
同样的,为了防止提前return,需要符合$data非空,来看一下getChangedData
public function getChangedData(): array
{
$data = $this->force ? $this->data : array_udiff_assoc($this->data, $this->origin, function ($a, $b) {
if ((empty($a) || empty($b)) && $a !== $b) {
return 1;
}
return is_object($a) || $a != $b ? 1 : 0;
});
// ...
return $data;
}
这里我们可以强行置$this->force为true,直接返回我们前面构造的非空$this->data
这样,我们就成功到了调用checkAllowFields的位置
protected function checkAllowFields(): array
{
// 检测字段
if (empty($this->field)) {
if (!empty($this->schema)) {
$this->field = array_keys(array_merge($this->schema, $this->jsonType));
} else {
$query = $this->db();// 最终的触发__toString的函数
$table = $this->table ? $this->table . $this->suffix : $query->getTable();
$this->field = $query->getConnection()->getTableFields($table);
}
return $this->field;
}
// ...
}
同样,为了到$this->db()函数的调用,需要
- 构造$this->field为空
- 构造$this->schema为空
其实这两个地方不需要构造,默认都为空
最终,我们终于到了可以触发__toString的位置
public function db($scope = []): Query
{
/** @var Query $query */
$query = self::$db->connect($this->connection)
->name($this->name . $this->suffix)// toString
->pk($this->pk);
看到熟悉的字符串拼接了嘛!!!
不过为了达到该出拼接,我们还是得首先满足connect函数的调用。此处代码就不说了,置$this->connection为mysql即可。接下来,不管是设$this->name还是$this->suffix为最终的触发__toString的对象,都会有同样的效果。
后续的思路,就是原来vendor/topthink/think-orm/src/model/concern/Conversion.php的__toString开始的利用链,不在叙述。
我把exp集成到了phpggc上,使用如下命令即可生成
./phpggc -u ThinkPHP/RCE2 'phpinfo();'
这里由于用到了SerializableClosure,需要使用编码器编码,不可直接输出拷贝利用。