upload-labs 21关解析

news2024/11/18 14:33:57

一、代码审计

二、实践

三、总结

一、代码审计

$is_upload = false;
$msg = null;
if(!empty($_FILES['upload_file'])){
    //检查MIME
    $allow_type = array('image/jpeg','image/png','image/gif');
    if(!in_array($_FILES['upload_file']['type'],$allow_type)){
        $msg = "禁止上传该类型文件!";
    }else{
        //检查文件名
        $file = empty($_POST['save_name']) ? $_FILES['upload_file']['name'] : $_POST['save_name'];
        if (!is_array($file)) {
            $file = explode('.', strtolower($file));
        }

        $ext = end($file);
        $allow_suffix = array('jpg','png','gif');
        if (!in_array($ext, $allow_suffix)) {
            $msg = "禁止上传该后缀文件!";
        }else{
            $file_name = reset($file) . '.' . $file[count($file) - 1];
            $temp_file = $_FILES['upload_file']['tmp_name'];
            $img_path = UPLOAD_PATH . '/' .$file_name;
            if (move_uploaded_file($temp_file, $img_path)) {
                $msg = "文件上传成功！";
                $is_upload = true;
            } else {
                $msg = "文件上传失败！";
            }
        }
    }
}else{
    $msg = "请选择要上传的文件！";
}

对源代码进行分析

$file = empty($_POST['save_name']) ? $_FILES['upload_file']['name'] : $_POST['save_name'];
这是个三元运算符，判断 'save_name' 是否为空

（A ? B : C ，如果A成立，则运行B，否则运行C）

如果用户提交的'save_name'为空，则使用上传文件的原始文件名，若不为空则使用该参数值作为文件名

 if (!is_array($file)) {
            $file = explode('.', strtolower($file));
        }
判断 $file 是不是数组，如果不是数组，则使用 . 进行切分变为数组

比如 cooper.php.jpg，切分为 cooper php jpg 分别对应数组三个元素

 $ext = end($file);
从数组中获取最后一个元素作为扩展名

经过这两条分析，想想为什么要判断 'save_name' 参数是否为数组呢？

难道POST提交的不都是字符串吗？

那么就进行测试

发现请求参数可以直接以数组的方式提交

那么我们能否去构造一个POST请求的save_name参数，将文件后缀名改为jpg，但文件本身还是cooper.php

问题保留一下，接着分析

$file_name = reset($file) . '.' . $file[count($file) - 1];
reset函数为调用第一个元素

拼接文件名：数组第一个元素 + . + 数组最后一个元素

比如文件名为cooper.php，则 $file_name = cooper + . + php

那么如果直接上传的不是字符串，而是数组会怎么样？

比如save_name[0] = cooper.php ， save_name[2] = jpg

按照拼接方法那我们构造的文件最后的方式为：

$file_name = cooper.php . $file[1] ==> cooper.php.空

理论可行，实践开始！