浅谈CTF中各种花式绕过的小trick

2023-05-16 10:56:22 浏览数 (2)

  • 前言

在代码审计的时候,我们不难发现很多很多的函数需要我们bypass,这些知识点很多又很小,基本上是一眼就明白,但是下一次遇见又不太清晰,需要反反复复查找,这篇文章浅浅做个汇总,如有不足,欢迎补充。

md5加密bypass

弱比较绕过
代码语言:javascript复制
<?php
$a = $_GET['a'];
$b = $_GET['b'];
if($a != $b && md5($a) == md5($b)){
    echo 'success!';
}
方法一:0e绕过

绕过原理:PHP在处理字符串时会出现缺陷,如果字符串为’5e2’,本来只是一个正常字符串,但PHP会认为这是科学计数法里的e,那么PHP进行比较时会将这个字符串按照科学计数法计算,即5e2=5*10^2=500,由此0e100被认为和0相等。md5加密后的哈希值是一串16进制数,因此需要哈希值第一位为0,第二位为e即可,后面不论是什么都认为和0相等

以下字符串经过md5函数后以’0e’开头:

  • QNKCDZO
  • 240610708
  • s878926199a
  • s155964671a
  • s1091221200a
  • s1665632922a

经过md5函数加密一次和两次后均以’0e’开头:

  • 7r4lGXCH2Ksu2JNT3BYM
  • CbDLytmyGm2xQyaLNhWn
  • 770hQgrBOjrcqftrlaZk

有时候题目还会用ctype_alnum()、is_numeric()或正则表达式来限制原值是纯字母或纯数字

方法二:数组绕过

绕过原理:无论是PHP弱比较还是强比较,md5()函数无法处理数组,如果传入的是数组,会返回NULL,两个数组经过加密后返回值均为NULL,形成相等。

payload:

代码语言:javascript复制
?a[]=1&b[]=2
强比较绕过
代码语言:javascript复制
<?php
$a = $_GET['a'];
$b = $_GET['b'];
if($a != $b && md5($a) === md5($b)){
    echo 'success!';
}

虽然 PHP 是弱类型语言,但也需要明白变量类型及它们的意义,因为我们经常需要对 PHP 变量进行比较,包含松散和严格比较。

  • 松散比较:使用两个等号 == 比较,只比较值,不比较类型。
  • 严格比较:用三个等号 === 比较,除了比较值,也比较类型。

例如,”42” 是一个字符串而 42 是一个整数。FALSE 是一个布尔值而 “FALSE” 是一个字符串。

方法:数组绕过

细节如上所述

md5碰撞绕过
代码语言:javascript复制
<?php
$a = (string)$_POST['a'];
$b = (string)$_POST['b'];
if($a != $b && md5($a) === md5($b)){
    echo 'success!';
}

由于强制类型转换,传入数组会得到’Array’,这里我们只能需要一个md5前不等,md5后相等的值。

方法:使用Fastcoll生成

详细可见这篇文章

下面给出payload供使用:

