弱類型語言也稱為弱類型定義語言。與強型別定義相反。像vb,php等就屬於弱類型語言,這篇文章給大家詳細介紹關於PHP弱類型的安全問題,有需要的可以參考借鑒,下面來一起看看吧。
前言
相信大家都知道PHP是世界上最好的語言,PHP本身的問題也可以算作是web安全的一個方面。在PHP中的特性就是弱類型,以及內建函數對於傳入參數的鬆散處理。
這篇文章主要就是記錄我在做攻防平台上面遇到的PHP的函數中存在的問題,以及PHP的弱類型所帶來的問題。對大家在學習或者使用php的時候具有一定的參考借鑒價值,下面來一起看看。
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
這樣的例子還有很多,這種比較都是相等。
使用比較操作符的時候也存在類型轉換的問題,如下:
0=='0' //true0 == 'abcdefg' //true0 === 'abcdefg' //false1 == '1abcdef' //true
當不同類型的變數進行比較的時候就會存在變數轉換的問題,在轉換之後就有可能會存在問題。
Hash比較
除了以上的這種方式之外在進行hash比較的時候也會存在問題。如下:
"0e132456789"=="0e7124511451155" //true"0e123456abc"=="0e1dddada" //false"0e1abc"=="0" //true
在進行比較運算時,如果遇到了0e\d+
這種字串,就會將這種字串解析為科學計數法。所以上面例子中2個數的值都是0因而就相等了。如果不滿足0e\d+
這種模式就不會相等。這個題目在攻防平台中的md5 collision就有考到。
十六進位轉換
還存在一種十六進位餘字串進行比較運算時的問題。
例子如下:
"0x1e240"=="123456" //true"0x1e240"==123456 //true"0x1e240"=="1e240" //false
當其中的一個字串是0x開頭的時候,PHP會將此字串解析成為十進位然後再進行比較,0x1240解析成為十進位就是123456,所以與int類型和string類型的123456比較都是相等。攻防平台中的起名字真難就是考察的這個特性。
類型轉換
常見的轉換主要就是int轉換為string,string轉換為int。
int轉string:
$var = 5;方式1:$item = (string)$var;方式2:$item = strval($var);
string轉int:intval()
函數。
對於這個函數,可以先看2個例子。
var_dump(intval('2')) //2var_dump(intval('3abcd')) //3var_dump(intval('abcd')) //0
說明intval()
轉換的時候,會將從字串的開始進行轉換知道遇到一個非數位字元。即使出現無法轉換的字串,intval()
不會報錯而是返回0。
intval()
的這種特性在攻防平台中的MYSQL這道題目中就有考到。
同時,程式員在編程的時候也不應該使用如下的這段代碼:
if(intval($a)>1000) { mysql_query("select * from news where id=".$a)}
這個時候$a的值有可能是1002 union…..
內建函數的參數的鬆散性
內建函數的鬆散性說的是,調用函數時給函數傳遞函數無法接受的參數類型。解釋起來有點拗口,還是直接通過實際的例子來說明問題,下面會重點介紹幾個這種函數。
md5()
$array1[] = array( "foo" => "bar", "bar" => "foo",);$array2 = array("foo", "bar", "hello", "world");var_dump(md5($array1)==var_dump($array2)); //true
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()
的參數是數字呢?
$array=[1,2,3];var_dump(strcmp($array,'123')); //null,在某種意義上null也就是相當於false。
strcmp這種特性在攻防平台中的pass check有考到。
switch()
如果switch是數字類型的case的判斷時,switch會將其中的參數轉換為int類型。如下:
$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";}
這個時候程式輸出的是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)); //truevar_dump(in_array('1bc', $array)); //true
可以看到上面的情況返回的都是true,因為'abc'會轉換為0,'1bc'轉換為1。
array_search()
與in_array()
也是一樣的問題。