小组任务1(phpbug#69892)
参考文献：https://github.com/CHYbeta/Code-Audit-Challenges
1.php的Bug＃69892
$users = array(
"0:9b5c3d2b64b8f74e56edec71462bd97a" ,
"1:4eb5fb1501102508a86971773849d266",
"2:facabd94d57fc9f1e655ef9ce891e86e",
"3:ce3924f011fe323df3a6a95222b0c909",
"4:7f6618422e6a7ca2e939bd83abde402c",
"5:06e2b745f3124f7d670f78eabaa94809", //hund
"6:8e39a6e40900bb0824a8e150c0d0d59f",
"7:d035e1a80bbb377ce1edce42728849f2",
"8:0927d64a71a9d0078c274fc5f4f10821",
"9:e2e23d64a642ee82c7a270c6c76df142",
"10:70298593dd7ada576aff61b6750b9118"
);
$valid_user = false;
$input = $_COOKIE['user'];
$input[1] = md5($input[1]);
foreach ($users as $user)
{
$user = explode(":", $user);
if ($input === $user) {
$uid = $input[0] + 0;
$valid_user = true;
}
}
if (!$valid_user) {
die("not a valid user\n");
}
if ($uid == 0) {
echo "Hello Admin How can I serve you today?\n";
echo "SECRETS ....\n";
} else {
echo "Welcome back user\n";
}
题目其实很容易理解，就是输入user[0]和user[1]，其中user[0]==0且user[1]=$users中的任意一个
看见0~10这些内容第一反应就是md5解密，都试过一遍之后发现只有第五个能解出来，user[0]=5;user[1]=hund这个就可以得到你是普通用户的欢迎信息了，但是想要的是管理员的，所以得尝试将$uid=0这个条件实现，这个时候就需用到php的Bug＃69892
[2015-06-20 14:29 UTC] nikic@php.net 描述： ------------
var_dump（[0 => 0] === [0x100000000 => 0]）; //布尔（true）
所有版本：http://3v4l.org/Sjdf8</pre>
php运行在32位系统的会将数组的键 0x100000000=2^32=4294967296 变换为字符串，而在64位系统会直接 数组中的键4294967296 为unsigned long 类型 且等同于0
- 最后的payload
Cookie: user[4294967296]=5;user[1]=hund;
2.PHP 0819
<?php
// closure, because of namespace!
$challenge = function()
{
$f = Common::getGetString('eval');
$f = str_replace(array('`', '$', '*', '#', ':', '\\', '"', "'", '(', ')', '.', '>'), '', $f);
if((strlen($f) > 13) || (false !== stripos($f, 'return'))){
die('sorry, not allowed!');
}
try{
eval("\$spaceone = $f");
}
catch (Exception $e){
return false;
}
return ($spaceone === '1337');
};
?>
通过get的eval参数传入并赋值到变量f，然后经过str_replace()的过滤，要求长度小于13，并且不包含字符串return，接着执行eval，然后让`spaceone === '1337'返回True。最后一行spaceone === '1337'`，要求类型和值都得相等。看一下str_replace()，过滤了单引号，双引号，所以如果直接get传参`index.php?eval='1337'`进去，在经过过滤后，到最后会变为spaceone=1337，不等。
可以用heredoc构造绕过单引号
<<<EOF
内容
EOF;
内容中不能包括特殊符号，以一个变量起始，以相同的变量名+;结束(还要再加上一个换行符！)
- 最终payload
?eval=<<<s%0a1337%0as;%0a
