说起来是easy但是,代码审计对于我来说有点小难
唯一觉得好的地方是因为基本上每一步都有回显,可以依照回显一步步注入
<?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;
}?>
代码审计1

先忽略变量c,先把a和b执行完
这段代码是一个简单的PHP脚本。它有两个输入参数$a和$b,这些参数应该通过GET请求从URL中获取。
代码检查$a是否被设置,并且它的整数值大于6000000,并且它的长度不超过3个字符。
如果条件满足,代码将检查$b是否被设置,并且其MD5哈希的后6个字符是'8b184b'。如果条件满足,$key1将被赋值为1。
如果任何条件不满足,代码将使用die()函数输出相应的错误消息并终止脚本的执行。
解题步骤1
这里我们采取科学计数法1e3绕过intval和strlen函数
然后使用一段python脚本计算出变量b的MD5值
import hashlib
#导入hashlib模块
for i in range(100000):if hashlib.md5(str(i).encode('utf-8')).hexdigest()[-6:] == '8b184b':
#利用模块的MD5方法对字符串i进行编码,注意哈希之前必须要规定字符串编码类型,最后转化为16进制输出
#输出结果取取倒数的6位字符,进行对比print(i)print(hashlib.md5(str(i).encode('utf-8')).hexdigest())

观察回显数据,说明变量a,b注入成功

代码审计2
继续看变量c的部分

首先,将GET请求中的参数c解码为一个数组,并将其赋值给变量$c。此处使用了@符号,表示对可能出现的错误进行忽略。
然后,代码进行了一系列的条件判断和操作:
首先将c变量进行json解码,并转换为一个array数组
判断$c是否是一个数组,并且$c["m"]不是一个数字,并且$c["m"]大于2022。
如果满足以上条件,则继续判断$c["n"]是否是一个数组,且长度为2,并且$c["n"][0]也是一个数组。
如果满足以上条件,则使用array_search函数在$c["n"]数组中搜索值为"DGGJ"的元素,并将结果赋值给变量$d。如果找到了匹配的值,则继续执行;如果没有找到,输出"no..."并终止程序。
接下来,使用foreach循环遍历$c["n"]数组中的每个元素,如果某个元素的值等于"DGGJ",则输出"no......"并终止程序。否则,将变量$key2赋值为1。
如果$key1和$key2都存在且为真,则输出flag
解题步骤2
根据代码审计,我们得知变量c需要传入的是一个json型的数据,并会自动转换为一个数组
is_numeric函数
is_numeric函数用来检测是否为纯数字或数字字符串
利用php字符串与数字相比较的性质:
我们得知一个字符串在没遇到字符前都是可以跟数字进行比较的,所以我可以在传入的数的最后添加任意字符就可以绕过字符比较
在php8之后好像就不允许这样了绕过is_numeric函数
当看到回显不是no就说明绕过成功

根据第二个if语句,在数组n中创建一个包含数组
接着将数组n中的第二个参数设置为DGGJ
根据回显为no......,说明绕过成功

接下来就有点麻烦了,因为接着运用了一个foreach循环将数组n的键和值分别传入key和val两个变量,如果在其中检测到DGGJ字符串就回显no......退出循环
去查了一下,array_scarch函数是查找第一次出现的位置,如果找到了就返回键值,本来想着将数组和字符串DGGJ的位置换一个变成
"n":["DGGJ",[1,2,3]]
是前面还有对变量c第一个元素为数组的检测
还想着将DGGJ字符串放到第一个数组里去,变成
"n":[["DGGJ",2,3],2]
但是检测无法进入到数组中,连第一个搜索字符串都过不了
然后想到了编码绕过,将传入的数据进行url编码试试

还是不行,最后查看了wp,得知忽略了一个及小的东西:
array_search函数
就是array_search函数的执行逻辑其实就是对数组中的数据进行比较,如果满足相等就返回下标索引
php8之前字符串与数字进行比较的性质:
字符串和数字一起比较,会将字符串先转化为数字0再进行比较

所以,我们可以直接将DGGJ字符串替换为0就可以注入成功

虽然做的有点慢,但是是自己慢慢做出来的,没有直接查看wp,印象更加深刻
在做题时,我们可以将代码截取出来,利用本地环境传入数据,然后查看代码回显并对错误代码进行调试