Bugkuctf题库中的一道代码审计题，通过巧妙利用file_get_contents函数特性来绕过extract变量覆盖
源代码如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| <?php
$flag='../readme.txt';
extract($_GET);
if(isset($shiyan)){
@$content=trim(file_get_contents($flag));
if($shiyan == $content){
echo 'flag{xxx}';
}
else{
echo 'oh,no';
}
}
?>
|
首先先弄明白几个函数：
extract:该函数将数组的键名作为变量名，键名对应的键值作为对应的变量值，返回值为设置成功的变量个数
也就是说这里的extract($_GET)将我们GET的参数名作为变量名，参数值作为变量值
例子如下：
1
2
3
4
5
6
7
8
9
10
11
12
| <?php
if(isset($_GET['shiyan']) $$ isset($_GET['flag'])){
$a=extract($_GET);
echo '$a:'.$a;
echo '<br>';
echo '$shiyan:'.$shiyan;
echo '<br>';
echo '$flag:'.$flag;
}
?>
|
输出结果：
成功设置了两个变量，$shiyan和$flag，所以$a=2
file_get_contents：将文件内容作为字符串输出
例子如下：
1
2
3
4
5
6
7
| <?php
$flag='../readme.txt';
$content=file_get_contents($flag);
echo $content;
?>
|
输出结果
这里注意file_get_contents函数里的参数是$flag，也就是说我们GET进来的参数flag值会将之前的flag值覆盖掉，从而造成变量覆盖，而我们输入的flag值如果不为文件名，函数执行错误，$content会被赋值为空
例子如下：
1
2
3
4
5
6
7
8
9
10
| <?php
$flag='../readme.txt';
if(isset($_GET['flag'])){
extract($_GET);
@$content=file_get_contents($flag);
echo $content.'1';
}
?>
|
输出结果：
要得到最终要的flag，就必须要让变量content值等于变量shiyan的值
所以我们可以让shiyan值也为空，这样flag值任意输入，只要不为文件名，就一定相等
另外，即使shiyan值为空，isset($shiyan)也是返回true的
1
2
3
4
5
6
7
8
| <?php
$shiyan="";
if(isset($shiyan)){
echo "11";
}
?>
|
输出结果：
