0x00 前言
最近在干代碼審計，於是就把之前學習的CTF題目中有關變量覆蓋的題目結合下進一步研究。
通常將可以用自定義的參數值替換原有變量值的情況稱為變量覆蓋漏洞。經常導致變量覆蓋漏洞場景有：$$使用不當，extract()函數使用不當，parse_str()函數使用不當，import_request_variables()使用不當，開啟了全局變量注冊等。
本篇收集了幾個CTF中的題目作為例子，對$$，extract()，parse_str()的問題進行總結。
0x01 $$導致的變量覆蓋問題
$$ 導致的變量覆蓋問題在CTF代碼審計題目中經常在foreach中出現，如以下的示例代碼，使用foreach來遍歷數組中的值，然后再將獲取到的數組鍵名作為變量，數組中的鍵值作為變量的值。因此就產生了變量覆蓋漏洞。請求?name=test 會將$name的值覆蓋，變為test。
1 <?php 2 //?name=test 3
4 //output:string(4) “name” string(4) “test” string(4) “test” test
5
6 $name="thinking"; 7 foreach ($_GET as $key => $value) 8 { 9 $$key = $value; 10 } 11 var_dump($key); 12 var_dump($value); 13 var_dump($$key); 14 echo "</br>".$name; 15 ?>
可見$name的值被覆蓋掉了
CTF中$$導致的變量覆蓋問題的例題1：
題目源碼：
1 <?php 2 include "flag.php"; 3 $_403 = "Access Denied"; 4 $_200 = "Welcome Admin"; 5 if ($_SERVER["REQUEST_METHOD"] != "POST") 6 { 7 die("BugsBunnyCTF is here :p…"); 8 } 9 if ( !isset($_POST["flag"]) ) 10 { 11 die($_403); 12 } 13 foreach ($_GET as $key => $value) 14 { 15 $$key = $$value; 16 } 17 foreach ($_POST as $key => $value) 18 { 19 $$key = $value; 20 } 21 if ( $_POST["flag"] !== $flag ) 22 { 23 die($_403); 24 } 25 echo "This is your flag : ". $flag . "\n"; 26 die($_200); 27 ?>
題目分析：
源碼包含了flag.php文件，並且需要滿足3個if里的條件才能獲取flag，題目中使用了兩個foreach並且也使用了$$.兩個foreach中對 $$key的處理是不一樣的，滿足條件后會將$flag里面的值打印出來，所以$flag是在flag.php文件文件中的。
但是由於第7，11-14行間的代碼會將flag的值給覆蓋掉了，所以需要先將flag的值給覆蓋掉了，所以需要先將flag的值賦給200或200或_403變量，然后利用die(200)或die(200)或die(_403)將flag打印出來。
解題方法：
由於第7，11-14行間的代碼會將$flag的值給覆蓋掉，所以只能利用第一個foreach先將$flag的值賦給$_200，然后利用die($_200)將原本的flag值打印出來。
最終PAYLOAD：
本地復現，所以flag與原題不一樣
GET DATA：?_200=flag
POST DATA：flag=aaaaaaaaaaaaaaaaaaaaa
0×02 extract()函數導致的變量覆蓋問題
extract() 該函數使用數組鍵名作為變量名，使用數組鍵值作為變量值。針對數組中的每個元素，將在當前符號表中創建對應的一個變量。
extract()的用法參考：http://www.runoob.com/php/func-array-extract.html
語法： extract(array,extract_rules,prefix)
CTF中extract()導致的變量覆蓋問題的例題1:
題目源碼：
1 <?php 2 $flag = ‘xxx’; 3 extract($_GET); 4 if (isset($gift)) 5 { 6 $content = trim(file_get_contents($flag)); 7 if ($gift == $content) 8 { 9 echo ‘hctf{…}’; 10 } 11 else
12 { 13 echo ‘Oh..’; 14 } 15 } 16 ?>
題目分析：
題目使用了extract($_GET)接收了GET請求中的數據，並將鍵名和鍵值轉換為變量名和變量的值，然后再進行兩個if 的條件判斷，所以可以使用GET提交參數和值，利用extract()對變量進行覆蓋，從而滿足各個條件。
解題方法：
GET請求 ?flag=&gift=，extract()會將flag和flag和gift的值覆蓋了，將變量的值設置為空或者不存在的文件就滿足gift==gift==content。
最終PAYLOAD：
GET DATA： ?flag=&gift=
CTF中extract()導致的變量覆蓋問題的例題2:
題目源碼：
1 <?php 2 if ($_SERVER["REQUEST_METHOD"] == “POST”) 3 { 4 extract($_POST); 5
6 if ($pass == $thepassword_123) 7 { 8 <div class=”alert alert-success”>
9 <code><?php echo $theflag; ?></code>
10 </div>
11 } 12 } 13 ?>
題目分析：
題目要求使用POST提交數據，extract($_POST)會將POST的數據中的鍵名和鍵值轉換為相應的變量名和變量值，利用這個覆蓋$pass和$thepassword_123變量的值，從而滿足pass==pass==thepassword_123這個條件。
解題方法：
使用POST請求提交pass=&thepassword_123=, 然后extract()會將接收到的數據將$pass和$thepassword_123變量的值覆蓋為空，便滿足條件了。
最終PAYLOAD：
POST DATA：pass=&thepassword_123=
0×03 parse_str函數導致的變量覆蓋問題
parse_str() 函數用於把查詢字符串解析到變量中，如果沒有array 參數，則由該函數設置的變量將覆蓋已存在的同名變量。
語法：parse_str(string,array)
parse_str() 用法參考：http://php.net/parse_str
CTF中parse_str()導致的變量覆蓋問題的例題1:
題目源碼：
1 <?php 2 error_reporting(0); 3 if (empty($_GET['id'])) 4 { 5 show_source(__FILE__); 6 die(); 7 } 8 else
9 { 10 include ('flag.php'); 11 $a = "www.OPENCTF.com"; 12 $id = $_GET['id']; 13 @parse_str($id); 14 if ($a[0] != "QNKCDZO" && md5($a[0]) == md5("QNKCDZO")) 15 { 16 echo $flag; 17 } 18 else
19 { 20 exit("其實很簡單其實並不難！"); 21 } 22 } 23 ?>
題目分析：
首先要求使用GET提交id參數，然后parse_str($id)對id參數的數據進行處理，再使用判斷a[0] != ‘QNKCDZO’ && md5(a[0] != ‘QNKCDZO’ && md5(a[0]) == md5(‘QNKCDZO’)的結果是否為真，為真就返回flag，md5(‘QNKCDZO’)的結果是0e830400451993494058024219903391由於此次要滿足a[0] != ‘QNKCDZO’ && md5(a[0] != ‘QNKCDZO’ && md5(a[0]) == md5(‘QNKCDZO’)所以要利用php弱語言特性，0e123會被當做科學計數法，0 * 10 x 123。所以需要找到一個字符串md5后的結果是0e開頭后面都是數字的，如，240610708，s878926199a
PHP處理0e開頭md5哈希字符串缺陷/bug 參考：http://www.cnblogs.com/Primzahl/p/6018158.html
解題方法：
使用GET請求id=a[0]=240610708，這樣會將a[0]的值覆蓋為240610708，然后經過md5后得到0e462097431906509019562988736854與md5(‘QNKCDZO’)的結果0e830400451993494058024219903391比較都是0 所以相等，滿足條件，得打flag。
最終PAYLOAD：
GET DATA:
?id=a[0]=s878926199a
or
?id=a[0]=240610708
0×04 小總結
變量覆蓋漏洞在PHP代碼審計中會以比較隱晦的方式存在，所以需要更加仔細的閱讀源碼找出漏洞的點，在CTF里面經常是以比較直接方式展示，所以可以先通過學習CTF各種變量覆蓋的題目，然后掌握后再去審計cms，這樣可以更加通透的理解掌握和挖掘變量覆蓋漏洞。