笔记
0工具
0此页用于记录用户反馈问题后的每一次改进
关于
“写笔记”支持四种格式——Word 文档、Excel 表格、Markdown、纯文本,起稿或二次编辑时都能随时切换,同一篇笔记想用哪种形态来记,都由你说了算。
md、txt、csv、json 这类纯文本则原样载入,不做多余加工。拿一张现成的表倒进来、改几笔、再导出去,等于白用一台免费的格式转换器。
要带走就在右上角点“下载”,可导出 PDF、Word、Markdown、Excel、TXT 等格式;列表卡片“⋯”菜单里,也有同样的下载入口。
在“工具”页点“+ 上传工具”即可发布:填好名称与链接,再用 Markdown 把使用方法写清楚——能解决什么问题、怎么装、怎么用,比堆介绍实在。
要分发安装包就一并上传压缩包(ZIP、RAR、7Z、TAR.GZ,最大 35MB),别人在详情页一键下载;只放链接不带附件也可以。
工具按大家的收藏热度排序,好用的自然会被顶上来。发布后可在详情页或卡片菜单里编辑、下架。
写笔记时勾上“隐藏”,这篇就只存在于你自己的账号里:不进列表、不进搜索、不上首页精选,也不会出现在任何公开的页面,链接发给别人同样打不开。
适合放密码、草稿、日记这类只给自己看的内容;想公开,去“发布”打开它,把“隐藏”的勾去掉再保存,之后编辑会默认保持原状态,不会悄悄变回公开。
不想公开、只想临时给人看:点“分享”生成一条带密码和有效期的链接,到期自动失效,你也能随时撤销。
你的内容会同时保存在多个副本上,系统定期做备份与完整性校验,再配合异地容灾机制:就算某台机器出问题,数据也不会丢,可以长期放心存放;特别重要的资料,仍建议你另外再留一份备份。
全站跑在容器化、模块化的现代架构上,更新、部署、回滚都很快,扩展性和稳定性都按长期运营的标准来设计(Built for reliability, designed to scale)。
这个网站最早只是一个人的笔记仓库,后来慢慢长成现在的知识中枢。设计上很克制——没有广告、没有追踪、没有推荐算法,只是干干净净地存放一些东西;既然做好了,就公开出来,万一有人用得上呢。
不做大而全,不做平台梦,保持简单、保持克制、保持好奇。所有内容都由用户贡献、由用户维护:不会突然冒出付费墙,不会在角落塞广告位,也不会把你的数据卖给第三方。
产品会持续迭代,站内日志页记录着每一次改动,改了什么都有迹可循;想了解这个站是怎么一步步走到今天的,翻翻日志就能看到来龙去脉。
如果在这里看到涉嫌违规的内容,点对应卡片右侧的“举报”按钮就能提交,我们会尽快核实处理;也谢谢你花一点时间,一起把这里维护干净。
趋势
X4G:轻量级4G/5G网络协议模糊测试与漏洞挖掘框架
X4G是一个基于Python的轻量级4G/5G网络协议模糊测试与漏洞挖掘框架,专为移动通信安全研究人员设计。
一、项目背景与痛点
随着4G/5G网络全面覆盖,移动通信协议的安全性成为关键挑战。传统网络协议测试工具(如Scapy、AFL)要么缺乏对蜂窝网络协议栈(如NAS、RRC、S1AP、NGAP)的原生支持,要么需要昂贵硬件(如USRP、商用基站模拟器)。安全研究人员、渗透测试工程师和运营商安全团队在测试基站或核心网设备时,面临以下痛点:
- 协议支持不足:通用模糊测试工具难以生成符合3GPP规范的NAS/RRC消息,手工构造复杂且易出错。
- 环境依赖重:多数工具需要SDR硬件或完整商用测试环境,部署成本高、门槛高。
- 缺乏即用脚本:针对常见漏洞(如鉴权绕过、空口拒绝服务)的测试用例需从零编写。
- 可扩展性差:难以快速添加对自定义或私有协议扩展的支持。
X4G正是为解决这些问题而生——它提供纯软件模拟的4G/5G协议栈模糊测试能力,无需硬件即可对基站、核心网进行黑盒或灰盒测试。
二、快速上手:安装与基础使用
2.1 安装环境
X4G依赖Python 3.8+,推荐使用虚拟环境:
bash
克隆仓库
git clone https://github.com/x4gKing/X4G.git
cd X4G
创建虚拟环境并安装依赖
python3 -m venv venv
source venv/bin/activate
pip install -r requirements.txt
2.2 基础模糊测试示例
以下示例演示对目标基站发送畸变的LTE RRC Connection Request消息:
python
from x4g.fuzz.nas import NASFuzzer
from x4g.fuzz.rrc import RRCFuzzer
from x4g.transport.udp import UDPSender
初始化模糊测试器
fuzzer = NASFuzzer()
生成100个畸变的Attach Request消息
malformed_messages = fuzzer.fuzz_message(
message_type="ATTACH_REQUEST",
count=100,
strategy="bit_flip", # 可选: bit_flip, byte_swap, random, boundary
fields_to_fuzz=["imsi", "guti", "security_capabilities"]
)
发送到目标核心网(假设IP: 10.0.0.2,端口: 36412)
sender = UDPSender(target_ip="10.0.0.2", target_port=36412)
for msg in malformed_messages:
sender.send(msg)
# 可选:监听响应检测异常
2.3 高级:自定义协议模板
X4G支持通过YAML文件快速自定义协议模板:
yaml
custom_nas_template.yaml
message: SMC_PROCEDURE_REJECT
fields:
- name: security_header_type
type: uint8
constraints: [0x00, 0x01, 0x02, 0x03] - name: reject_cause
type: uint8
fuzz_range: [0x00, 0xFF] # 全范围模糊 - name: extended_reject_cause
type: bytes
length: 2
fuzz_strategy: random
使用自定义模板:
python
from x4g.fuzz.template import TemplateFuzzer
fuzzer = TemplateFuzzer.from_yaml("custom_nas_template.yaml")
results = fuzzer.fuzz(iterations=500)
三、核心亮点深度解析
3.1 协议覆盖广度
X4G内置对以下3GPP协议消息的完整编码与解码支持:
- NAS (Non-Access Stratum):LTE/5G Attach、Detach、TAU、Security Mode Control、PDN Connectivity等
- RRC (Radio Resource Control):RRC Setup、Reconfiguration、Connection Release等
- S1AP/NGAP:初始上下文建立、UE上下文释放、Paging等
- GTPv2:Create Session、Delete Session、Modify Bearer等
3.2 多种模糊策略
| 策略名称 | 描述 | 适用场景 |
|---|---|---|
| bit_flip | 随机翻转消息中特定位 | 发现边界条件漏洞 |
| byte_swap | 交换消息中相邻字节 | 测试协议状态机健壮性 |
| boundary | 将字段设置为边界值(0, MAX, MIN) | 整数溢出/下溢检测 |
| random | 完全随机生成字段内容 | 黑盒探索 |
| template | 基于YAML模板的语义感知模糊 | 深度定制测试 |
3.3 轻量级无硬件架构
与需要USRP或商用仪表(如Amarisoft、Spirent)的方案不同,X4G完全基于软件模拟,利用Python的scapy和asyncio实现协议栈。它可以在普通笔记本上运行,对目标基站/核心网发送畸变IP包(SCTP/UDP封装),极大降低了测试门槛。
3.4 结果监控与日志
内置异常检测模块,可自动识别:
- 目标无响应(拒绝服务)
- 返回异常状态码
- 内存泄漏(通过响应延迟模式分析)
- 崩溃日志采集(配合GDB或Core dump)
python
from x4g.monitor import CrashMonitor
monitor = CrashMonitor(target_ip="10.0.0.2")
monitor.start()
运行模糊测试...
monitor.stop()
print(monitor.get_report()) # 输出JSON格式报告
四、适用场景
- 运营商安全评估:对核心网设备(MME、AMF、SMF)进行渗透测试,发现鉴权绕过、协议拒绝服务等漏洞。
- 基站固件测试:针对4G/5G小基站(如OpenAirInterface、LimeSDR方案)进行RRC层模糊测试。
- COTS设备验证:测试商用手机基带对异常NAS消息的处理能力(需配合IP中继)。
- CTF/攻防演练:在模拟环境中快速生成攻击载荷。
- 协议实现研究:对比不同厂商(华为、爱立信、中兴)对3GPP规范的实现差异。
五、同类项目对比
| 特性 | X4G | Scapy + 自定义脚本 | AFL + 硬件 | 商用仪表 |
|---|---|---|---|---|
| 硬件需求 | 无 | 无 | USRP/FPGA | 数十万元专用硬件 |
| 协议覆盖 | 4G/5G NAS,RRC,S1AP,NGAP | 需手工编写 | 需定制 | 全面且合规 |
| 学习曲线 | 低(Python API) | 高(需精通协议) | 极高 | 中等(图形界面) |
| 模糊策略 | 内置5种策略 | 完全自定义 | 通用 | 固定有限 |
| 实时监控 | 内置 | 需自建 | 需集成 | 完善 |
| 可扩展性 | YAML模板+Python插件 | 极高 | 低 | 封闭 |
| 开源免费 | 是 | 是 | 部分开源 | 否 |
X4G在易用性和协议特定支持之间找到了良好平衡,尤其适合需要快速验证蜂窝网络设备安全性的团队。
六、潜在局限与改进方向
- 性能瓶颈:纯Python实现,高吞吐场景(>10k msg/s)可能受限,未来可考虑C扩展或异步优化。
- 实时物理层:目前仅工作在IP层之上,无法直接测试空口(需配合SDR)。
- 文档与示例:当前README偏简单,期待社区贡献更多攻击场景示例。
七、总结
X4G是移动通信安全领域一个被低估的宝藏工具。它用极低的门槛提供了专业级的4G/5G协议模糊测试能力,无论是红队渗透还是蓝队防御,都能从中获益。项目目前仍在活跃开发中,社区贡献的测试用例和协议模板正在快速积累。如果你从事移动安全、运营商网络测试或物联网设备安全评估,X4G值得加入你的工具箱。