
涉及知识
PHP序列化和反序列化
序列化和反序列化
所有php里面的值都可以使用函数serialize()来返回一个包含字节流的字符串来表示。unserialize()函数能够重新把字符串变回php原来的值。 序列化一个对象将会保存对象的所有变量,但是不会保存对象的方法,只会保存类的名字。 ——php官方文档
通俗理解:序列化就是将对象转换成字符串。字符串包括:属性名、属性值、属性类型和该对象对应的类名。简单的理解就是,再程序结束的时候,存在内存的记忆资料(变量,对象等)都会被立即销毁,但是有的时候,我们需要存储并传递一些持久类习性的数据时,就不能再将资料存储在内存里了,这时候,php序列化就将记忆资料的变量存储在了档案中(比如存储在mysql数据库中)
反序列化则相反的将字符串重新恢复成对象中的成员变量
对象的序列化利于对象的保存和传输,也可以让多个文件共享对象。
序列化和反序列化在php应用系统中,一般被用作缓存(cookie、session缓存等)

涉及基本函数如下
| 函数 | 功能 |
|---|---|
| serialize() | 将一个对象转换成一个字符串 |
| unserialize() | 将字符串还原成一个对象。unserialize 函数的变量可控,文件中存在可利用的类,类中有魔术方法:参考:https://www.cnblogs.com/20175211lyz/p/11403397.html |
魔术方法
构造函数__construct()和析构函数__destruct()
- 构造函数
__construct()
具有构造函数的类会在每次创建新对象时先调用此方法,所以非常适合在使用对象之前做一些初始化工作。 - 析构函数
__destruct()
析构函数会在到某个对象的所有引用都被删除或者当对象被显式销毁时执行。
new出一个新的对象时就会调用__construct(),而对象被销毁时,例如程序退出时,就会调用__destruct()
__sleep()和__wakeup()

__toString()

__invoke(), __call()
当尝试以调用函数的方式调用一个对象时,__invoke() 方法会被自动调用。
在对象中调用一个不可访问方法时,__call() 会被调用。
涉及魔术方法如下:
| 函数 | 触发条件 |
|---|---|
| __construct() | 创建对象时触发 |
| __destruct() | 对象被销毁时触发 |
| call() | 在对象上下文中调用不可访问的方法时触发 |
| callStatic() | 在静态上下文中调用不可访问的方法时触发 |
| get() | 用于从不可访问的属性读取数据 |
| set() | 用于将数据写入不可访问的属性 |
| isset() | 在不可访问的属性上调用 isset()或 empty()触发 |
| unset() | 在不可访问的属性上使用 unset()时触发 |
| __invoke() | 当脚本尝试将对象调用为函数时触发 |
示例:不涉及“类”的序列化和反序列化
字符串序列化
1 |
|

解析:s:6:"xiaodi";
s:变量数据类型,表示string
6:变量名长度
“xiaodi”:变量名

字符串反序列化
1 |
|

整型序列化
1 |
|

整型反序列化
1 |
|

示例:涉及“类”的序列化和反序列化
对象的序列化
1 |
|

O:7:"student":3:{s:4:"name";s:4:"Jack";s:3:"age";i:22;s:6:"number";i:11086;}
O代表对象;7代表对象名长度;3代表3个成员变量;其余参照如下
| 类型 | 结构 |
|---|---|
| String | s:size:value; |
| Integer | i:value; |
| Boolean | b:value;(保存1或0) |
| Null | N; |
| Array | a:size:{key definition;value definition;(repeated per element)} |
| Object | O:strlen(object name):object name:object size:{s:strlen(property name):property name:property definition;(repeated per property)} |
对象的反序列化
1 |
|

PHP反序列化漏洞
未对用户输入的序列化字符串进行检测,导致攻击者可以控制反序列化过程,从而导致代码执行,SQL 注入,目录遍历等不可控后果。在反序列化的过程中自动触发了某些魔术方法。当进行反序列化的时候就有可能会触发对象中的一些魔术方法。
技术——面向对象
有类无类,看代码中有没有写class
有类
开发者在书写程序时书写了class,称为类,这些类当中存在一些魔术方法,比如_construct()、_destruct()、_wakeup()、_toSrting()
无类
开发者在书写程序时没有用到class,不会触发魔术方法
利用
真实应用
各种CTF比赛中
危害
反序列化的数据本质上来说是没有危害的,用户可控数据进行反序列化是存在危害的 所以反序列化的危害,关键还是在于可控或不可控。
SQL注入
代码执行
目录遍历
演示案例
PHP反序列化热身——无类问题——本地
reshen.php
1 |
|
flag.php
1 |
|
访问reshen.php,前端显示此php源码
通过阅读reshen.php代码可知,只有当反序列化$str的结果和$KEY相匹配,才能输出flag。而$KEY=“liuyifei”,根据反序列化的机制,只需将“liuyifei”字符串通过serialize()函数序列化之后,其结果通过unserialize()反序列化结果才为“liuyifei”
编写serialize.php内容如下,用于获得“liuyifei”字符串的序列化结果
1 | <?php |

