威尼斯手机平台登陆-官方网站登录

威尼斯手机平台登陆为您带来世界三大博彩公司最新相关资讯,威尼斯官方网站登录充分考虑到不同地域网民的不同需求,威尼斯手机平台登陆良好的用户界面,人性化的操作,实用的功能设计使其广泛受到欢迎,推动实体出版、影视、动漫、游戏等相关文化产业的发展。

您的位置:威尼斯手机平台登陆 > 前端资源 > php是世界上最好的语言,由于做的题目都是web类型的

php是世界上最好的语言,由于做的题目都是web类型的

发布时间:2020-02-27 14:02编辑:前端资源浏览(170)

    前段时间做了南京邮电大学网络攻防平台上面的题目,写了一个writeup之后,还有必要总结一下。由于做的题目都是web类型的,所有的题目都是使用PHP来写的,所以很多题目并没有考察到传统的如SQL注入,XSS的类型的漏洞,很多都是PHP本身语法的问题。鉴于目前PHP是世界上最好的语言,PHP本身的问题也可以算作是web安全的一个方面。在PHP中的特性就是弱类型,以及内置函数对于传入参数的松散处理。本篇文章主要就是记录我在做攻防平台上面遇到的PHP的函数中存在的问题,以及PHP的弱类型所带来的问题。

    php作为受欢迎的开源脚本语言,php是世界上最好的语言,越来越多的应用于Web开发领域。php属于弱类型语言,即定义变量的时候不用声明它是什么类型。作为一个程序员,弱类型确实给程序员书写代码带来了很大的便利,但是也带来了一些不必要的问题。

    没人质疑PHP的强大,可是它本身的一些特性也引发了一些安全问题。刚好最近在撸一些ctf题目,就对我见到的PHP存在的问题总结记录一下。

    PHP弱类型简介

    在PHP中,可以进行一下的操作。

    $param = 1;
    $param = array();
    $param = "stringg";
    

    弱类型的语言对变量的数据类型没有限制,你可以在任何地时候将变量赋值给任意的其他类型的变量,同时变量也可以转换成任意地其他类型的数据。

    0x01 ==和===的问题

    ==是比较运算,它不会去检查条件式的表达式的类型

    ===是恒等,它会检查查表达式的值与类型是否相等。

    NULL,0,"0",array()使用==和false比较时,都是会返回true的,而使用===却不会

    比较操作

    一个数字和一个字符串进行比较,PHP会把字符串转换成数字再进行比较。PHP转换的规则的是:若字符串以数字开头,则取开头数字作为转换结果,若无则输出0。例如:123abc转换后应该是123,而abc则为0,0==0这当然是成立的啦!所以,0 =='abc'是成立的。当有一个对比参数是整数的时候,会把另外一个参数强制转换为整数。

    Hash比较

    "0e132456789"=="0e7124511451155" //true
    "0e123456abc"=="0e1dddada" //false
    "0e1abc"=="0"     //true
    

    在进行比较运算时,如果遇到了0ed+这种字符串,就会将这种字符串解析为科学计数法。所以上面例子中2个数的值都是0因而就相等了。如果不满足0ed+这种模式就不会相等。

    md5比较

    <?php
    $a = md5('240610708'); // = 0e462097431906509019562988736854
    $b = md5('QNKCDZO'); // = 0e830400451993494058024219903391
    var_dump($a == $b);
    ?>
    

    返回结果bool(true)

    240610708 和 QNKCDZO md5值类型相似,但并不相同,在“==”相等操作符的运算下,结果返回了true。这是个经典的漏洞,只需要找到md5值为0exxx(xxx全为数字,共30位),这里我提供4个都可以通过的值:240610708、QNKCDZO、aabg7XSs、aabC9RqS

    扩展:

    先注册密码为240610708的用户A。
    然后用密码QNKCDZO尝试登录用户A。
    倘若成功登录,则证明此网站采用了不完备的加密体制md5一次加密。
    
    先注册密码为0E33455555的用户A。
    然后用密码0E234230570345尝试登录用户A。
    倘若成功登录,则证明此网站采用了明文进行存储密码!
    

    弱类型问题

    在PHP中,可以执行这样操作

    $var = 1;
    $var = array();
    $var = 'string';
    

    它不会验证变量的类型,也可以随时转换变量类型。估计开发者原本是想让程序员更加高效的开发,所以在大量内置函数以及基本结构中使用了很多松散的比较和转换,防止程序中的变量因为程序员的不规范而频繁的报错,然而这却带来了安全问题。

    • 比较运算时
    $a = null; $b = ''; $a == $b  //true
    $a = null; $b = false; $a == $b  //true
    $a = 0; $b = '0'; $a == $b  //true
    $a = 0; $b = '0'; $a === $b  //false
    $a = 0; $b = 'string'; $a == $b  //true
    

    可见PHP在处理比较运算时,不会检查表达式类型,只在恒等比较时才同时检查表达式的值与类型。

    • hash比较时
    var_dump('0e12345' == 0);  //true
    var_dump('0e12345' == '0e54321');  //true
    var_dump('0e12345' == '0e12345a');  //false
    

    可以看到在遇到0ed+类型的字符串时,会把此类型字符串作为科学计数法来处理,所以左右两边都为0*10^n = 0 。假如md5(str)为此类型的话,就可以构造md5(str1) == md5(str2)来绕过一些过滤。当然,这样的字符串有很多,详见PHP处理0e开头md5哈希字符串缺陷。

    • 类型强制转换
    1. 当string遇上int
    var_dump(0 == 'abcd');  //true  
    var_dump(1 == '1abcd');  //true
    

    当有一个对比参数是整数的时候,会把另外一个参数强制转换为整数。而转换过程中,'1abcd'的转换后的值是1,而‘abcd’是0,说明了intval返回字符串中第一个非数字的字符之前的数字串所代表的整数值。

    var_dump(intval('12.12a'));  //12
    
    • 内置函数的松散
    1. md5()

      md5() 函数用于对字符串进行md5加密

      var_dump(md5('1'));  //c4ca4238a0b923820dcc509a6f75849b
      

      当参数是string时正常加密,但是当你传递一个array时,函数不会报错,只是返回null

      $a[] =1;
      $b[] =2;
      var_dump(md5($a));  //null
      var_dump(md5($a)==md5($b));  //true
      

      这样就可以构造任意2个array来绕过md5函数的检测。

    2. in_array()

      in_array() 函数检查数组中是否存在某个值

      $array=[0,1,2,'3'];
      var_dump(in_array('abc', $array));  //true
      

      如果第三个参数 strict 的值为 TRUE 则 in_array() 函数还会检查 needle 的类型是否相同。只有加了strict才会对类型进行严格比较, 那么我们再次把整形和字符串进行比较呢?

      var_dump(in_array('abc', $array));  //true
      var_dump(in_array('1bc', $array));  //true
      var_dump(in_array('4', $array));  //false
      

      它遍历了array的每个值,并且作"=="比较(“当设置了strict 用===”),上面的情况前两个返回的都是true,因为’abc’会转换为0,’1bc’转换为1。那么我们完全就可以很容易的用构造好的int 0或1来绕过检测函数,使它返回为真。

    3. strcmp()

      strcmp() 函数比较两个字符串,该函数返回:

      0  //如果两个字符串相等
      <0  //如果 string1 小于 string2
      >0  //如果 string1 大于 string2
      

      这里的strcmp函数实际上是将两个变量转换成ascii 然后做数学减法,返回一个int的差值。

      也就是说键入'a'和'a'进行比较得到的结果就是0

      那么如果让$array和‘a’比较呢?

      http://localhost/test.php?a[]=1
      var_dump(strcmp($_GET[a],'a'));  //null
      

      威尼斯登录首页,也就是说,我们让这个函数出错从而来绕过函数的检查。

    类型转换问题

    类型转换是无法避免的问题。例如需要将GET或者是POST的参数转换为int类型,或者是两个变量不匹配的时候,PHP会自动地进行变量转换。但是PHP是一个弱类型的语言,导致在进行类型转换的时候会存在很多意想不到的问题。

    0x02 转换问题

    类型转换

    string转int:intval()函数

    var_dump(intval('2')) //2
    var_dump(intval('3abcd')) //3
    var_dump(intval('abcd')) //0
    

    说明intval()转换的时候,会将从字符串的开始进行转换知道遇到一个非数字的字符。即使出现无法转换的字符串,intval()不会报错而是返回0。

    十六进制转换

    "0x1e240"=="123456" //true
    "0x1e240"==123456 //true
    "0x1e240"=="1e240" //false
    

    当其中的一个字符串是0x开头的时候,ox开头表示16进制,PHP会将此字符串解析成为十进制然后再进行比较,0×1e240解析成为十进制就是123456,所以与int类型和string类型的123456比较都是相等。

    这样在不让输入数字但是后面还要和一串数字比较的情况下可以使用这种方法,将后面要比较的数字转为16进制,这样就可以绕过。

    浮点数精度问题

    在PHP manual中有提到:

    以十进制能够精确表示的有理数如 0.1 或 0.7,不能在不丢失一点点精度的情况下转换为二进制的格式。

    var_dump(intval((0.1+0.7)*10));  //int(7)
    var_dump(floor((0.1+0.7)*10));  //float(7)
    var_dump(intval(0.58*100));  //int(57)
    var_dump(floor(0.58*100));  //floatt(57)
    

    为什么会这样的?简单分析一下

    0.1 的二进制:

    符号位 0 
    指数 01111011 (-4)
    尾数 1.10011001100110011001101 (1.60000002384185791015625)
    

    将这个数再转回十进制:0.10000000149011612

    0.7 的二进制:

    符号位 0 
    指数 01111110  (-1)
    尾数 1.01100110011001100110011 (1.39999997615814208984375)
    

    将这个数再转回十进制:0.699999988079071

    很明显,在转换为二进制的过程中丢失了精度,0.1 + 0.7 的结果是 0.79999998956919

    关于浮点数的详细分析见PHP浮点数的一个常见问题的解答

    参考:

    wooyun知识库

    比较操作符

    0x03 数组问题

    if (isset($_GET['name']) and isset($_GET['password'])) {
        if ($_GET['name'] == $_GET['password'])
            print 'Your password can not be your name.';
        else if (sha1($_GET['name']) === sha1($_GET['password']))
            die('Flag: '.$flag);
    else
        print 'Invalid password';
    

    name和password的值不能相同,其次,sha1加密之后的name和password的值又必须完全相同 我们知道,在php中,$a[] = 1;代表着$a[x] = 1;所以name[] = 1和password[]= 2相比较,可以跳过第一个判断,而如果使用sha1对一个数组进行加密,返回的将是NULL,NULL===NULL,这是成立的,所以构造两个数组绕过

    类型转换

    在$a==$b的比较中

    $a=null;$b=flase ; //true
    $a='';$b=null;      //true
    

    这样的例子还有很多,这种比较都是相等。

    使用比较操作符的时候也存在类型转换的问题,如下:

    0=='0'        //true
    0 == 'abcdefg'  //true
    0 === 'abcdefg' //false
    1 == '1abcdef'  //true
    

    当不同类型的变量进行比较的时候就会存在变量转换的问题,在转换之后就有可能会存在问题。

    0x04 常见函数问题

    md5()

    string md5 ( string $str [, bool $raw_output = false ] )

    md5()中需要传入的是一个string类型的参数,当我们传递一个array时,它是不会报错的,函数无法求出array的MD5值,这样导致任意两个array的MD5值都相等,从而绕过输入数值的判断,在ctf代码审计中经常遇见。

    strcmp()

    int strcmp ( string $str1 , string $str2 )

    进行字符串长度的比较,传入两个string的参数。如果str1小于str2,返回-1,相等返回0,否则返回1。strcmp函数比较字符串的本质是将两个变量转换为ascii,然后进行减法运算,然后根据运算结果来决定返回值。如果传入的参数为数字或数组

    例1:
    $array=[1,2,3];
    var_dump(strcmp($array,'123')); //null,在某种意义上null也就是相当于false。
    
    例2:
    if (isset($_GET['password'])) {
    if (strcmp($_GET['password'], $flag) == 0)
        die('Flag: '.$flag);
    else
        print 'Invalid password';
    }
    

    此处使用strcmp()对pass和flag进行判断,如果==0,则输出flag。但是strcmp()函数只有在相等的情况下返回0。那么我们传入一个数组,它会返回NULL,而判断使用了==,而NULL==0是bool(true),这样就成功绕过。

    switch()

    如果switch是数字类型的case的判断时,switch会将其中的参数转换为int类型。

    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。

    ereg()

    int ereg(string pattern, string string, array [regs]);

    字符串对比解析,ereg函数存在NULL截断漏洞,当ereg读取字符串string时,如果遇到了%00,后面的字符串就不会被解析。

    bool类型的true跟任意字符串可以弱类型相等

    目前就整理这么多,以后有新的会继续添加上去

    松散比较的表格

    Hash比较

    除了以上的这种方式之外在进行hash比较的时候也会存在问题。如下:

    "0e132456789"=="0e7124511451155" //true
    "0e123456abc"=="0e1dddada"  //false
    "0e1abc"=="0"     //true
    

    在进行比较运算时,如果遇到了0ed+这种字符串,就会将这种字符串解析为科学计数法。所以上面例子中2个数的值都是0因而就相等了。如果不满足0ed+这种模式就不会相等。这个题目在攻防平台中的md5 collision就有考到。

    十六进制转换

    还存在一种十六进制余字符串进行比较运算时的问题。例子如下:

    "0x1e240"=="123456"       //true
    "0x1e240"==123456       //true
    "0x1e240"=="1e240"      //false
    

    当其中的一个字符串是0x开头的时候,PHP会将此字符串解析成为十进制然后再进行比较,0×1240解析成为十进制就是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')) //2
    var_dump(intval('3abcd'))   //3
    var_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));  //true
    var_dump(in_array('1bc', $array));  //true
    

    可以看到上面的情况返回的都是true,因为’abc’会转换为0,’1bc’转换为1。

    array_search()与in_array()也是一样的问题。

    本文由威尼斯手机平台登陆发布于前端资源,转载请注明出处:php是世界上最好的语言,由于做的题目都是web类型的

    关键词: