废话不多说，打开环境就是一大段的php代码，对于我一个小白来说，还是难阿！只能一点点琢磨构造payload的思路，当然也是在网上参考了别人的wp。记录下来也为了加深自己的印象，有事没事都能翻一翻，温故而知新嘛。
<?php
highlight_file(__FILE__);
$key1 = 0;
$key2 = 0;
$a = $_GET['a'];
$b = $_GET['b'];
if(isset($a) && intval($a) > 6000000 && strlen($a) <= 3){
if(isset($b) && '8b184b' === substr(md5($b),-6,6)){
$key1 = 1;
}else{
die("Emmm...再想想");
}
}else{
die("Emmm...");
}
$c=(array)json_decode(@$_GET['c']);
if(is_array($c) && !is_numeric(@$c["m"]) && $c["m"] > 2022){
if(is_array(@$c["n"]) && count($c["n"]) == 2 && is_array($c["n"][0])){
$d = array_search("DGGJ", $c["n"]);
$d === false?die("no..."):NULL;
foreach($c["n"] as $key=>$val){
$val==="DGGJ"?die("no......"):NULL;
}
$key2 = 1;
}else{
die("no hack");
}
}else{
die("no");
}
if($key1 && $key2){
include "Hgfks.php";
echo "You're right"."\n";
echo $flag;
}
?> Emmm...看最后一段，当key1和key2的值都为1时，才会返回flag的值。而key1和key2需要当a、b、c三个参数都满足条件时才会被赋值为1。
一段一段来分析，首先是a和b两个参数的要求。
if(isset($a) && intval($a) > 6000000 && strlen($a) <= 3){
if(isset($b) && '8b184b' === substr(md5($b),-6,6)){
$key1 = 1;
}else{
die("Emmm...再想想");
}
}else{
die("Emmm...");
}a的值需要大于6000000但是长度却不能大于3，很容易能想到用科学计数法来表示，比如1e8、1e9都可以。
b的md5值的最后6位需为“8b184b”，这个除了写脚本爆破好像也不知道还有什么更好的办法了。==>md5(53724)
import hashlib
for i in range(100000):
b=i.to_bytes(22, 'big')
m=hashlib.md5(str(i).encode()).hexdigest()
if(m[-6:]=="8b184b"):
print(i)
print(m)
接着看一下c
$c=(array)json_decode(@$_GET['c']);
if(is_array($c) && !is_numeric(@$c["m"]) && $c["m"] > 2022){
if(is_array(@$c["n"]) && count($c["n"]) == 2 && is_array($c["n"][0])){
$d = array_search("DGGJ", $c["n"]);
$d === false?die("no..."):NULL;
foreach($c["n"] as $key=>$val){
$val==="DGGJ"?die("no......"):NULL;
}
$key2 = 1;
}else{
die("no hack");
}
}else{
die("no");
}c是个json格式的参数，且m键对应的值不为数字的同时需要满足大于2022
is_numeric在php中判断参数是否是数值类型是否是数字或数字字符串。"2222a"会被判定为false。
如果“2222a”和2022比较，则可以看作2222与2022的比较；若为“a2222”，则会被认定为0。
因此这里m键对应的参数可以为“2333abc”，可以同时满足上述的条件。
n键对应的值为数组，个数为2，且数组里的第一个元素也为数组，即[[...],...]
再往下看，如果n键对应值里面没有DGGJ，则会被判定为false，直接die，但下面又说如果遍历到了DGGJ也会被直接die...
array_search() 函数与 in_array() 一样，在数组中查找一个键值。如果找到了该值，匹配元素的键名会被返回。如果没找到，则返回 false。其实相当于键值与“DGGJ”进行比较，而 php中当一个数字与一个字符串/字符进行大小比较时，首先系统尝试将此字符串/字符转换为整型/浮点型，然后进行比较。所以当n键对应的值为数字且包含数字0的话，DGGJ被视为0，即可在”其中找到DGGJ“，返回True。
所以可以构造出c为{"m":"2333abc","n":[[0,1],0]}
综上
构造payload：
http://ip:port/?a=1e9&b=53724&c={"m":"2333abc","n":[[0,1],0]}
