PHP弱型別問題總結
- 大家讲道理原創
- 2016-11-12 11:01:542684瀏覽
前陣子做了南京郵電大學網路攻防平台上面的題目，寫了一個writeup之後，還有必要總結一下。由於做的題目都是web類型的，所有的題目都是使用PHP來寫的，所以很多題目並沒有考察到傳統的如SQL注入，XSS的類型的漏洞，很多都是PHP本身語法的問題。鑑於目前PHP是世界上最好的語言，PHP本身的問題也可以算是web安全的一個面向。在PHP中的特性就是弱型，以及內建函數對於傳入參數的鬆散處理。這篇文章主要是記錄我在做攻防平台上面遇到的PHP的函數中存在的問題，以及PHP的弱型態所帶來的問題。
PHP弱型別簡介
在PHP中，可以進行一下的操作。
$param = 1; $param = array(); $param = "stringg";
弱類型的語言對變量的數據類型沒有限制，你可以在任何地時候將變量賦值給任意的其他類型的變量，同時變量也可以轉換成任意地其他類型的數據。
型轉換問題
型轉換是無法避免的問題。例如需要將GET或是POST的參數轉換為int類型，或是兩個變數不符的時候，PHP會自動地進行變數轉換。但是PHP是一種弱型的語言，導致在進行型別轉換的時候會存在很多意想不到的問題。
比較操作符
型轉換
在$a==$b的比較中
$a=null;$b=flase ; //true$a='';$b=null;//true
這樣的例子
在$a==$b的比較中0=='0'//true0 == 'abcdefg'//true0 === 'abcdefg'//false1 == '1abcdef'//true這樣的例子還有很多，這種比較都是相等。 使用比較操作符的時候也存在類型轉換的問題，如下：
"0e132456789"=="0e7124511451155" //true"0e123456abc"=="0e1dddada"//false"0e1abc"=="0" //true當不同類型的變數進行比較的時候就會存在變數轉換的問題，在轉換之後就有可能會存在問題。
Hash比較
除了以上的這種方式之外在進行hash比較的時候也會存在問題。如下："0x1e240"=="123456"//true "0x1e240"==123456//true "0x1e240"=="1e240"//false在進行比較運算時，如果遇到了0ed+這種字串，就會將這種字串解析為科學計數法。所以上面例子中2個數的值都是0因而就相等了。如果不滿足0ed+這種模式就不會相等。這個題目在攻防平台中的md5 collision就有考到。
十六進位轉換
還存在一種十六進位餘字串進行比較運算時的問題。例子如下：$var = 5;當其中的一個字串是0x開頭的時候，PHP會將此字串解析成為十進位然後再進行比較，0×1240解析成為十進位就是123456，所以與int型別和string型別的123456比較都是相等。攻防平台中的起名字真難就是考察的這個特性。
型轉換
常見的轉換主要是int轉換為string，string轉換為int。
int轉string：
var_dump(intval('2'))//2 var_dump(intval('3abcd'))//3 var_dump(intval('abcd'))//0方式1：$item = (string)$var;
方式2：$item = strval($var);
string轉int：intval()函數。 對於這個函數，可以先看2個例子。if(intval($a)>1000) {
mysql_query("select * from news where id=".$a)
}說明intval()轉換的時候，會將從字串的開始進行轉換知道遇到一個非數字的字元。即使出現無法轉換的字串，intval()不會報錯而是回傳0。 intval()的這種特性在攻防平台中的MYSQL這題目中就有考到。 同時，程序員在編程的時候也不應該使用如下的這段代碼：$array1[] = array( "foo" => "bar", "bar" => "foo",
);
$array2 = array("foo", "bar", "hello", "world");
var_dump(md5($array1)==var_dump($array2));//true這個時候$a的值有可能是1002 union…..
內置函數的參數的鬆散性
內建函數的鬆散性說的是，呼叫函數時給函數傳遞函數無法接受的參數型別。解釋起來有點拗口，還是直接透過實際的例子來說明問題，以下會重點介紹幾個這個函數。 md5()
$array=[1,2,3]; var_dump(strcmp($array,'123')); //null,在某种意义上null也就是相当于false。PHP手冊中的md5()函數的描述是string md5 ( string $str [, bool $raw_output = false ] )，md5()中的需要是一個string類型的參數。但當你傳遞一個array時，md5()不會報錯，知識會無法正確地求出array的md5值，這樣就會導致任意2個array的md5值都會相等。這個md5()的特性在攻防平台中的bypass again同樣有考到。 strcmp()strcmp()函數在PHP官方手冊中的描述是int strcmp ( string $str1 , string $str2 ),需要給strcmp()傳遞2個string類型的參數。如果str1小於str2,回傳-1，相等回傳0，否則回傳1。 strcmp函數比較字串的本質是將兩個變數轉換為ascii，然後進行減法運算，然後根據運算結果來決定傳回值。 如果傳入給strcmp()的參數是數字呢？
$i ="2abc";
switch ($i) {
case 0:
case 1:
case 2:
echo "i is less than 3 but not negative";
break;
case 3:
echo "i is 3";
}strcmp這種特性在攻防平台中的pass check有測驗。 switch()如果switch是數字類型的case的判斷時，switch會將其中的參數轉換為int型別。如下：$array=[0,1,2,'3']; var_dump(in_array('abc', $array)); //true var_dump(in_array('1bc', $array)); //true這個時候程式輸出的是i is less than 3 but not negative，是由於switch()函數將$i進行了型別轉換，轉換結果為2。 🎜🎜in_array()🎜
在PHP手册中，in_array()函数的解释是bool in_array ( mixed $needle , array $haystack [, bool $strict = FALSE ] ),如果strict参数没有提供，那么in_array就会使用松散比较来判断$needle是否在$haystack中。当strince的值为true时，in_array()会比较needls的类型和haystack中的类型是否相同。
$array=[0,1,2,'3']; var_dump(in_array('abc', $array)); //true var_dump(in_array('1bc', $array)); //true
可以看到上面的情况返回的都是true,因为’abc’会转换为0，’1bc’转换为1。
array_search()与in_array()也是一样的问题。