目录
反序列化漏洞介绍与挖掘指南
一、漏洞核心原理与危害
反序列化漏洞的本质是应用程序在反序列化不可信数据时未进行充分验证和过滤，导致攻击者通过构造恶意序列化数据触发代码执行或系统控制。其核心流程为：
- 序列化机制：将对象转换为可传输的字节流（如Java的
ObjectOutputStream、PHP的serialize()）。 - 反序列化触发点：通过
readObject()（Java）、unserialize()（PHP）等方法还原对象。若输入数据可控且未过滤，攻击者可注入恶意逻辑。 - 危害层级：
- 远程代码执行（RCE）：如利用Java的
Runtime.exec()或PHP的system()执行系统命令。 - 敏感数据泄露：通过反序列化操作访问数据库凭证或配置文件。
- 拒绝服务（DoS）：构造死循环对象导致资源耗尽。
- 远程代码执行（RCE）：如利用Java的
典型案例：2017年Equifax因Apache Struts反序列化漏洞导致1.43亿用户数据泄露。
二、漏洞成因与常见场景
1. 漏洞根源
- 信任不可信输入：直接反序列化用户提交的Cookie、Session或API参数（如WebGoat案例中的Base64解码后反序列化）。
- 危险类库依赖：如Java的Apache Commons Collections、Fastjson，PHP的PHAR元数据处理。
- 魔术方法滥用：PHP的
__destruct()、__wakeup()，Java的readObject()自动触发敏感操作。
2. 高危场景
- Web应用交互：表单数据、文件上传（如Excel模板解析）、API通信。
- 中间件配置：Redis、JMX等服务的序列化协议传输。
- 微服务架构：服务间通过序列化数据传递对象状态。
三、漏洞挖掘方法论
1. 静态分析
- 入口点定位：
- 代码特征：搜索
ObjectInputStream.readObject、unserialize()、pickle.loads等关键函数。 - 组件审计：检查依赖库版本（如Fastjson≤1.2.47、Commons Collections≤3.2.1）。
- 代码特征：搜索
- 调用链追踪：通过污点分析识别从反序列化入口到危险函数（如
Runtime.exec()）的路径。
2. 动态测试
- 模糊测试（Fuzzing）：
- 工具应用：使用DSM-Fuzz（基于双向污点追踪与TrustRank算法优化路径覆盖）或Kelinci生成畸形数据触发异常。
- 性能对比：DSM-Fuzz在Fastjson测试中代码覆盖率比传统工具高40%，执行深度提升2-3倍。
- 流量劫持：通过Burp Suite插件（如Java Deserialization Scanner）拦截并修改序列化数据。
3. 利用链构造
- POP链（Property-Oriented Programming）：串联多个类的危险方法形成攻击链（如Commons Collections的
InvokerTransformer）。 - 绕过技巧：
- 编码混淆：使用Base64、Hex编码绕过WAF检测。
- 多态调用：利用Java反射机制动态加载恶意类。
示例：PHP中通过phar://协议触发元数据反序列化，结合__destruct()执行系统命令。
四、防御与修复策略
1. 代码层防护
- 输入验证：对反序列化数据实施签名校验或白名单机制（仅允许可信类）。
- 安全替代方案：用JSON/XML替代原生序列化（如Java的Jackson、PHP的
json_encode()）。 - 危险方法禁用：限制
ObjectInputStream的使用，或通过ObjectInputFilter设置类加载限制（Java 9+）。
2. 架构优化
- 沙箱隔离：在独立容器或低权限环境中执行反序列化操作。
- 动态监控：通过RASP（运行时应用自保护）检测异常反射调用或文件操作。
3. 运维实践
- 组件升级：定期更新存在漏洞的库（如Fastjson≥1.2.83、Commons Collections≥4.0）。
- 攻防演练：使用Java-Chains等工具模拟攻击链，验证防御措施有效性。
五、工具与资源推荐
- 漏洞利用：ysoserial（Java）、PHPGGC（PHP）、pickle_tool（Python）。
- 检测工具：
- 静态扫描：GadgetInspector、SpotBugs。
- 动态测试：DSM-Fuzz（支持灰盒模糊测试）、Burp Suite插件。
- 防护组件：SerialKiller（Java输入过滤库）、NotSoSerial（Python安全反序列化库）。
总结
反序列化漏洞因其高危害性和隐蔽性，成为Web安全领域的重点攻防目标。防御需结合代码审计、架构设计和自动化工具，形成多层次防护体系。对于安全研究人员，掌握模糊测试与POP链构造技术，结合DSM-Fuzz等先进工具，可显著提升漏洞挖掘效率。