代码语言:javascript复制
a=M�h�� �r�w{r��o���V�J=�x>{�����(K�n�KU�_Bu��Igm��U]�`�_��&b=M�h�� �r�w{r��o���V�J=�x>{�����(K�n�KU�_Bu��Igm���]�`�_��

POST传参时需要再次url编码

代码语言:javascript复制
a=%4d%c9%68%ff%0e%e3%5c%20%95%72%d4%77%7b%72%15%87%d3%6f%a7%b2%1b%dc%56%b7%4a%3d%c0%78%3e%7b%95%18%af%bf%a2%00%a8%28%4b%f3%6e%8e%4b%55%b3%5f%42%75%93%d8%49%67%6d%a0%d1%55%5d%83%60%fb%5f%07%fe%a2&b=%4d%c9%68%ff%0e%e3%5c%20%95%72%d4%77%7b%72%15%87%d3%6f%a7%b2%1b%dc%56%b7%4a%3d%c0%78%3e%7b%95%18%af%bf%a2%02%a8%28%4b%f3%6e%8e%4b%55%b3%5f%42%75%93%d8%49%67%6d%a0%d1%d5%5d%83%60%fb%5f%07%fe%a2
md5截断比较
代码语言:javascript复制
<?php
$a=$_GET['a'];
if(substr(md5($str), 0, 6) === "edef"){
    echo 'success!';
}
方法:脚本爆破

遇到这种情况可以通过写脚本爆破的方法,通常花费时间较长

代码语言:javascript复制
from multiprocessing.dummy import Pool as tp
import hashlib

knownMd5 = '666666'      #已知的md5明文

def md5(text):
    return hashlib.md5(str(text).encode('utf-8')).hexdigest()

def findCode(code):
    key = code.split(':')
    start = int(key[0])
    end = int(key[1])
    for code in range(start, end):
        if md5(code)[0:6] == knownMd5:
            print(code)
list=[]
for i in range(1):    # 这里的range(number)指爆破出多少结果停止
    list.append(str(10000000*i)   ':'   str(10000000*(i 1)))
pool = tp()    # 使用多线程加快爆破速度
pool.map(findCode, list)
pool.close()
pool.join()
原值和md5加密后哈希值弱比较绕过
代码语言:javascript复制
<?php
$a=$_GET['a'];
if($a == md5($a)){
    echo 'success!';
}
方法:0e绕过

0e215962017 的 md5 值也是由’0e’开头,在 PHP 弱类型比较中相等

SQL注入中的md5绕过
代码语言:javascript复制
Select * from ’admin’ where password=md5($pass,true)
方法:构造万能密码

ffifdyop这个特殊的字符串,非常之经典

绕过原理:利用ffifdyop这个字符串md5函数处理后哈希值为276f722736c95d99e921722cf9ed621c,Mysql刚好会把hex转化成字符串,恰好这个哈希值转化后是’or’6<乱码> 即 'or'66�]��!r,��b,这样就构成了一个万能密码。除了这个字符串之外,129581926211651571912466741651878684928也有同样的效果

NAN和INF
代码语言:javascript复制
<?php
$a = NAN;
$b = NAN;
if($a != $b && md5($a) == md5($b)){
    echo 'success!';
}

绕过原理:NAN和INF,分别为非数字和无穷大,但是var_dump一下它们的数据类型却是double,那么在md5函数处理它们的时候,是将其直接转换为字符串”NAN”和字符串”INF”使用的,但是它们拥有特殊的性质,它们与任何数据类型(除了true)做强类型或弱类型比较均为false,甚至NAN=NAN都是false,但md5(‘NAN’)=md5(‘NAN’)为true。(我试了试发现NAN雀实可以,但INF没成功不知道为啥,不解…)

sha1加密bypass

sha1加密的绕过和MD5是异曲同工的

强弱比较绕过
方法:数组绕过

sha1函数同样无法处理数组,如果传入数组会返回NULL,可以绕过强弱比较

sha1碰撞
代码语言:javascript复制
a=%PDF-1.3
%����


1 0 obj
<>
stream
����$SHA-1 is dead!!!!!�/�	#9u�9���>
stream
����$SHA-1 is dead!!!!!�/�	#9u�9���

这是两个SHA1值相同而不一样(SHA256的值不同)的pdf文件

空格过滤绕过

Linux下
代码语言:javascript复制
<?php
$a=$_GET['a'];
if(preg_match('/ /',$a)){
    die('wrong!')
}else{
    echo 'success!';
    eval($a);
}
$IFS
代码语言:javascript复制
cat${IFS}flag
cat$IFS$9flag
cat$IFS$1flag

绕过原理:Linux下有一个特殊的环境变量叫做 IFS,叫做内部字段分隔符(internal field separator)。IFS环境变量定义了bash shell用户字段分隔符的一系列字符。默认情况下,bash shell会将下面的字符当做字段分隔符:空格、制表符、换行符。单纯的catIFSxxx,bash解释器会把整个IFSxxx当做变量名,所以导致输不出来结果,然而如果加一个{}就固定了变量名,同理在后面加个可以起到截断的作用,为什么要用9呢?因为9只是当前系统shell进程的第九个参数的持有者,它始终为空字符串。

< <> {,}
代码语言:javascript复制
cat<flag
cat<>flag
{cat,flag}
cat	flag
cat flag

< 或<>与通配符一起使用时没有回显,使用不能同时使用

用逗号实现空格功能,需要用{}括起来

在PHP环境下可以使用 (tab)绕过空格

MySQL下
利用注释绕过

绕过原理:/**/是注释符,用注释替换空格

代码语言:javascript复制
select/**/column_name/**/from/**/information_schema.tables/**/where/**/table_name="users"

补充:

/* …. */ 在大部分语言中都一样是注释。这个之中的语句是不被执行的。但MySQL中 为了保持兼容,比如从mysqldump 导出的SQL语句能被其它数据库直接使用,它把一些特有的仅在MySQL上的语句放在 /*! … */ 中,这样这些语句如果在其它数据库中是不会被执行,但在MYSQL中它会执行。

/*!50001 select * from test */; 这里的50001表示假如 数据库是5.00.01以上版本,该语句才会被推行

利用括号绕过

绕过原理:在MySQL中,括号是用来包围子查询的。因此,任何可以计算出结果的语句,都可以用括号包围起来。而括号的两端,可以没有多余的空格。

代码语言:javascript复制
?id=1'and(sleep(ascii(mid(database()from(1)for(1)))=109))#

常用于时间盲注,上面语句表示猜解database()第一个字符ascii码是否为109,若是则加载延时。from for属于逗号绕过,在使用盲注的时候,需要使用到substr(),mid(),limit。这些子句方法都需要使用到逗号。

利用特殊字符
代码语言:javascript复制

弱类型漏洞

strcmp函数绕过
代码语言:javascript复制
<?php
$id=$_GET['id'];
if(strcmp($secret,$id)==0){
	echo 'success!';
}

绕过原理:利用strcmp函数将数组或者对象类型与字符串进行比较会返回-1,但是从5.3开始,会返回0

当传入?id[]=1时即可bypass

array_search()、in_array()绕过
代码语言:javascript复制
<?php
if(!is_array($_GET['test'])){exit();}  // 判断是否为数组
$test=$_GET['test'];
for($i=0;$i<count($test);$i  ){  //遍历数组内容,所有内容均不能为admin,类型也必须相同
    if($test[$i]==="admin"){
        echo "error";
        exit();
    }
    $test[$i]=intval($test[$i]);  //转化为int型
}
if(array_search("admin",$test)===0){
    echo "flag";
}
else{
    echo "false";
}
?>

绕过原理:array_search() 函数在数组中搜索某个键值,并返回对应的键名。in_array() 函数搜索数组中是否存在指定的值。基本功能是相同的,也就是说绕过姿势也相同。利用函数接入到了不符合的类型返回“0”这个特性,直接绕过检测。所以payload:?test[]=0

switch()绕过

绕过原理:如果switch是数字类型的case的判断时,switch会将其中的参数转换为int类型,例如:

代码语言:javascript复制
<?php
$i ="3name";
switch ($i) {
case 0:
case 1:
case 2:
     echo "this is two";
     break;
case 3:
     echo "flag";
break;
}
?>
布尔类型 True 与非零非 NULL 变量比较都会是 True

根据PHP手册内容

在PHP中任何类型的值, 与bool比较都会被转化成bool比较当转换为 bool 时,以下值被认为是 **false**:

  • 布尔值 false 本身
  • 整型值 0(零)
  • 浮点型值 0.0(零)-0.0(零)
  • 空字符串 "",以及字符串 "0"
  • 不包括任何元素的数组
  • 单位类型 NULL(包括尚未赋值的变量)
  • 内部对象的强制转换行为重载为 bool。例如:由不带属性的空元素创建的 SimpleXML 对象。

所有其它值都被认为是 **true**(包括 资源 和 **NAN**)。

本文采用CC-BY-SA-3.0协议,转载请注明出处 Author: ph0ebus

0 人点赞