以GET方式向reshen.php提交上述序列化结果s:8:"liuyifei";,以供反序列化,即payload为http://localhost/test/reshen.php?str=s:8:%22liuyifei%22;
成功得到flag

CTF反序列化小真题——无类执行——实例
地址:https://ctf.bugku.com/challenges#flag.php web类题目,题目名称为点login咋没反应(此题目现在和视频讲解有出入,大体一致)

支付金币后访问靶场地址,如下图所示

信息收集
右键查看页面源代码,发现存在一个超链接如下

点击后显示一些提示如下,即提示我们以GET方法提交参数8948进行尝试

回到登录页面,提交GET参数8948,可以看到返回后台代码如下

白盒审计
阅读提示的后台代码可知,若GET方式提交参数8948,返回后台源代码。
否则如果GET参数为空,以Cookie方式提交参数BUGKU,且BUGKU参数值反序列化之后的结果和$KEY='ctf.bugku.com'相匹配,才能输出flag
了解了以上代码机制,我们的解题思路就是
- 对
'ctf.bugku.com'字符串进行序列化,得到其序列化之后的值 - 令
GET参数为空值,Cookie方式的BUGKU参数值为上述序列化之后的值,提交数据包
实际解题过程如下
由以下代码得到序列化结果为:s:13:"ctf.bugku.com";
1 |
|

令GET方式不提交任何参数,访问时进行抓包,修改(添加)HTTP请求头中的Cookie字段,提交后响应数据包中出现flag值

CTF反序列化练习题——有类魔术方法触发——本地
实验演示
以下代码用来测试在有类时,序列化过程会触发哪些魔术方法
1 |
|
访问后结果如下

实验结论
new创建对象——生成新的对象——自动触发构造函数
serialize()序列化——将对象转化成字符串——不触发魔术方法
unserialize()反序列化——将字符串转化成对象——自动触发_wakeup()函数
程序运行结束——销毁对象——自动触发析构函数,且调用了两次:分别销毁$a和$a_unser
网鼎杯2020青龙大真题——有类魔术方法触发——实例
地址:https://www.ctfhub.com/#/challenge 进入后勾选Web方向、网鼎杯,题目名称为AreUSerialz,开启题目
进入环境后显示一页PHP代码,如下
1 |
|
分析代码
注意这段代码中的__construct()、__destruct()两个方法,在创建对象时自动触发__construct()方法,销毁对象时自动触发__destruct()方法
分析上述代码的执行过程如下
解题思路
若要输出flag,需要程序正确运行至process()中的read(),再输出flag
关键点在于绕过===和==,使得最后的op=="2"判断成功,这里就要区分PHP中的===和==
比较运算符 == (相等运算符) 和 === (恒等运算符) 用于比较两个值。他们也被称为 宽松等于 (==) 和 严格等于 (===) 运算符。
| 符号 | 名称 | 例子 | 输出结果 |
|---|---|---|---|
| == | 等于 | $a == $b | 忽略类型,如果 $a 等于 $b 则为 TRUE |
| === | 恒等于 | $a === $b | 如果 $a 等于 $b,并且类型相同则为 TRUE |
基于此我们有如下绕过思路:即令op = " 2",使得op === "2"判断为否,不会执行op="1";op=="2"判断为真,读取flag.php并输出,根据代码中FileHandler类的写法,我们还需要得到这个类的一个实例的序列化结果,且该实例的三个属性值分别为:
$op = “ 2”;
$filename = flag.php;
$content = “xxxx”;
解题过程
因此我们通过如下代码得到该对象序列化之后的值
1 |
|

通过GET方法在题目页面提交str参数值,返回结果如下

查看页面源代码得到flag值为FLAG = "ctfhub{01b6ae7e9a5ed268cfa42906}
注意提交格式为ctfhub{01b6ae7e9a5ed268cfa42906}

涉及资源
https://www.ctfhub.com/#/challenge
https://ctf.bugku.com/challenges#flag.php
https://cgctf.nuptsast.com/challenges#Web
https://www.cnblogs.com/20175211lyz/p/11403397.html
无类的PHP序列化代码示例
1 |
|
有类的PHP序列化代码示例:
1 |
|