探索HTTP边界：T-Reqs HTTP Fuzzer

探索HTTP边界：T-Reqs HTTP Fuzzer

T-Reqs（Two Requests）是一个基于语法规则的HTTP模糊测试工具，源自于在ACM CCS 2021上发表的论文《T-Reqs: HTTP Request Smuggling with Differential Fuzzing》。这个创新项目旨在帮助开发者和安全研究人员发现HTTP服务器中的漏洞，特别是与HTTP请求走私相关的隐患。

项目简介

T-Reqs由三个主要部分组成：输入生成、输入变异以及目标服务器的请求分发。它能产生并变异HTTP 1.1及更早版本的请求，用于测试服务器对各种请求形式的处理能力。该项目的核心是通过自定义语法规则来生成有效且可变的HTTP请求，并利用差分模糊测试方法来识别潜在的解析差异。

技术分析

输入生成

T-Reqs使用上下文无关语法（CFG）生成HTTP请求。例如，配置文件中可以指定请求行的各个组件及其可能值，使得生成的请求既合法又多样化。每个组件都可以被单独标记，方便进行后续的变异操作。

输入变异

变异策略包括字符串变异和树状变异两种方式。字符串变异会随机删除、替换或插入字符；而树状变异则允许在组件内部删除、替换或插入整个子组件。这样的设计使得T-Reqs能够全方位地探索请求的不同形态。

应用场景

T-Reqs适用于多种场合：

1. 安全评估：检测服务器是否易受HTTP请求走私攻击。
2. 系统测试：验证HTTP服务器对不常见或错误格式请求的处理逻辑。
3. 开发调试：帮助开发者理解服务器如何解析和处理不同类型的HTTP请求。

项目特点

1. 基于语法规则：使用CFG定义HTTP请求结构，确保生成的有效性。
2. 多样化变异：支持字符串和树状变异，提高测试覆盖率。
3. 运行模式灵活：可按需设置单次运行种子或批量运行范围。
4. Docker支持：提供Dockerfile，便于快速部署和测试环境。
5. 反馈机制：支持集成反馈服务以监测服务器的请求体解析行为。

为了更好地利用T-Reqs，你可以根据提供的示例配置文件调整生成规则和变异策略，并选择适合你的运行模式。通过这个强大的模糊测试工具，你可以深入挖掘HTTP服务器的行为边界，从而提升系统的安全性。

T-Reqs是一个开源项目，遵循MIT许可证，欢迎开发者们参与贡献，共同推动互联网安全的进步！

[![](logo-treqs.png)](logo-treqs.png)