Smarty <= 3.1.32 代码执行漏洞分析—【CVE-2017-1000480】
先知安全技术社区独家发文，如需转载，请先联系社区授权；未经授权请勿转载。
Smarty简介
Smarty是一个php模板引擎，其项目地址：https://github.com/smarty-php/smarty。
smarty据有模板编译功能。当访问一个模板文件时，smarty会根据模板文件在设置的编译目录中生成对应的php脚本（即编译文件），此后若再次访问该模板文件时，倘若模板文件未更新，则smarty会直接读取第一次生成的php脚本，而不是重新生成另一个。倘若访问另一个模板，则会生成另一个新的php脚本（编译文件）
环境搭建
测试环境：Linux
根据commit信息，我们检出 6768340，此时漏洞还未修复。
λ git clone https://github.com/smarty-php/smarty.git
λ cd smarty\
λ git checkout 6768340
λ cd ..index.php:
<?php
include_once('./smarty/libs/Smarty.class.php');
define('SMARTY_COMPILE_DIR','/tmp/templates_c');
define('SMARTY_CACHE_DIR','/tmp/cache');
class test extends Smarty_Resource_Custom
{
protected function fetch($name,&$source,&$mtime)
{
$template = "CVE-2017-1000480 smarty PHP code injection";
$source = $template;
$mtime = time();
}
}
$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->modifiers = array();
$smarty->enableSecurity($my_security_policy);
$smarty->setCacheDir(SMARTY_CACHE_DIR);
$smarty->setCompileDir(SMARTY_COMPILE_DIR);
$smarty->registerResource('test',new test);
$smarty->display('test:'.$_GET['chybeta']);
?>漏洞分析
参数通过$smarty->display('test:'.$_GET['chybeta']);传入，display定义在 smarty_internal_templatebase.php 中，它调用了 _execute。
_execute定义在libs\sysplugins\smarty_internal_compile_assign.phpsmarty_internal_templatebase.php 的 156 行左右，在该方法定义中，也即整个文件的174行左右：
# smarty_internal_templatebase.php
# line about 175
$template = $smarty->createTemplate($template, $cache_id, $compile_id, $parent ? $parent : $this, false);会调用createTemplate方法，将我们的传入的参数创建成一个模板，
接着会调用render方法，进行模板渲染。
# smarty_internal_templatebase.php
# line about 174
$result = $template->render(false, $function);render方法定义在libs\sysplugins\smarty_template_compiled.php中，第105行开始对前面生成的模板进行处理：
# smarty_template_compiled
# line about 104
if (!$this->processed) {
$this->process($_template);
}process方法定义在第131行。现在初次访问，也即文件的第138行会对模板文件进行编译，即如简介中所言开始生成编译文件：
if (!$this->exists || $smarty->force_compile ||
($smarty->compile_check && $source->getTimeStamp() > $this->getTimeStamp())
) {
$this->compileTemplateSource($_smarty_tpl);
$compileCheck = $smarty->compile_check;
$smarty->compile_check = false;
$this->loadCompiledTemplate($_smarty_tpl);
$smarty->compile_check = $compileCheck;
}compileTemplateSource方法定义在同文件的第169行，在第181行装载完编译器后（loadCompiler()），调用write方法进行写操作：
public function compileTemplateSource(Smarty_Internal_Template $_template)
{
...
try {
// call compiler
$_template->loadCompiler();
$this->write($_template, $_template->compiler->compileTemplate($_template));
}
...跟入compileTemplate方法，定义libs\sysplugins\smarty_internal_templatecompilerbase.php第334行：
public function compileTemplate(Smarty_Internal_Template $template, $nocache = null,
Smarty_Internal_TemplateCompilerBase $parent_compiler = null)
{
// get code frame of compiled template
$_compiled_code = $template->smarty->ext->_codeFrame->create($template,
$this->compileTemplateSource($template, $nocache,
$parent_compiler),
$this->postFilter($this->blockOrFunctionCode) .
join('', $this->mergedSubTemplatesCode), false,
$this);
return $_compiled_code;
}create是生成编译文件代码的方法，定义在libs\sysplugins\smarty_internal_runtime_codeframe.php第28行，为显示变量情况，这里我加了一句var_dump
在第44行，在生成output内容时有如下代码：
$output .= "/* Smarty version " . Smarty::SMARTY_VERSION . ", created on " . strftime("%Y-%m-%d %H:%M:%S") .
"\n from \"" . $_template->source->filepath . "\" */\n\n";将 $_template->source->filepath的内容直接拼接到了$output里。这段代码是为了生成编译文件中的注释，$output的头尾有注释符号/*和*/。
现在考虑如何利用，我们需要闭合前面的注释符号，即payload的最前面需要加上*/。同时还要把后面的*/给注释掉，可以在payload最后加上//。中间填上php代码即可。另外需要注意的是，在win平台下，文件名中不允许有*，而smarty框架的生成的编译文件的名字会含有我们的payload，所以在win下时会直接提示创建文件失败。
在linux平台下即可利用成功。
漏洞修补
查看commit记录：https://github.com/smarty-php/smarty/commit/614ad1f8b9b00086efc123e49b7bb8efbfa81b61
添加了过滤，将可能闭合的*/变为* /：
在另外几处文件中也进行了过滤，要求只能出现字母和数字:
substr(preg_replace('/[^A-Za-z0-9.]/','',$source->name),0,25);题外话
直接看生成的编译文件，会发现有两个输出点，第二个输出点在单引号内，但这个无法逃逸。在libs\sysplugins\smarty_internal_runtime_codeframe.php的第47行，使用的是var_export来导出变量内容的值：
$dec = "\$_smarty_tpl->_decodeProperties(\$_smarty_tpl, " . var_export($properties, true) . ',' .
($cache ? 'true' : 'false') . ")";
$output .= "if ({$dec}) {\n";而如漏洞修补一节中所言，添加过滤后，引号会被直接去除。